1,000 Fable 5.2 agents formalize Fermat's Last Theorem in 30 hours; Opus 5.5 stalls at 26%
FinanceYF5 · x · 2026-11-10
FinanceYF5 posts (with Anthropic's official chart): 1,000 collaborating Fable 5.2 agents completed the full formalization of Fermat's Last Theorem in 30 hours, machine-checkable step by step. Under the same setup, Opus 5.5 reached only 26% after 18 hours and barely progressed further by 30 hours (0.27). The chart shows Fable 5.2 hitting 86% at 18 hours, then finishing to 100% after a 12-hour resume. Part 6 of a thread on Anthropic's announcement.
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