OpenAI 发布 1147 页证明，尝试攻克 Yang-Mills 质量间隙问题

返回文章 a]:hidden"> Yang-Mills、OpenAI 的证明与质量间隙问题 社区文章已发布 2026年11月13日 点赞 12 +6 David Louapre dlouapre 关注 :last-child]:mb-0"> 量子场论：我们理解粒子的最佳框架 量子电动力学 统领一切的 Yang-Mills 走上格点 数学家的难题 OpenAI 的构造 几天前，OpenAI 宣布了量子色动力学（QCD）的存在性，以及粒子物理标准模型的一个统一完备化。这听起来像是个物理问题，但实际上它是 Yang-Mills 存在性与质量间隙问题的前半部分——后者是 Clay 研究所悬赏的七个百万美元问题之一。 继几周前的 Navier-Stokes 之后，我的第一反应是：OpenAI 又干了一次？ 和往常一样，为了向世界分享他们的成果，他们产出了一份篇幅巨大的手稿（1147 页！），以及一个在 Lean 中验证过的证明。Lean 是一种编程语言，计算机可以在其中检查数学证明的每一个逻辑步骤。但仅有 Lean 还不够：我们需要确认这个证明所针对的问题，确实是数学家和物理学家关心的那个问题。计算机能检查一个证明是否正确，但无法检查代码中写下的定义是否就是我们认为的那个意思。 为此，OpenAI 召集了一个特别小组来审查他们的证明。该小组刚刚发布了第一份评估。为了理解其中的关键所在，让我带你梳理一下 Yang-Mills 问题、它与强核力的联系，以及这一切对粒子加速器内部发生的事情是否重要。 量子场论：我们理解粒子的最佳框架 顾名思义，量子场论是把量子力学原理应用到场上，比如电磁场。当我们处理有限个自由度时——比如一堆各自有位置和速度的点粒子——量子力学通常有良好的定义。但对于场，它在连续空间的每一点都有一个值，事情就变得棘手了。 你可能听说过量子力学的路径积分方法，这是 Richard Feynman 提出的一个美妙想法。其思路是对粒子可能走过的所有轨迹计算一个巨大的积分。 这听起来可能很吓人，但对于有限个粒子，我们有办法通过小心的取极限来使它严格且良定义。然而，把同样的想法应用到场上就很复杂了。 对于一个场，“轨迹”指的是场在空间和时间中的所有可能位形。示意地说，如果 A 表示我们的场，S[A]S[A]S[A] 表示它的作用量（编码经典理论定律的量），那么路径积分写作 Z=∫DA  e iS[A]/ℏ Z = \int \mathcal{D}A ; e^{,i S[A]/\hbar} Z=∫DAeiS[A]/ℏ 其中奇怪的符号 DA\mathcal{D}ADA 意思是“对所有可能的场位形积分”（类似于你熟悉的普通积分中的 dxdxdx）。的确，由于场存在于空间中的每一点，场路径积分涉及无穷多个积分（空间中每一点一个！），路径积分一般是不良定义的：DA\mathcal{D}ADA 没有恰当的数学含义，并且会出现发散。 尽管如此，这并不妨碍物理学家书写和操作它们，特别是用来定义一类称为关联函数的对象： ⟨O(x) O(y)⟩=1Z∫DA  O(x) O(y)  e iS[A]/ℏ \langle O(x), O(y) \rangle = \frac{1}{Z}\int \mathcal{D}A ; O(x), O(y); e^{,i S[A]/\hbar} ⟨O(x)O(y)⟩=Z1​∫DAO(x)O(y)eiS[A]/ℏ 其中 O 是由场在点 x 和 y 处构成的某个量。这些关联函数本质上代表了我们在实验中——比如在粒子加速器中——所能观察到的东西。为了看看物理学家如何摆脱不良定义的问题，让我们来看看 Maxwell 电磁学的量子一面。 量子电动力学 先从纯电磁学开始，即没有物质存在的情况。这是简单的情形，因为那些棘手的路径积分可以被证明是可计算且良定义的……但由此得到的理论并不太有趣！这是因为它只包含光子（与电磁学相关的粒子），而光子之间并不相互作用。纯电磁学是一个自由光子在空间中运动、彼此擦肩而过如同各自独立的理论。 现在加入物质，例如电子。我们可以写出描述电磁学与电子耦合的路径积分。这个理论按理说会有趣得多，因为光子原则上为电子提供了相互作用的媒介……但这一次，那个巨大的路径积分是不良定义的。所以关联函数在理论上是没有意义的。 好消息是，物理学家找到了一条绕过去的路，叫做微扰展开。 所谓的电磁学与物质之间的耦合（它衡量它们相互作用的强度，与著名的精细结构常数 α≈1/137\alpha \approx 1/137α≈1/137 有关）足够弱，至少在大距离上如此，以至于我们可以形式地把那些不良定义的积分按这个耦合的幂展开，并把这个展开截断到有限项，而这些项我们实际上可以计算。为了用一个简单的数值积分向你展示这个思路，想象你要计算 I(α)=∫−∞+∞e−x2−αx4 dx I(\alpha) = \int_{-\infty}^{+\infty} e^{-x^2 - \alpha x^4}, dx I(α)=∫−∞+∞​e−x2−αx4dx 然后你意识到可以把 e−αx4e^{- \alpha x^4}e−αx4 展开成幂级数，截断后就能得到更容易计算的积分 I(α)≈∫−∞+∞e−x2(1−αx4+α22x8+… )dx I(\alpha) \approx \int_{-\infty}^{+\infty} e^{-x^2} \left(1 - \alpha x^4 + \frac{\alpha^2}{2} x^8 + \dots\right) dx I(α)≈∫−∞+∞​e−x2(1−αx4+2α2​x8+…)dx 采用微扰方法后，展开的每一项都用你可能见过的著名“费曼图”之一来象征。

（原文较长，此处译出前 6000 字，完整内容请点「打开原文」。）