1,000 Fable 5.2 agents fully formalize Fermat's Last Theorem in 30 hours
likeastar20 · reddit · 2026-11-10
Claude's official account announced that a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in 30 hours, translating the proof into a machine-checkable language. With the same setup, Opus 5.5 completed only 26% in 18 hours and barely progressed afterward (27% at 30 hours), while Fable 5.2 hit 86% by hour 18 and 100% at hour 30. A landmark demonstration of large-scale agent collaboration in formal mathematics.
Related event: 1,000 Fable 5.2 Agents Fully Formalize Fermat's Last Theorem in 30 Hours(12 posts)→
More from Models
- Early Tester: Fable 5.2 Built a 3,100-City Water Map in One Go, but Still Makes Silly Errors — alliekmiller · 2026-11-10
- Fable 5.2 burns so many tokens its 20% price cut is effectively a wash — addyosmani · 2026-11-10
- Opus formalizes CPython in 613K lines of Lean — and finds real Python bugs — pbaylies · 2026-11-10
- CursorBench 4.0: Fable 5.2 High effort hits 56.9% at $9.70 per task — SEO · 2026-11-10
- Rule of thumb: use Opus 5.5 for tasks you know, Fable 5.2 for creative exploration — EricBuess · 2026-11-10
- Claude Fable 5.2 tops FrontierSWE at 69.9%, beating GPT-6 Astra and Opus 5.5 at 1/6 the cost — aryaman2020 · 2026-11-10