Pesquisa

Pesquisa que se torna infraestrutura.

A Thyn Research estuda os problemas de sistemas por trás da inteligência local, do software autônomo, dos motores de mercado e da execução verificada.

Agenda de pesquisa.

Área 01
Sistemas de Inteligência Local

Quanta cognição pode rodar perto do usuário?

Estudamos a fronteira entre inferência local, raciocínio em escala de nuvem, contexto privado e orquestração híbrida.

  • Roteamento e escalonamento de modelos on-device.
  • Janelas de contexto privadas e repositórios de memória.
  • Cascatas de modelos sensíveis à latência.
Área 02
Verificação de Agentes

Como sistemas autônomos provam que fizeram a coisa certa?

Agentes confiáveis precisam de mais do que chamadas de ferramentas. Precisam de traces, políticas, invariantes, planos testáveis e recuperação de falhas.

  • Verificação de planos e semântica de rollback.
  • Arcabouços de regressão para o comportamento de agentes.
  • Execução restrita por políticas.
Área 03
Inteligência de Mercado

Como a IA deve raciocinar dentro de mercados adversariais?

Sistemas de trading exigem simulação, timing, estimativa de incerteza, controles de risco e robustez adversarial.

  • Simulação de estratégias de execução.
  • Avaliação sensível à microestrutura de mercado.
  • Ações autônomas limitadas por risco.
Área 04
Execução Criptográfica

O que o software deve ser capaz de provar?

A infraestrutura criptográfica abre caminho para garantias mais fortes em torno de identidade, histórico, replay, assinaturas e autorização.

  • Logs verificáveis e sistemas de replay.
  • Provas de política para fluxos de trabalho financeiros.
  • Fronteiras de confiança self-hosted.
Área 05
Sistemas de Crescimento

O marketing pode se tornar um sistema de controle experimental?

Sistemas de crescimento autônomo combinam geração criativa, atribuição, desenho de experimentos, alocação de orçamento e restrições de política.

  • Ciclos de atribuição causal.
  • Geração de conteúdo com restrições de marca.
  • Simulação e otimização de campanhas.

Estilo de pesquisa.

Preferimos perguntas testáveis a uma linguagem de categorias. Uma boa pergunta de pesquisa da Thyn deve ter uma carga de trabalho, uma métrica, um modo de falha e um caminho para a produção.

Um programa de pesquisa útil tem:

1. carga de trabalho mensurável
2. restrição explícita
3. baseline reproduzível
4. caminho para o produto
5. análise de falhas

Caso contrário, é apenas uma narrativa.

Notas de pesquisa.

Nota

Inteligência sensível à latência

Por que produtos de IA precisam de orçamentos de latência, não apenas de benchmarks de modelos. Um modelo que pontua bem offline ainda pode parecer quebrado quando o ciclo completo ultrapassa o tempo que o usuário realmente vai esperar.

Nota

Agentes reproduzíveis

Um arcabouço para traces, testes determinísticos e análise de falhas em fluxos de trabalho autônomos. Quando toda ação é reproduzível, uma execução ruim vira um caso reproduzível em vez de um mistério único.

Nota

Ciclos de simulação de mercado

Como motores de execução podem avaliar estratégias antes de entrar em ambientes ao vivo. Simular contra fluxo de ordens histórico e sintético revela risco e slippage enquanto os erros ainda não custam nada.

Aproxime a inteligência.