Anthropic announced that Claude completed the first formalized proof of Fermat's Last Theorem in Lean, a project experts expected would take years. The 13-million-line proof also verifies more than 29,000 supporting theorems and is the largest Lean proof ever written.
Key Takeaways
- βAnthropic announced that Claude completed the first formalized proof of Fermat's Last Theorem in Lean, a project experts expected would take years. The 13-million-line proof also verifies more than 29,000 supporting theorems and is the largest Lean proof ever written.
Discussion & Comments
0Sign in to join the discussion
Connect with AI developers to exchange benchmark insights.