胶子振幅——那些本该是零的数，忽然不是零了

这是「AI 正在攻克的数学问题」系列的第 6 篇。前五篇都在纯数学里打转，这一篇第一次走进理论物理。主角是一种叫胶子的粒子，和一个本该是零、忽然不是零的振幅。

一、问题是什么

物理学家怎么问两个粒子碰一下会发生什么。他们先把过程画成费曼图。入射的胶子、射出的胶子，加上中间作用的线。一张图就是一个故事的一种讲法。把图画完、算出它的值，这个值就叫散射振幅。振幅越大，这个故事发生的概率越高。真实答案要把所有图加在一起，但有一个简化很常用。只保留最简单的图，不带任何闭合的圈。 这种只画最简单的图的算法，物理学家叫树级。圈图画的是量子涨落的微小修正，多数时候先不管它。

胶子是什么。它是传递强核力的粒子，夸克靠它粘在一起，组成质子和中子。胶子质量为零，这一点很要紧。质量为零的粒子没有静止这一说，它永远以光速前进，同时可以绕前进方向旋转。旋转方向和前进方向一致，叫正螺旋。旋转方向和前进方向相反，叫负螺旋。打个比方。螺丝钉往木头里拧，螺纹的转向和前进的方向是一套的。把螺丝钉倒着拧，转向就反过来了。正负螺旋，就是粒子自转方向和前进方向的两种搭配。

现在考虑 $n$ 个胶子的一次散射，只看树级。其中有一种配置，物理学家画过很多次。一个胶子带负螺旋，其余 $n-1$ 个全带正螺旋。标准教科书给出一个论断。这种配置的树级振幅必然为零。 零意味着什么。意味着这件事在树级近似下根本不会发生。既然算出来是零，这个配置就被贴上标签、搁置起来，几十年没人再认真看它。

2026 年 2 月，一篇论文说这个零站不住。论证里藏着一个没说出口的前提。把前提拿掉，同一个量在某个特殊区域里不等于零。那些本该是零的数，忽然不是零了。

二、它从哪来

散射振幅不是中学课本里的东西，它是量子场论的日常用语。量子场论是统一狭义相对论和量子力学的框架，描述光、胶子、引力子这些基本粒子。散射振幅在这套框架里地位特殊。很多振幅在树级呈现出出奇简单的形式，而这些简单形式一次一次揭示出量子场论里更深的结构。几十年来，理论物理学家靠这些简单公式往前探路。

那个负螺旋一个、正螺旋一堆的配置，属于教科书判了死刑的一类。物理学家对这类高度退化的散射过程一直有点在意。高等研究院的 Nima Arkani-Hamed 说，他从大约十五年前第一次遇到这类过程起就很好奇。

2026 年 2 月 13 日，OpenAI 发了一篇博客，同时放出背后的预印本。预印本挂在 arXiv，编号 2602.12176，题目是《Single-minus gluon tree amplitudes are nonzero》，意思是单负胶子树级振幅不为零。作者五人。Alfredo Guevara（高等研究院）、Alex Lupsasca（范德堡大学和 OpenAI）、David Skinner（剑桥大学）、Andrew Strominger（哈佛大学）、Kevin Weil（OpenAI）。论文正在投稿。

三、卡在哪

先说教科书论证错在哪。那段推理本身不假，只是默认了一个条件。粒子的动量，也就是方向加能量，可以看成一个箭头。教科书论证默认这些箭头处在一般位置，方向各异、能量之间没有特殊关系，像随手洒出去的一把米。在这个前提下，推理成立，结论是零。

但动量空间有一片特殊的切片，物理学家叫半共线区域。在那里，一部分胶子的动量排成一种特殊姿势，方向几乎一致，能量也凑成特定关系。这不是稀松平常的位置，可是它定义得很清楚，也满足物理规律。在这个切片上，教科书论证里的一步不再成立。代数里有个眼熟的现象。一个分式写出来带分母，默认分母不为零。一旦分母恰巧为零，整张纸的公式都变了样。半共线区域，就是那个让分母为零的位置。在那里，振幅不为零。

另一半困难在计算。树级振幅的费曼图展开，复杂度随 $n$ 超指数增长。人用手算到 $n=6$，就得到一大串繁复的表达式。Arkani-Hamed 点出这类问题的一个共同点。教科书方法算出来的东西经常难看之极，可答案往往简单得出奇，而简单公式常通向更深的新结构。他一直觉得，找简单公式这种活，或许可以交给电脑。这句话在这一讲里成了预言。

那怎么确认算出来的东西是对的。物理学家有两个标准工具。一个是 Berends-Giele 递推关系，一种从更小的积木一步步搭出多粒子树级振幅的规范方法。一个是软定理，约束当某个粒子变软（能量趋于零）时振幅必须怎么表现。两条都对得上，才敢说这个公式是真的。

