OpenAI再出手：杨-米尔斯存在性被证明，质量间隙为何仍无解？

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 维时空，也就是我们的世界，还没有任何一个相互作用理论被严格证明满足这些公理。

杨-米尔斯存在性与质量间隙问题，具体要求有这么几条：

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

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

OpenAI 这份证明究竟推进到了什么位置？

大卫·格罗斯牵头的评估小组已给出初步报告，OpenAI 的成果按报告口径可归为几条。

1. 其一，连续统极限确实存在。格距 $a \to 0$ 时极限收敛，耦合常数的表现与渐近自由的预期一致，且对任意紧致单李群都成立。其二是无穷大体积极限，只做到了一部分：盒子大小 $L \to \infty$ 时，沿某个“子序列”存在极限。问题出在这里——数列 $1, -1, 1, -1...$ 本身不收敛，取子序列却能收敛；现有证明排不掉不同子序列跑向不同极限的可能，只是物理学界普遍不相信会出现这种情况。
2. 其三，所得理论满足 Wightman 公理，即量子场论的基本公理。其四，理论是非平凡的，不是自由理论。这一步用到了一个典型的量子效应：经典杨-米尔斯理论没有尺度，量子理论里耦合常数的跑动却打破了尺度不变性，关联函数因此留下自由理论复制不出来的特征。

不过，另有三件事没有做完。

5. 一是普适性没证。换一种格点构造——网格形状不同、离散化方案不同——是否通向同一个连续统理论，报告中没有答案；无穷大体积极限是否唯一，同样没证。二是质量间隙仍未触及。评估报告写明，当前构造没有给出质量间隙存在或不存在的任何证据。另外那半个百万美元奖金，正卡在这里。
6. 三是审查本身还没收尾。评估小组称，眼下的评估主要依据 Lean 代码，1000 多页的手稿尚未完全消化。OpenAI 还声称证出了包含夸克的完整 QCD 的存在性，可这部分材料没有公开。

粒子物理实验会因此受影响吗？

短期内几乎没有。物理学家在大型强子对撞机（LHC）上算东西，照旧用微扰展开和格点模拟，这些方法的预测精度不会因为这篇证明一夜之间变高。

真正的作用在信心层面。它说明描述强相互作用的那个数学对象不只是一份好用的“计算食谱”，而是数学上自洽、严格存在的实体。理论根基会不会塌，这层担心可以放下了。

剩下那半块拼图是质量间隙，恐怕得靠新的数学工具。从“理论存在”到“理论有质量间隙”，隔开的不只是计算量，还有物理机制本身的深层问题。OpenAI 这一步走得扎实，终点线仍在远处。