Claude Fable 5.2 Coordinates 1,000 AI Agents to Formalize Fermat’s Last Theorem in 28.7 Hours
On November 9, 2026, Anthropic announced a multi-agent experiment on its official engineering blog: 1,000 Claude Fable 5.2 agents worked together to formalize Fermat’s Last Theorem in 28.7 hours, and the final proof passed verification by Lean’s official kernel. An earlier formalization experiment, completed two months ago by dozens of agents, took 11 days. This…