Tools & releases
Anthropic Proves Fermat's Last Theorem Using Lean and Claude Code Agent Harness
Anthropic produced the first complete, computer-verified proof of Fermat's Last Theorem in Lean over 11 days. Dozens of Claude agents proved 29,500 intermediate theorems across 13 million lines of code.
Why it matters
Anthropic produced the first complete, computer-verified proof of Fermat's Last Theorem in Lean over 11 days. Dozens of Claude agents proved 29,500 intermediate theorems across 13 million lines of code.