Anthropic says 1,000 Claude agents formalized Fermat's Last Theorem in about 30 hours
Article timeline
The articles in this story. Times are ET.
swyx 🔜 aie.codesXAnthropic reports a 1,000-agent team formalized a proof of Fermat's Last TheoremAIAnthropic reports that a team of 1,000 Fable 5.2 agents formalized a proof of Fermat's Last Theorem while coordinating within its safety boundaries. swyx shares the link and says the work was shown as a demo for the Fable 5.2 launch. The linked blog post describes the method for safely scaling multi-agent teams on long-horizon work.
ClaudeOfficialPickClaude team reports 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in 30 hoursAIClaude says a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in 30 hours, translating the proof into a language a computer can check step by step. Under the same setup, Opus 5.5 reached only 26% completion in 18 hours and made little further progress after 30 hours. The attached chart shows weighted completion over time, with Fable 5.2 at 1.00 and Opus 5.5 at 0.27 at 30 hours.
- Claude BlogOfficialPickAnthropic reports a 1,000-agent team reproduces the Fermat's Last Theorem proof
AIAnthropic says a team of 1,000 agents running an early version of Claude Fable 5.2 reproduced its formal proof of Fermat's Last Theorem in 28.7 hours. The agents used one-third as many output tokens and wrote a proof one-seventh the length of the earlier Prove2Me-assisted formalization, with no researcher steering. Each agent ran in a sandbox without internet access, under a real-time classifier and an offline monitor, and none of the more than one million tool calls were blocked.