🤖 Anthropic's AI just formally proved Fermat's Last Theorem
Claude formalized the full Wiles proof in Lean 4, open-sourced here. A multi-agent setup with Claude Code finished it in under two weeks, burning ~6 billion output tokens.
358 years. Two weeks of compute. Not bad.
GitHub
GitHub - anthropics/fermats-last-theorem
Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.
September 5, 2026 657 2
