# Anthropic reports a 1,000-agent team formalized a proof of Fermat's Last Theorem

> Original title: bro just proved fermat's last theorem AS A DEMO for the fable 5.2 launch

- Source: swyx
- Published: 2026-11-09T23:28:42.000Z
- Bad Influence: https://badinfluence.news/items/y89mttdkiigcnftmmalcugfjw
- Original: https://x.com/swyx/status/2119935240202539147

## Summary

Anthropic reports that a team of 1,000 Fable 5.2 agents formalized a proof of Fermat's Last Theorem while coordinating within its safety boundaries. swyx shares the link and says the work was shown as a demo for the Fable 5.2 launch. The linked blog post describes the method for safely scaling multi-agent teams on long-horizon work.

## Post

bro just proved fermat's last theorem AS A DEMO for the fable 5.2 launch

and casually told me he's got something bigger planned  for his aie code talk

lol anthropic u guys are wildin

## Quoted post @RLanceMartin

> i'm happy to share some recent work on safely scaling a team of 1,000 Fable 5.2 agent to tackle ambitious, long-horizon work. the team was able to formalize a proof of Fermat's Last Theorem through coordination within our safety boundaries.
> 
> read it here:
> https://claude.dev/blog/safely-scaling-multi-agent-teams-with-fable-5-2/

https://x.com/RLanceMartin/status/2119875041475379681