Formal Proof
Claude Formalizes Fermat’s Last Theorem in Lean in 11 Days
·2192 words·11 mins
Claude
Anthropic
Fermat's Last Theorem
Lean
Formal Proof
AI Mathematics
Mathlib
Proof Assistants
AI Research