Anthropic lança o Claude Fable 5.2: 1000 agentes formalizaram o teorema de Fermat em 30 horas

A Anthropic lançou dois modelos de uma vez — Claude Fable 5.2 e Mythos 5.2. Por baixo do capô, ambos compartilham um único modelo base, e a diferença está nos mecanismos de proteção. A demonstração que mais chamou atenção foi esta: mil agentes formalizaram em 30 horas a prova do Último Teorema de Fermat em Lean. Parece truque de divulgação científica, mas por trás há uma história de engenharia bastante pé no chão.

O que foi mostrado na prática

Lean é uma linguagem em que a prova é verificada pelo compilador, e não por um revisor. Qualquer furo no raciocínio simplesmente não compila. Por isso a formalização é um trabalho enorme, tedioso e muito rigoroso, parecido com refatorar uma base de código gigantesca com um sistema de tipos rígido. A versão de pesquisa anterior do Claude levou 11 dias; mil agentes do novo modelo levaram 30 horas. Para o desenvolvedor, o importante não é o teorema em si, mas o padrão: uma tarefa grande é dividida em pedaços, centenas de agentes pegam os pedaços em paralelo e um verificador automático descarta os defeitos.

As demais afirmações da Anthropic seguem a mesma linha. O Fable 5.2 resolveu dois problemas em aberto ligados à física dos buracos negros. O modelo projetou três dispositivos funcionais, com placas de circuito impresso, carcaças e software. E mais de 90% das alterações que entram no código principal da própria Anthropic agora são escritas pelo Claude com participação de pessoas. É uma afirmação forte, mas são dados da empresa sobre si mesma, e ainda não há verificação independente.

Preço, velocidade e duas versões

A nova geração é até 30% mais rápida que a anterior. Preço: $8 por milhão de tokens de entrada e $40 por milhão de tokens de saída. Há um Fast Mode — até 2,5 vezes mais rápido, mas por $16 e $80, respectivamente. A aritmética é simples: a aceleração custa exatamente o dobro, então o modo faz sentido onde a latência importa — assistentes interativos, agentes de IDE ao vivo — e não em tarefas em lote noturnas.

As versões diferem no acesso. O Fable 5.2 está aberto a um público amplo e já está disponível no Claude, pela API e na AWS, no Google Cloud e no Microsoft Azure. O Mythos 5.2 é para organizações verificadas em cibersegurança e pesquisa biomédica. Segundo um teste interno da Anthropic, ele encontra 10,2% mais vulnerabilidades do que o Opus 5.5. O teste é interno, então o número deve ser tratado como uma alegação, e não como um benchmark independente.

O que fazer se você é desenvolvedor ou product manager

Primeiro, recalcular a economia dos pipelines de agentes. Os tokens de saída custam cinco vezes mais que os de entrada, então agentes que "pensam" e escrevem muito se tornarão o principal item de gasto. Defina limites para o tamanho da saída e use cache em tudo o que for possível.

Segundo, adotar a ideia do Lean: coloque um verificador automático rigoroso para os agentes. No código, são testes, tipos e linters; nos dados, esquemas e validadores. Quanto mais rigorosa a verificação, mais seguro é distribuir trabalho paralelo aos agentes.

Terceiro, não acreditar nos números de primeira. "Até 30% mais rápido", o ganho de 10,2%, 90% do código — tudo isso são palavras do fornecedor. Rode o Fable 5.2 nas suas próprias tarefas e compare o custo de uma tarefa resolvida, e não o custo do token.

Por fim, se você trabalha com segurança ou biomedicina, descubra como funciona a verificação de organizações para acesso ao Mythos. Para todos os demais, o Fable basta: o modelo base é comum, e apenas as restrições diferem.