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.
September 5, 2026, 03:41 AM·SiliconANGLE
