#Fermat-S-Last-Theorem

Formalizing Fermat's Last Theorem

Anthropic says Claude produced the first end-to-end computer-checked proof of Fermat’s Last Theorem in 11 days, showing how large proofs can be formalized and verified with Lean.