Anthropic runs 1,000 Claude Fable 5.2 agents to formalize Fermat's Last Theorem in 28.7 hours

Safely scaling multi-agent teams with Claude Fable 5.2

In a small experiment, Anthropic had 1,000 agents running an early Claude Fable 5.2 reproduce a formal proof of Fermat's Last Theorem in 28.7 hours. The team gave no Prove2Me or researcher guidance, only 60 lemmas to prove, short route hints, definitions and 47 previously proved lemmas. The agents coordinated through Git and a shared database, using a third of the original work's output tokens for a proof one-seventh as long.

Why it matters: Anthropic let a thousand agents split and coordinate work through a shared database and Git, keeping large-scale collaboration inside isolated sandboxes and two-layer monitoring.