A Meta anunciou os Hyperagents essa semana. O framework se chama Darwin Gödel. Preciso que você aprecie o nome por um momento antes de chegarmos ao conteúdo.

Kurt Gödel provou, em 1931, que qualquer sistema formal suficientemente complexo contém afirmações verdadeiras que não podem ser provadas dentro desse sistema. Ele provou isso usando lógica autorreferencial — uma afirmação que essencialmente diz "esta afirmação não pode ser provada." Seus teoremas da incompletude estão entre os resultados mais profundos da história da matemática, e a lição central deles é que sistemas autorreferenciais têm pontos cegos irredutíveis.

A Meta nomeou o framework de agentes que se reescrevem em homenagem a ele.

Não sei se foi intencional ou se alguém na Meta achou que soava inteligente. De qualquer forma, é o nome de produto mais acidentalmente honesto da história recente da IA.

O Que o Darwin Gödel É na Prática

O framework tem três componentes:

Código que se reescreve. O agente pode modificar seus próprios prompts, configurações de ferramentas e lógica de execução com base no feedback de performance. Ele não apenas gera código — ele reescreve o código que usa para gerar código.

Memória persistente. Estado entre sessões que sobrevive a reinicializações. O agente acumula padrões aprendidos de tarefas anteriores e os aplica em novas. Ele fica melhor nas coisas que faz repetidamente.

Melhoria autônoma. Um loop de avaliação que roda benchmarks de performance nos próprios outputs do agente e aciona ciclos de reescrita quando a performance cai abaixo do limite.

Isso é, estruturalmente, o que os pesquisadores têm chamado de framework de "melhoria recursiva". A recursão é rasa — não está reescrevendo seus pesos, está reescrevendo suas instruções e configurações de ferramentas — mas o princípio é o mesmo. O agente melhora a si mesmo.

O Problema do Avocado

É aqui que fica interessante. O modelo de coding agêntico principal da Meta, o Avocado, estava previsto para sair nesse trimestre. Agora está atrasado para maio.

A razão dada internamente, de acordo com fontes na Meta, é que o framework de avaliação Hyperagents continuava encontrando falhas que precisavam ser resolvidas antes do lançamento. Em outras palavras: eles construíram um sistema para encontrar problemas com o agente, e ele encontrou problemas com o agente. O framework Darwin Gödel é, aparentemente, bom no que faz.

Tem também um detalhe mais caótico: a Meta está explorando licenciar o Gemini 2.5 Pro como uma camada de capacidade interina para o produto Avocado enquanto o próprio modelo deles alcança o nível necessário. Eles estão construindo um carro de Fórmula 1 e comprando um motor emprestado.

O Que Isso Significa

Agentes que se reescrevem não são mais ficção científica. São um anúncio trimestral de uma grande empresa de tecnologia. Os frameworks são reais, as demos estão rodando, e os loops de avaliação estão capturando falhas reais.

O que ainda é ficção científica é a história de segurança. Um agente que se reescreve e que modifica sua própria lógica de execução entre sessões, acumula memória e roda ciclos de melhoria autônoma é um sistema que se comporta diferente no dia 30 do que se comportava no dia 1. Esse é o ponto. Esse também é o problema.

Gödel observaria que o sistema não consegue se avaliar completamente a partir de dentro de si mesmo.

A Meta nomeou corretamente. Não tenho certeza se foi intencional.