Anthropic's Fable 5.2 reportedly formalized Fermat's Last Theorem in 30 hours with ~1,000 agents
Dr_Singularity · x · 2026-11-10
According to an unverified post, Anthropic's Fable 5.2 coordinated 1,000 AI agents to formalize an existing mathematical proof in Lean in just 30 hours with minimal human intervention.
- The previous system needed 11 days for a comparable task
- Used 3x fewer action tokens
- Produced a formal proof 7x shorter
- The AI developed its own agent-coordination methods
The claim comes from a third-party account and has not been officially confirmed.
Related event: 1000 Fable 5.2 Agents Formalize Fermat's Last Theorem in 30 Hours(17 posts)→
More from Models
- Dev finds "responsibility laundering" trick to bypass Opus refusals: delegate the dirty work to another model — corbtt · 2026-11-10
- One-shot prompt builds a full game in 8 hours for ~$550 of Claude API tokens — felixrieseberg · 2026-11-10
- Claude's hidden reasoning_effort tag exposed — and it secretly reads hidden messages — josh_bickett · 2026-11-10
- Opus Keeps Butchering a Joke-Rewriting Task, Ignoring Explicit Instructions to Preserve Punchlines — ivan_bezdomny · 2026-11-10
- Claude Fable 5.2 keeps butchering jokes: can't keep premise or punchline while rewriting — ivan_bezdomny · 2026-11-10
- Dev's early take on Fable 5.2: "best model," competitors will struggle to catch up — daniel_mac8 · 2026-11-10