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

Bitcoin Price Prediction: StarkWare Discounts Qua…
Sep 24, 2026 Read
Trump administration weighs a global stablecoin p…
Sep 24, 2026 Read
MoonPay targets $8.7B trading venue, but the feat…
Sep 24, 2026 Read
A week of AI coding cut a quantum-safe bitcoin tr…
Sep 24, 2026 Read