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

$3.6B flees Binance on reopen, THORChain co-found…
Nov 01, 2026 Read
Tracked Binance wallets record $2.5 billion in ou…
Nov 01, 2026 Read
Crypto scammers used SEC’s website to lure invest…
Nov 01, 2026 Read
The crypto reader's guide to the 2026 midterm ele…
Nov 01, 2026 Read