Claude 在 11 天内完成了费马大定理的首个经计算机验证的证明,生成了 1,300 万行代码。

fantexi2026-09-05 21:28:35decrypt.co
据 Anthropic 称,Claude AI 于 9 月 4 日完成了首个经计算机验证的费马大定理证明,生成了 1300 万行代码,计算机可以逐行检查这些代码。Claude 在 11 天内完成了形式化工作,其中大部分由其自主完成,超越了伦敦帝国理工学院一个自 2024 年起开展的人工主导项目。领导该项目的数学家 Kevin Buzzard 审查了 Claude 的证明,并确认该证明仅依赖数学最基本的逻辑规则,因而经得起检验。
持有 8.54 枚 BTC 的比特币钱包在沉寂 15 年后首次发生转账,持仓价值 53.8 万美元

根据GalaxyResearch的区块链监测,一个持有8.54BTC的比特币地址于8月16日在沉寂15年后首次转移了所持比特币。该钱包于2011年6月13日首次收到这些比特币,当时比特币的交易价格约为14美元,此后一直处于休眠状态,直...

Visa、Mastercard 称稳定币在发达市场消费支付中尚未显现明确需求

Visa和Mastercard在最新财报电话会上对稳定币用于日常消费支付持谨慎态度,认为在数字化程度较高的发达市场,稳定币在消费者支付场景中尚未体现出明确的产品市场匹配度。VisaCEORyanMcInerny表示,美国消费者已可通...

Circle 与切尔西足球俱乐部合作,自 2026/27 赛季起让 USDC 登上切尔西的英超球衣

Circle与切尔西足球俱乐部签署核心合作伙伴协议,自2026/27赛季起,USDC品牌标识将出现在该俱乐部男足、女足和青训队球衣正面。该稳定币将于切尔西男足本赛季英超联赛首个主场对阵布莱顿的比赛中首次亮相。Circle联...

OFAC 停止执行对 Tornado Cash 的制裁指引,Coin Center 撤回上诉

美国财政部与加密政策倡导机构CoinCenter已达成一致,决定终止围绕以太坊混币工具TornadoCash的上诉程序。由于财政部下属外国资产控制办公室(OFAC)已于2025年3月撤销相关经济制裁,双方认为该案已无继续审理的必要...

上海法院首次成功处置刑事案件中的虚拟货币

据上海高院公众号披露,上海市宝山区人民法院在上海市高级人民法院指导下,成功对9万余枚FIL币进行变价处置,这是上海法院在刑事涉财产执行案件中首次成功处置虚拟货币。此次处置采用"境内委托、境外处置、闭环回流"...

上一篇:美国军方今年已在墨西哥边境击落 300 多架毒品贩运集团的无人机,仅 8 月就有 100 多架。
下一篇:TARA 在山寨币轮动期间 30 分钟内下跌 25.49%