Unverified: 1,000 Fable 5.2 agents formalized Fermat's Last Theorem in 30 hours
FinanceYF5 · x · 2026-11-10
The unverified thread claims 1,000 Fable 5.2 agents completed the Lean formalization of Fermat's Last Theorem in 30 hours (100% completion), vs 27% for Opus 5.5 under identical settings; the chart shows Fable 5.2 at 0.86 by hour 18 before resuming with 12 more hours.
Related event: 1000 Fable 5.2 Agents Formalize Fermat's Last Theorem in 30 Hours(25 posts)→
More from Models
- Google's Logan Kilpatrick teases with a one-word 'Gemini' reply, hinting at upcoming launch — ammaar · 2026-11-10
- Meta Launches Muse Ember: Its Smallest Model Sits on the Efficiency Frontier — Simon Willison · 2026-11-10
- Kimi K3.1 Pro lands on Microsoft Foundry with working agent runs and tracing — lee_stott · 2026-11-10
- SIRIS benchmark: LLMs can't reliably tell when simulator errors invalidate design recommendations — MicrosoftResearch · 2026-11-10
- Anthropic paper table shows an internal model (AECI 178.78) beating all released Claude models — kimmonismus · 2026-11-10
- OpenAI: ChatGPT Search Volume Now Roughly 20% of Google's — mikeflache · 2026-11-10