🧠 Claude proved Fermat's Last Theorem. In 11 days. Computer-checked.
Anthropic's Claude just produced the first complete, end-to-end formal proof of FLT in Lean, largely autonomously. 13 million lines of code. 29,500 intermediate theorems.
For context: a funded academic team had £1M and 5 years. And honestly, they took it well.
Anthropic
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
September 4, 2026 568 3
