Anthropic reports a 1,000-agent team reproduces the Fermat's Last Theorem proof
AIAnthropic says a team of 1,000 agents running an early version of Claude Fable 5.2 reproduced its formal proof of Fermat's Last Theorem in 28.7 hours. The agents used one-third as many output tokens and wrote a proof one-seventh the length of the earlier Prove2Me-assisted formalization, with no researcher steering.
AIWhy it matters.
The post separates what the team achieved from the setup behind it, including the shared database, the sandbox limits, and the monitors that blocked nothing across the run.
Loading source posts…
Source details
Claude Blog · claude.devPublished · added here
Original title: Safely scaling multi-agent teams with Claude Fable 5.2