Anthropic mostra 1000 agentes do Claude Fable 5.2 reproduzindo a prova do último teorema de Fermat em 28,7 horas

A Anthropic publicou, em 9 de novembro de 2026, um post em seu blog para desenvolvedores descrevendo um experimento em que uma equipe de 1000 agentes do Claude Fable 5.2, um agente líder mais 999 agentes auxiliares, reproduziu de forma autônoma uma formalização em Lean do último teorema de Fermat. Segundo o post, intitulado Safely scaling multi-agent teams with Claude Fable 5.2, os agentes concluíram a tarefa usando controles de segurança em camadas e muito menos recursos do que uma tentativa anterior guiada diretamente por humanos.

Os números por trás da execução

• Um agente líder coordenou 999 agentes auxiliares, totalizando 1000 agentes, para reproduzir a prova
• A tarefa foi concluída em 28,7 horas
• A execução usou cerca de um terço dos tokens de saída do esforço anterior de setembro, e a prova resultante foi cerca de sete vezes mais curta
• O esforço de setembro levou 11 dias, cerca de 6 bilhões de tokens de saída e 13 milhões de linhas de código Lean, com orientação humana direta
• Os agentes auxiliares julgaram 47 das 60 declarações iniciais do teorema como inviáveis dentro do orçamento, e o agente líder criou 5 tabelas de banco de dados de coordenação nos primeiros 10 minutos sem andaime especializado
• As camadas de segurança incluíram máquinas virtuais isoladas sem acesso à rede, um monitor que bloqueia comandos em tempo real, e uma revisão offline

O que isso significa para quem constrói com IA

A Anthropic apresenta essa execução como um dado concreto e medido sobre a orquestração de enxames de agentes em uma escala de 1000 agentes, junto com as ferramentas de segurança necessárias para fazer isso de forma segura, algo diretamente relevante para quem constrói sistemas multiagente de código e pesquisa. O post destaca que o subproblema mais difícil enfrentado pelos agentes, conhecido como Langlands-Tunnell, gerou 2418 tarefas distribuídas em 10 níveis de profundidade, mostrando o quanto a árvore de coordenação cresceu durante a execução. A Anthropic também relata que, de mais de um milhão de chamadas de ferramentas feitas durante a execução, zero foram bloqueadas pelo monitor de segurança.

Fontes

• Safely scaling multi-agent teams with Claude Fable 5.2 (Anthropic (claude.dev developer blog), 9 de novembro de 2026, oficial)

Escrito com ajuda de IA, apenas a partir das fontes listadas acima. Antes de ir ao ar, verificações automáticas conferiram as datas, as fontes e todas as versões de idioma.