1,000 Fable 5.2 agents formalize Fermat's Last Theorem in 30 hours; Opus 5.5 stalls at 26%
claudeai · x · 2026-11-10
Anthropic showcased an AI-for-science case: a team of 1,000 Fable 5.2 agents fully formalized the proof of Fermat's Last Theorem in 30 hours, translating it into machine-checkable language step by step.
Under the same setup, Opus 5.5 completed only 26% in 18 hours and barely progressed afterward. The progress chart shows Fable 5.2 reaching 86% around hour 16 before finishing at 100%.
Related event: 1000 Fable 5.2 Agents Fully Formalize Fermat's Last Theorem in 30 Hours(6 posts)→
More from Models
- Claude Fable 5.2 debuts with 74.6% on Terminal-Bench-Science, topping rival models — BenBlaiszik · 2026-11-10
- Meta launches Muse Ember, its smallest and most efficient model for agentic execution — AIatMeta · 2026-11-10
- Claude Fable 5.2 tops FrontierCode 2.0 at 49.1, at a third of Fable 5.1's cost — nrehiew_ · 2026-11-10
- Polymarket puts 52% odds on next Claude Opus landing this month as Anthropic ships 5.2 models — Polymarket · 2026-11-10
- Artificial Analysis index: Claude Fable 5.2 tops Gemini 4 Carbon, 65 vs 60 — Angaisb_ · 2026-11-10
- Anthropic: Claude Fable 5.2 designs working electronic hardware end to end — EricBuess · 2026-11-10