#Ai-Research

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.