Claude Fable 5.2 organiza 1.000 agentes de IA para concluir a formalização do Último Teorema de Fermat em 28,7 horas
Em 9 de novembro de 2026, a Anthropic anunciou em seu blog oficial de engenharia um experimento com múltiplos agentes: 1.000 agentes Claude Fable 5.2 colaboraram para formalizar computacionalmente o Último Teorema de Fermat em 28,7 horas, e a prova final passou pela verificação do núcleo oficial do Lean. Dois meses antes, o primeiro experimento…