当地时间 9 月 25 日，Anthropic 宣布 Claude 完成平面 ( N=4 ) 超杨 - 米尔斯理论六粒子散射振幅的九圈计算，突破了此前由美国 SLAC 国家加速器实验室物理学家兰斯 · 迪克逊（Lance Dixon）等人在 2023 年做到的八圈记录。

迪克逊本人参与核验了 Claude 的结果，并称自己此前认为直接完成九圈计算太难，对 Claude 能够直接完成这一任务感到意外。

据 Anthropic 披露，Claude 分别采用两种方法完成计算，整个过程无需研究人员持续参与，每种方法的运行成本约 1000 至 2000 美元，其中一种计算使用 96 个 CPU 持续运行约一周。

平面 ( N=4 ) 超杨 - 米尔斯理论是一种高度理想化的理论模型，主要用于检验粒子物理中的计算方法，并非现实世界的完整物理模型。

此次实验成果证明，AI 已经能够在专家已经建立方法框架的情况下，独立完成过去需要顶尖理论物理学家和大量计算资源才能推进的复杂计算。迪克逊也称，Claude 此次主要使用了人类物理学家过去多年建立的工具和方法，真正具备突破性的是 AI 开始提出新的物理原理和洞见。

头部模型厂商近期在科学领域持续加码，投入领域包括数学、生物科学、物理等。

具体包括 Anthropic 公布 Claude 将黎曼 ζ 函数满足黎曼猜想的零点比例下界从 41.6% 提高到 67.2%；Claude 经过 11 天基本自主运行，完成费马大定理的完整 Lean 形式化；OpenAI 在公布内部系统对纳维 - 斯托克斯问题的解决方案，并提供 Lean 形式化代码后，披露其 8 月 28 日开始训练的一款内部模型已经解决 100 多个长期开放数学问题。

另在 9 月 16 日，一名匿名用户 Captain Sude 在社交平台与 GitHub 发文，称通过 OpenAI GPT-6 Astra 模型，完成刘维尔版哥德巴赫猜想证明。

但需注意的是，此次研究对象并非原版哥德巴赫猜想，而是弱化版的刘维尔哥德巴赫定理。原版哥德巴赫猜想（强猜想）要求任一大于 2 的偶数都可写成两个素数之和，即 "1+1"，素数在加法结构中的分布是数论中最核心的难题之一，至今未被证明。

而弱化版的刘维尔 - 哥德巴赫定理只要求两个加数的质因子总个数为奇数，完全不要求它们是素数。行业真正关注和认可的始终是原版猜想，刘维尔版本是一个衍生出的弱化命题，因其可验证性而成为 AI 能力的试验场，但并未被视为对原版猜想的实质性推进。也正因此，作者 Captain Sude 自己也称，此次论证结果只有对数论极其痴迷的人才会觉得 " 很大 "，但它实际在任何方面都无法与千禧年难题相提并论。

且该技术报告只通过数学上的形式化验证（Lean4），即通过机器检查每一步逻辑推导，确认报告内部推理链条没有逻辑漏洞，并未得到数学领域专家或 OpenAI 官方的确认。

伴随 AI 在科学领域的快速推进，传统学术评价体系与人工智能技术之间逐渐出现摩擦。

9 月 11 日，陶哲轩等 25 位菲尔兹奖得主联署公开信《AI 在数学中的严重错位》，认为科技公司将 " 解决开放问题 " 作为模型能力指标，可能忽视数学研究中更重要的理解、原创性、知识传承和学术归属等价值。

作为回应，OpenAI 成立由 9 名数学家组成的独立数学咨询小组，负责协助评估成果重要性、协调发布以及学术规范等问题。

头部 AI 公司正以远超传统学术节奏的速度开拓科研边界，但验证速度不是科学，目前待解决的难题是传统科学机构如何接纳一个可以 24 小时不眠不休的研究者，并针对性地更新学术规范。

( 本文来自第一财经 )