OpenAI 宣称证明杨-米尔斯存在性，但质量间隙仍无解

2026-11-14 12:49 0 阅读

OpenAI 的“大新闻”到底说了什么

前几天，OpenAI 抛出了一个让物理圈和数学圈都炸锅的消息：他们声称证明了量子色动力学（QCD）的存在性，并完成了标准模型的统一构建。听起来像是解决了某个高深莫测的物理实验难题，但实际上，这触及的是克雷数学研究所七个“百万美元问题”之一——杨-米尔斯存在性与质量间隙问题的前半部分。

几周前刚看到他们用类似方法处理纳维-斯托克斯方程，我的第一反应是：OpenAI 又搞定了？

这次没那么简单。和以往一样，他们扔出了一份长达 1147 页的手稿，以及一套在 Lean 编程语言中验证过的证明代码。Lean 的好处是计算机能检查每一个逻辑步骤，确保推导没有漏洞。但 Lean 也有局限：它能证明代码里的逻辑是自洽的，却无法保证代码里定义的数学对象，就是物理学家和数学家真正关心的那个“杨-米尔斯理论”。

简单来说，计算机可以确认“如果 A 则 B”是对的，但它不知道“A”是不是我们以为的那个“A”。

为此，OpenAI 组建了一个由诺贝尔奖得主大卫·格罗斯（David Gross）领衔的特别评估小组。这个小组刚刚发布了初步评估报告。要读懂这份报告的分量，我们得先聊聊杨-米尔斯理论到底是什么，它为什么让数学家头疼，以及这次证明到底缺了哪一块拼图。

量子场论：从路径积分到发散噩梦

量子场论是我们理解粒子物理最成功的框架。它的核心思想是把量子力学原理应用到“场”上，比如电磁场。在处理有限个自由度（如几个点粒子）时，量子力学定义得很清楚。但场不同，它在空间的每一点都有值，这就引入了无限多个自由度，事情变得棘手起来。

你可能听说过费曼的“路径积分”方法。它的思路很直观：粒子从 A 点到 B 点，不是只走一条路，而是同时走所有可能的路径。我们需要对所有这些路径进行积分。

对于有限个粒子，我们可以通过取极限让这个过程变得严谨。但对于场，“路径”变成了场在时空中的所有可能配置。如果用 $A$ 表示场，$S[A]$ 表示作用量，路径积分写成：

$$ Z = \int \mathcal{D}A ; e^{,i S[A]/\hbar} $$

这里的 $\mathcal{D}A$ 意味着对空间中每一点的场值进行积分。因为空间点是无限的，这实际上是一个无限维积分。在数学上，这个表达式通常是“病态”的，也就是没有良好定义，经常出现发散（无穷大）。

尽管如此，物理学家还是硬着头皮用这套工具计算“关联函数”，也就是我们在粒子加速器里实际能观测到的量：

$$ \langle O(x), O(y) \rangle = \frac{1}{Z}\int \mathcal{D}A ; O(x), O(y); e^{,i S[A]/\hbar} $$

为了绕过这个数学泥潭，物理学家在量子电动力学（QED）中找到了一条出路。

量子电动力学的成功与局限

先看纯电磁场（没有电子等物质）。这时候路径积分是可以计算的，理论也很完美，但很无聊：光子之间不相互作用，只是各自飞掠而过。

一旦加入电子，情况就变了。光子成为电子相互作用的媒介。这时候，那个巨大的路径积分在数学上再次变得无定义。物理学家怎么办？他们发明了微扰展开。

电磁相互作用的耦合常数（精细结构常数 $\alpha \approx 1/137$）很小。这意味着我们可以把那个算不出来的积分，展开成关于 $\alpha$ 的幂级数，然后只取前几项进行计算。每一项对应一个著名的“费曼图”。

在这个过程中，无穷大依然会出现，但物理学家通过“重整化”技术，系统地把这些无穷大吸收进参数的重新定义中。结果惊人地准确：电子磁矩的理论计算值与实验值的吻合度达到了万亿分之一。

但这套方法有硬伤。首先，如果你试图把所有项加起来，级数是发散的，只有前几项有用。其次，随着能量升高（距离变短），QED 的耦合常数会变大，微扰展开最终会失效。好在这个失效的能量标度高得离谱，远超当前实验能力，所以物理学家不太担心。

更重要的是，数值证据表明，如果我们试图 rigorously（严格地）构造 QED，相互作用可能会消失，变成一个平庸的自由理论。也就是说，QED 可能只是一个“有效理论”，而非数学上严格存在的终极理论。

那么，其他力呢？

杨-米尔斯理论：统一力的框架

既然微扰法在电磁力上奏效，物理学家自然想把它用到弱核力和强核力上。1954 年，杨振宁和米尔斯提出了一个通用框架：杨-米尔斯理论。

在电磁学中，我们用矢量势 $A$ 来描述场。杨和米尔斯发现，如果把 $A$ 推广为矩阵值场，就能构建更复杂的理论。其拉格朗日量包含一个关键项：

$$ F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu - i,[A_\mu, A_\nu] $$

