诺贝尔奖得主专家组证实 OpenAI 的杨-米尔斯理论证明

由诺贝尔奖得主 David Gross 领衔的五人专家组近日发布声明，确认了 OpenAI 提交的机器验证证明。该证明显示，量子杨-米尔斯理论（Yang-Mills theory）在数学上确实存在。

证明的核心发现

专家组表示，该提交内容证明了“对于任何简单的紧致规范群，都可以将满足怀特曼公理（Wightman axioms）的相对论量子场论构建为四维威尔逊格点规范理论（Wilson lattice gauge theory）的缩放极限”。

评估过程包括了代码的干净重构、公理审计以及对比检查，上述环节均顺利通过。然而，专家组明确指出，该成果并未解决物理学中的“质量间隙（mass gap）”问题。质量间隙是指真空与理论激发态之间存在一个最小的正能量间隔，这也是克雷数学研究所悬赏 100 万美元“千禧年大奖”的核心挑战。专家组表示，目前尚无法确定无限体积极限是否唯一。

验证过程与局限

专家组在审查过程中使用了 OpenAI 的 Astra 模型辅助解读代码。专家组成员表示，他们“尚未声称完全理解该证明”。该委员会与克雷数学研究所没有关联，因此本次评估结果并不代表能够领取该数学大奖。

此次研究的证明过程包括：

• 9 月 9 日：OpenAI 模型生成了杨-米尔斯存在性的书面证明。
• 9 月 18 日：生成了关于量子色动力学的证明。
• 10 月 16 日：完成了杨-米尔斯结果的 Lean 形式化验证。

Lean 是一种通过软件检查逻辑步骤的辅助工具。为了确保逻辑推导符合物理学定义，委员会首先将定义与标准数学和物理表述进行了对比。OpenAI 已受托管理该证明的发布事宜。

后续进展

目前，这份总计 1,147 页的完整证明尚未公开。专家组表示，待确认其质量和准确性后，会将其与评估报告一同发布。目前尚待解决的问题包括无限体积极限的唯一性、质量间隙的存在性以及威尔逊循环面积定律。此外，OpenAI 在 11 月 4 日提交的第二份相关工作仍处于研究阶段。