AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Decrypt3h agoUpdated 2h ago
Smart Read
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
Coins in this story
Discussion
Related stories
Decrypt
TikTok's Parent Company Just Borrowed $30 Billion to Go All-In on AI
Nearly 30 banks backed the rare unsecured facility as TikTok’s parent company spends heavily on AI chips, models, and overseas data centers.
Decrypt
G7 Warns Quantum Threat Demands Action as Crypto Industry Weighs Fixes
The group is urging organizations to adopt post-quantum security before powerful computers can compromise today’s encryption and digital signatures.
Decrypt
Polymarket Launches Crypto Perpetual Futures With Up to 20x Leverage
The prediction market platform's new Perps product scaled from 10 markets to 67 on its first day—though the 20x leverage ceiling only applies to some of them, and none of it reaches U.S. traders.
KryptoKite aggregates and summarises third-party crypto news. This is informational content, not investment advice. KryptoKite does not recommend buying or selling any asset.