注意最后那个对易子 $[A_\mu, A_\nu]$。在电磁学（U(1) 群）中，数是可交换的，这一项为零。但在杨-米尔斯理论中，如果选择非阿贝尔群（如 SU(2) 或 SU(3)），这一项不为零。这意味着媒介粒子（如胶子）之间会直接相互作用，而不仅仅是传递力。

选 U(1)：回到电磁学。
选 SU(2)：描述弱核力（需结合希格斯机制）。
选 SU(3)：描述强核力，即量子色动力学（QCD）。

标准模型就是这三者的乘积群 $U(1) \times SU(2) \times SU(3)$，加上物质粒子和希格斯场，几乎解释了除引力外的一切。

但这里有个巨大的矛盾。在杨-米尔斯理论中，媒介粒子（胶子）原本应该是无质量的，就像光子一样。如果胶子无质量，强核力应该像电磁力一样是长程力。然而实验告诉我们，强核力是短程力，只在原子核尺度内有效。 无质量的胶子如何产生短程力？这就是“质量间隙”问题的核心。

渐近自由与格点规范理论

在 QCD 中，微扰展开的行为与 QED 截然相反。由于胶子之间的相互作用（对易子项），耦合常数在短距离（高能）下变小，在长距离（低能）下变大。这就是渐近自由，也是格罗斯等人获得 2004 年诺贝尔奖的原因。

这意味着，在极短距离下，夸克和胶子几乎不相互作用，微扰论很好用。但在长距离（如质子大小）下，耦合变得极强，微扰论彻底失效。我们需要非微扰方法。

1974 年，肯尼斯·威尔逊提出了格点规范理论：把连续的时空离散化成一个个格子（就像像素）。在格点上，路径积分变成了有限维的普通积分，计算机可以精确计算。

模拟结果显示了一个惊人的现象：禁闭。由于胶子间强烈的相互作用，带“色荷”的粒子（如单个夸克或胶子）无法单独存在，只能组合成色中性的束缚态。在纯杨-米尔斯理论中（没有夸克，只有胶子），这些束缚态被称为胶子球。

更关键的是，数值模拟发现胶子球有一个最小质量，大约是质子质量的 1.5 到 1.7 倍。尽管原始理论中没有任何质量参数（胶子是无质量的），但量子效应自发产生了一个质量标度。这就是质量间隙：真空之上的最低激发态具有非零质量 $\Delta > 0$。

这解释了为什么强核力是短程的：传递力的粒子有质量，力的作用范围就被限制在康普顿波长以内。

数学家的难题：Wightman 公理

物理学家靠格点模拟得到了数值结果，但数学家要求更严格的证明。一个量子场论要被视为“数学上良好定义”，必须满足Wightman 公理（或等价的 Osterwalder-Schrader 公理）。这些公理包括：存在唯一的真空态、能量非负、符合狭义相对论、类空分离的测量互不影响等。

目前在 2 维和 3 维时空中，已经构造出满足这些公理的相互作用场论。但在 4 维时空（我们的世界）中，还没有任何一个相互作用理论被严格证明满足这些公理。

杨-米尔斯存在性与质量间隙问题的具体要求是：

存在性：证明对于任意紧致单李群（如 SU(3)），存在一个满足 Wightman 公理的量子场论，它是从格点理论取连续统极限（格距 $a \to 0$，盒子大小 $L \to \infty$）得到的。
非平凡性：证明这个理论不是自由理论（即粒子间确实有相互作用）。
质量间隙：证明该理论中存在一个正的质量下限 $\Delta$。

OpenAI 这次的声明，主要集中在第 1 和第 2 点，也就是“存在性”部分。

OpenAI 的证明到底做到了哪一步？

根据大卫·格罗斯领导的评估小组发布的初步报告，OpenAI 的工作成果可以总结如下：

连续统极限存在：证明了当格距 $a \to 0$ 时，极限存在，且耦合常数的行为符合渐近自由的预测。这对于任何紧致单李群都成立。
无穷大体积极限部分存在：证明了当盒子大小 $L \to \infty$ 时，沿某个“子序列”极限存在。这里有个瑕疵：就像数列 $1, -1, 1, -1...$ 不收敛，但子序列可以收敛一样。目前的证明不能排除不同子序列趋向不同极限的可能性，尽管物理学家普遍认为这种情况不会发生。
满足 Wightman 公理：证明得到的理论满足量子场论的基本公理。
非平凡性：证明该理论不是自由理论。证明利用了一个典型的量子效应：经典杨-米尔斯理论没有尺度，但量子理论中耦合常数的跑动打破了尺度不变性，这在关联函数中留下了自由理论无法复制的特征。

但是，还有三个重要的“未完成”：

缺乏普适性证明：没有证明不同的格点构造方式（不同的网格形状、不同的离散化方案）会导致相同的连续统理论。也没有证明无穷大体积极限的唯一性。
没有解决质量间隙：评估报告明确指出，目前的构造没有提供关于质量间隙存在与否的任何证据。这是另一半百万美元奖金所在。
审查尚未完全结束：评估小组表示，他们目前主要基于 Lean 代码进行评估，尚未完全消化那 1000 多页的手稿。此外，OpenAI 还声称证明了包含夸克的完整 QCD 的存在性，但这部分材料尚未公开。