2026-09-05 13:07:03
Claude 在 11 天内完成了费马大定理的首个经计算机验证的证明,生成了 1,300 万行代码。
据 Anthropic 称,Claude AI 于 9 月 4 日完成了首个经计算机验证的费马大定理证明,生成了 1300 万行代码,计算机可以逐行检查这些代码。Claude 在 11 天内完成了形式化工作,其中大部分由其自主完成,超越了伦敦帝国理工学院一个自 2024 年起开展的人工主导项目。领导该项目的数学家 Kevin Buzzard 审查了 Claude 的证明,并确认该证明仅依赖数学最基本的逻辑规则,因而经得起检验。