AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Decrypt · 2026-09-05T13:01:03.000Z

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

Source: Decrypt · · fact-reporting

Related assets