来源: Decrypt ↗
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
在 Decrypt 阅读原始报道 ↗实时市场脉络
市场数字为实时参考资料，并非此报道造成价格变动的证据；不构成财务建议。
相关新闻
打开新闻中心 →Bitcoin miners pay Paraguay $350 million a year, but AI is pushing them out
Contracts that sell power to a 4% slice of the world’s bitcoin mining at $44 a megawatt-hour expire on Dec. 31, 2027. Paraguay’s state utility calls the date final, and it has just signed a 15-year deal to power a Founders Fund-backed AI campus.
US Shuts Down All Flights, Stock Market Faces Major Risk
The United States has ordered a nationwide halt to flight departures after a major air traffic control communications failure, raising fresh concerns for airline stocks already under pressure on Wall Street. Every US airport was ordered to stop departures on Friday afternoon, November 13, just six minutes before Wall Street closed. The sudden shutdown threatens The post US Shuts Down All Flights, ...
Bitcoin Miners Lead Wall Street's Crypto Sell-Off: Why Are They Falling Hardest?
Bitcoin sank to about $68,000 on Friday. That is its lowest price since August. US stocks tied to the coin went down with it. The companies that mine new Bitcoin took the worst hit. Hut 8 dropped 6%. Riot Platforms and MARA Holdings each lost 3.9%. Coinbase, the largest US crypto exchange, slipped just 0.5%. The post Bitcoin Miners Lead Wall Street's Crypto Sell-Off: Why Are They Falling Hardest? ...