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
#ai-formalization
That is everything