四、现在到哪了

转折发生在方法上。论文里的最终公式，也就是第
(39) 式，先由 GPT-5.2 Pro 猜想出来。人类作者手工算到 $n=6$，得到非常繁复的表达式，即论文第
(29) 到
(32) 式。GPT-5.2 Pro 把这些表达式大幅化简，变成第
(35) 到
(38) 式的简洁形式。做完这些特例，它看出规律，提出对所有 $n$ 都成立的公式。

内部一个带脚手架的 GPT-5.2 版本随后独立推导，花了大约 12 个小时，得到同一个公式，还写出了一份形式化证明。论文接着把公式拿去验算。它解得了 Berends-Giele 递推关系，也通过了软定理的检验。有了 GPT-5.2 帮忙，这些振幅已经从胶子推广到引力子，更多的推广还在路上。

这件事意味着什么。一个被教科书写死为零的量，在特殊位置被证明不是零。 这本身推翻了一条沿用了很久的结论，还打开了一串新问题。加州大学圣塔芭芭拉分校的 Nathaniel Craig 评价它是期刊级别的研究，推进了理论物理的前沿。它也是物理学家与语言模型手把手产生并验证新洞见的模板。他的判断很直接。物理学家和语言模型的对话，确实能造出全新的知识。

Arkani-Hamed 的期待也更具体了。他觉得找简单公式这件事，正在多个领域里开始自动化，并且期待在不久之后出现一个通用的简单公式模式识别工具。这一讲的故事，就是那类工具第一次干成的实事。

这个专题怎么走

这是「AI 正在攻克的数学问题」系列的第 6 篇。前五篇是单位距离问题、球堆积、纳维-斯托克斯、非 sofic 群、多色 Ramsey 数，都落在纯数学里。这一篇第一次进入理论物理，故事的形状也不一样。前几篇的结论多半是某个上界被推高，或者某个猜想被证伪。这一篇是一个被算成零的东西，结果不是零。物理味更重，数学味淡一点。

后续几讲还会继续在这条线上走。引力子的类似振幅已经算出来了，很可能单独成讲。系列末尾还可能有一讲，专门讲 AI 写出的证明，人怎么检查。给学生的入口建议。这一讲不需要你会算散射振幅。抓住三件事就够。一，散射振幅就是粒子相互作用概率的那个数。二，树级就是只画最简单的图。三，教科书说它为零的论断，藏了一个一般位置的前提，半共线区域让这个前提失效。螺旋用螺丝钉的转向去想，半共线用箭头排成特殊姿势去想。

思考与拓展

1. 螺旋热身。 拿一枚螺丝钉，让它沿着前进方向拧进去，再反过来拧。画两个小图，分别表示一个粒子的正螺旋和负螺旋，前进箭头画在同一方向，旋转箭头分别画成两种转向。说说正和负是按什么定出来的。

2. 树级与圈。 费曼图里树级的意思是图上没有闭合的回路，看起来像一棵树的枝杈。画一个三粒子散射的树级图，一个顶点，三条线伸出去。再给同一个过程加一个小圈，把其中两条线接成一个环。数一数，带圈的图比树级图麻烦在哪里。提示。圈越多，要算的积分层数越多。

3. 特殊位置失效。 代数里有个眼熟的现象。分式 $\frac{x^2-1}{x-1}$ 在 $x=1$ 处没有定义，因为分母为零。约分之后得到 $x+1$，它在 $x=1$ 处等于 $2$。教科书那个振幅为零的论证，就像坚持在 $x=1$ 处沿用未约分的写法。半共线区域就是那个让分母为零的特殊点。想一想，一个默认分母不为零的推理，在哪些位置会悄悄失效。

4. 回扣教材。 打开人教版高中物理选择性必修第一册，翻到光那一章的偏振部分。光是横波，振动方向可以沿不同方向，偏振片只放过某一个振动方向的光。胶子的螺旋标记的是粒子自转方向和前进方向的关系，和光的偏振是同一个家族的东西，质量为零的粒子都带这种记号。用偏振和螺旋各写一句，说明它们共同抓住的几何事实是什么。

一句话总结

一个负螺旋加其余 $n-1$ 个正螺旋的胶子树级振幅，标准教科书论证它必然为零，于是被搁置多年。2026 年，GPT-5.2 Pro 指出这个论证假设了动量处在一般位置。在半共线区域，这个假设失效，振幅不为零，而且它给出了对所有 $n$ 成立的简洁公式。那些本该是零的数，忽然不是零了。

原始报道 OpenAI《GPT-5.2 derives a new result in theoretical physics》，2026 年 2 月 13 日。

延伸阅读 arXiv《Single-minus gluon tree amplitudes are nonzero》，编号 2602.12176。