Published Sep 5, 2026, 9:01 AM ET · Updated 2 months ago · 1 source
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Decrypt
·
Original Report
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