1,000 Fable agents formalize Fermat's Last Theorem in 30 hours; Opus 5.5 hits 26%
burny_tech · x · 2026-11-10
Claude's account showcased a team of 1,000 Fable 5.2 agents fully formalizing Fermat's Last Theorem in 30 hours, translating the proof into computer-checkable language step by step. With the same setup, Opus 5.5 completed only 26% in 18 hours and barely progressed further by 30 hours. The sharer quipped that Kevin Buzzard's £934K Imperial College grant to formalize Fermat is becoming an LLM benchmark before he finishes it.
Related event: 1,000 Fable 5.2 Agents Formalize Fermat's Last Theorem in 30 Hours(20 posts)→
More from Models
- OpenAI's Control Room kill switch can halt frontier model output within 35 seconds — AIFlow_ML · 2026-11-10
- Claude Fable 5.2 scores 64.9% on RoboDojo robot control, dominating rivals — burny_tech · 2026-11-10
- Claude Fable 5.2 video demo wows on pacing, but AI-sounding music persists — jiayuan_jy · 2026-11-10
- Gemini Notebooks keeps pulling context from old conversations, user reports — AnonymousDork929 · 2026-11-10
- User complains model takes four minutes to compare two 16-token completions — cephaloform · 2026-11-10
- DavidAU releases Qwen3.8-40B-Ultimate-Heretic-Uncensored-Turbo-Brilliance-50x-AGI-NEO-GGUF merge — mp3m4k3r · 2026-11-10