1,000 AI agents re-proved Fermat's Last Theorem in 30 hours — but only because output is machine-checkable
petrusenko_max · x · 2026-11-12
Anthropic previously formalized Fermat's Last Theorem into a computer-checkable proof in 11 days; this week it reported a second run where a team of 1,000 AI agents cut that to 30 hours.
The follow-up observation: a thousand agents only add up because the output is machine-checkable — and most real-world work has no such verification, so scaling agent count doesn't transfer to general tasks.
Related event: 1,000 AI agents formalize Fermat's Last Theorem proof in 30 hours(3 posts)→
More from coding & agent
- Player's homemade agent bot grinds WoW to level 13 while he never plays — shakoistsLog · 2026-11-12
- Fable 5.2 runs overnight to build real-time Toronto bird sim with map 7x bigger than GTA6 — zeeg · 2026-11-12
- Perplexity teammate builds GPU markets terminal using the Computer agent — jeffgrimes9 · 2026-11-12
- AWS open-sources Emulator written 100% by autonomous AI agents — blaizedsouza · 2026-11-12
- Roma 2.0 packs Karpathy's autoresearch into one multi-agent prompt — EXM7777 · 2026-11-12
- From SDLC to ADLC: agents quietly take over planning, coding, testing, and deployment — blaizedsouza · 2026-11-12