从物理难题到哥德巴赫猜想，头部AI公司加速挺进科学研究前沿

当地时间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小时不眠不休的研究者，并针对性地更新学术规范。