Anthropic's Fable 5.2 Formalizes Fermat's Last Theorem Proof in 30 Hours with ~1,000 Agents
sven_ai · x · 2026-11-11
Anthropic says Fable 5.2, using roughly 1,000 agents, formalized the proof of Fermat's Last Theorem in Lean within 30 hours — converting the existing proof into machine-checkable form. A progress graphic shows all 29,511 statements proved by Day 11, spanning modularity lifting, Ribet's level lowering, and Langlands–Tunnell. In official comparisons, Opus 5.5 failed to complete the task in the same time. This is not AI rediscovering the theorem, but a notable demonstration of AI-assisted rigorous mathematical verification.
More from Models
- Architect finds Gemini matches Claude for slides and diagrams, mulls canceling Claude — zizo999 · 2026-11-11
- Early user: mysterious Anthropic model 'Fable 5.2' handles hard tasks but burns all tokens in 15 min — AIFlow_ML · 2026-11-11
- Gemini 4 Carbon works on mobile for AI Pro users but is Ultra-locked on desktop — AlternativeLess2996 · 2026-11-11
- KT joins OpenRouter with 7 models including Mi:dm K 3.0 Pro and Motif 3 — JungWooHa2 · 2026-11-11
- Google debuts AudioFM, a general-purpose audio foundation model powering ~2B predictions/day in Google Home — Scobleizer · 2026-11-11
- Similarweb: ChatGPT traffic share slides from 69.5% to 55.7% in a year as Claude triples to 11.5% — FinanceYF5 · 2026-11-11