Fermat’s Last Theorem Proved in 13 Million Lines
Anthropic formalized Andrew Wiles's proof of Fermat's Last Theorem in Lean: 13 million lines, verified line by line but never read by a human, in just eleven days.
Read more : Fermat’s Last Theorem Proved in 13 Million Lines
