CoreTechDaily

Tag Library

Fermats Last Theorem

Stories from across the site that focus on Fermats Last Theorem.

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