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

> 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...

- Source: Claude
- Published: 2026-11-09T18:58:03.000Z
- Bad Influence: https://badinfluence.news/items/bszy5jtsna4c9dd9wezz4pema
- Original: https://x.com/claudeai/status/2119867129751056485

## Summary

Claude 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. The attached chart shows weighted completion over time, with Fable 5.2 at 1.00 and Opus 5.5 at 0.27 at 30 hours.

## 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.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHWtFZLnX0AApUdy.png&mode=thumb&exp=1794528000&sig=42d955ef9df1aaba)