Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required ...
Claude AI Fermat's Last Theorem: Anthropic published the first complete computer-checked formalization of Fermat's Last ...