Anthropic says Claude wrote a Lean proof of Fermat's Last Theorem in 11 days
Anthropic reports that Claude, working largely autonomously, wrote a complete formal Lean proof of Fermat's Last Theorem. The proof is public on GitHub for outside checking.
Anthropic↗