來源: 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? ...