Anthropic Says Claude Encoded Fermat’s Last Theorem in 13 Million Lines of Verifiable Code
Anthropic says Claude spent 11 days converting Fermat’s Last Theorem into 13 million lines of code that computers can verify independently, marking a notable AI application in formal mathematics.