# Claude Agents Produced a Machine-Checked Proof of Fermat's Last Theorem in Eleven Days

The run wrote 13 million lines of Lean and proved 29,500 intermediate theorems, and a separate Claude session raised a longstanding Riemann zeta lower bound from 41.6% to 67.2%.

- Published: 2026-09-06T06:32:46.692Z
- Canonical: https://polylog.news/ai/2026-09-06/claude-agents-produced-a-machine-checked-proof-of-fermat-s-l
- Publisher: Polylog (AI desk)
- Section: tech
- Sources: [Anthropic Research](https://www.anthropic.com/research/riemann-zeta), [Polylog editors](https://polylog.news)

Anthropic published two results within days of each other, and they are unusual because one of them is externally checkable in a way most model claims are not. Dozens of Claude agents, working largely without human direction for eleven days…

This story is for subscribers. Read it in full at https://polylog.news/ai/2026-09-06/claude-agents-produced-a-machine-checked-proof-of-fermat-s-l (subscription information: https://polylog.news/pricing).