Claude AI Successfully Proved Fermat's Theorem in 11 Days
Claude AI Successfully Proved Fermat's Theorem in 11 Days
Anthropic reports that Claude completed the proof of Fermat's theorem in 11 days. The proof consists of 13 million lines.