Claude Fable 5.2 organiza a 1000 agentes de IA para completar la formalización del último teorema de Fermat en 28,7 horas
El 9 de noviembre de 2026, Anthropic publicó en su blog oficial de ingeniería un experimento con múltiples agentes: 1000 agentes Claude Fable 5.2 colaboraron para completar en 28,7 horas la formalización computacional del último teorema de Fermat, y la demostración final superó la comprobación del núcleo oficial de Lean. Dos meses antes, en el…