CoreTechDaily

Tag Library

mathematical proof

Stories from across the site that focus on mathematical proof.

How Claude AI Formalized Fermat’s Last Theorem in 11 Days with 13 Million Lines of Code

How Claude AI Formalized Fermat’s Last Theorem in 11 Days with 13 Million Lines of Code

Claude AI transformed a complex 1995 math proof into 13 million lines of Lean code in 11 days, automating a centuries-old problem’s formal verification.

Sep 13, 2026