Decrypt September 05, 2026

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

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
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
Back to News

You might also like

Binance France emails announce closure of its use…
Nov 08, 2026 Read
These Finland homes get free heat from bitcoin mi…
Nov 08, 2026 Read
Gold is still 25% below its peak even as demand r…
Nov 08, 2026 Read
Amsterdam protesters break into Microsoft data ce…
Nov 08, 2026 Read