AI
Anthropic AI Formalizes Fermat's Last Theorem Proof
Anthropic's AI has formalized Andrew Wiles' proof of Fermat's Last Theorem into 13 million lines of Lean code in just 11 days.
September 5, 2026, 12:39 PM·3DNews - Daily Digital Digest
#lean-language
AI
Anthropic Formalizes Fermat's Last Theorem Using AI
Anthropic has formalized the proof of Fermat's Last Theorem in 11 days, creating the largest-ever computer-verifiable mathematical file with 13 million lines of code.
SiliconANGLE
That is everything