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
← Back to feed
Decrypt
Latest across the feed
Solana Treasury Firm DeFi Development Keeps Buying SOL as CHAD Preferred Stock Hits Record
The Nasdaq-listed company now holds about 2.59 million SOL, but its weekly purchases keep shrinking.
42
Decrypt
36M
Crypto PACs report $2.7M spending blitz on House races as midterms loom
With just 22 days until the US midterm elections, a crypto-aligned committee has announced another major ad expenditure to support “pro-crypto” candidates…
30
Cointelegraph
48M
Binance launches AI trading tool after 150,000-user beta
Binance rolled out Binance AI, a free generative-UI trading interface, to all English-language users after a beta with about 150,000 testers.
33
The Block
59M