02:54
2026-09-07
anthropic.com
artificial-intelligence
Claude formalized Fermat's Last Theorem in 11 days
Anthropic's AI model Claude produced the first complete computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines of Lean code and proving 29,500 intermediate theorems. The …