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)→

Original post →

More from Models

Models channel →