1,000 Fable 5.2 agents formalize Fermat's Last Theorem in 30 hours; Opus 5.5 hits 27%
minchoi · x · 2026-11-10
About 1,000 Fable 5.2 agents fully formalized the proof of Fermat's Last Theorem in Lean within 30 hours, reaching 100% completion, while Opus 5.5 managed only 27% in the same setup. Fable 5.2 hit 86% by the 18-hour checkpoint before resuming with 12 more hours to finish.
Related event: 1,000 Fable 5.2 Agents Fully Formalize Fermat's Last Theorem in 30 Hours(12 posts)→
More from Models
- System card confirms Claude MyTHOS 5 and Fable 5 share the same underlying weights — repligate · 2026-11-10
- Gr00t 2 is here: Jim Fan's talk teases NVIDIA's next-gen humanoid robot foundation model — zhengyiluo · 2026-11-10
- System card asserts with specificity that MyTHOS 5 and Fable 5 share weights — repligate · 2026-11-10
- 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