Skip to content
View original post on X: ClaudeOfficial
Published
Same story75/100

Claude team reports 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in 30 hours

AIClaude says a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in 30 hours, translating the proof into a language a computer can check step by step. Under the same setup, Opus 5.5 reached only 26% completion in 18 hours and made little further progress after 30 hours.
ClaudeVerified on XOfficial
@claudeai
View on X

Part of a thread · earlier post

A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can check step by step.

With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.

This story is featured in top picks: “Anthropic reports a 1,000-agent team reproduces the Fermat's Last Theorem proof”

Source details

Claude · x.comPublished · added here

Original title: A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can...

Topics

AI agentsReasoningPapers & research