1954年2月，普林斯顿高等研究院。杨振宁站在台上讲刚写出来的规范场论，泡利坐在下面，只问了一句：

“这些规范场对应的粒子，质量是多少？”

杨振宁答不上来。理论里跑出来的是“有电荷、没质量”的粒子，而自然界不存在这种东西。泡利自己早算过类似的式子，就是因为说服不了“质量为0”这个点，选择不发表。

杨振宁赌了一把，还是发了。

2019年3月，蒲慕明和赵午到清华找杨振宁聊起这篇论文。他给出当年坚持发表的两个理由：一是“它真的非常非常漂亮”；二是“场论也还没有得到数学上的精确描述……所以，场论有可能在将来解决我们遇到的问题”。

70年后，2026年10月26日，OpenAI发文，说模型把杨-米尔斯这一支补上了。

先别急着转。克雷数学研究所2000年挂出的千禧年难题，要求两件事：证明它存在，证明它有正的质量间隙。OpenAI只碰了第一件。

把三项成果拆开看，公开程度完全不对称：

数学上，模型证出所有维度的局部光滑猜想，顺带解决挂谷猜想和Stein限制猜想，10月18日出结果、19日完成Lean形式化，手稿和代码已上GitHub。

计算机上，推翻指数时间假说ETH，同样完成Lean验证，材料也公开。但要说清楚：推翻ETH不等于P=NP被解决，也不等于电脑马上变快，它只说明3-SAT可能存在次指数算法。

只有物理这一项，是三个结果里唯一不公开的：纯杨-米尔斯存在性9月9日由模型输出，9月18日补上QCD，10月16日完成Lean形式化。但负责消化的外部小组决定先自己重写，读者目前没法像前两项那样直接复查。而且QCD这部分到底做没做Lean形式化，官方一个字没提——物理这条连“验到哪一步”都没交代清楚。

再说那个小组。

牵头的是2004年诺奖得主大卫·格罗斯，同组还有阿瑟·贾菲——克雷数学研究所共同创办人，也是那道千禧年难题官方表述的共同起草人（和威滕一起写的题面）。

出题人，坐在审题席上。

但口径要看清：这是独立审查，不是背书。OpenAI不署名、不付酬，学者完全独立得出结论。物理材料暂扣，是因为“先搞懂再往外发”，不是保密。

同一天，数学与人工智能顾问组（AGMAI，普林斯顿高等研究院那拨人）公开表态：形式化既然已完成，就没有科学理由继续延迟公开物理材料。这个组本身是OpenAI当初找上门想设顾问委员会、结果被数学家们另起炉灶建出来的独立机构。

换句话说：OpenAI请来把关的人，当众说它没理由再拖。

还有个更狠的：格罗斯小组回应AGMAI时自己承认，目前工作只覆盖“存在性”这一半。

连审题人都亲口说“只做了一半”——那后半道，就不是被跳过，是被官方确认还没交出来。

还有两个容易传歪的点：

第一，Lean能严格检查“被形式化后的推理”内部自洽，但不能保证被形式化的命题就是原来那个猜想——这一步还得数学家核对。而且OpenAI自己承认，ETH那条Lean验证出来的运行时间上界，比论文声称的还要弱一档。

第二，重整化让物理学家算出来的数，能和加速器测到的对到小数点后十位。但这套算法为什么成立，一直没人说清楚。“存在性”要的，就是把这件事从“算得准”推进到“定义得严”。

就在同一周，菲尔兹奖得主陶哲轩和邓煜公开开火。陶哲轩说，科技公司把解题当成基准测试，抛出大量缺乏深度洞见的证明，“无异于抛出有毒废料让数学家去收拾残局”；邓煜说，AI连基本的思维链和参考材料都不提供，“在学术伦理层面是极为荒唐的”。

我的判断：

这份公告里最实在的变化，不是“AI攻克千禧年难题”。是AI从解题者，变成了提出路径的人。

而且这条路径不是孤证——OpenAI发文几小时后，Anthropic也放出Claude对ETH的证伪，同样10月16日发现、同样带Lean形式化。两家独立实验室，同一天撞上同一个结果。但两边的日期都是10月16日，到底是各自撞上的，还是互有参照，目前没人说得清。

但真正该盯的，不是那篇声明。是格罗斯和贾菲组还没交出来的写出版本，和那个整篇公告只字未提的质量间隙——

泡利1954年问的就是质量。70年过去，质量这一块，公告里一个字没提。OpenAI补上了杨振宁赌的那一半（存在性），泡利问的那一半，一个字没动。

我不押“哪条能活”。我押一个更具体的节点：格罗斯组那版写出版本什么时候交出来，以及交出来时，质量间隙那一段是空白、还是到时候才补上。

如果交出来还是空白——那这道题就没解，只是被AI重新问了一遍。

我很想听听你的理由：你觉得物理这条，是真没解出来，还是解出来了但不敢发？

你觉得AI在基础科学里，现阶段是“解题工具”还是“发现引擎”？评论区聊聊。

（资料来源：《国家科学评论》杨振宁2019年访谈、OpenAI官方博客10月26日声明、AGMAI 10月25日与26日声明、界面新闻、腾讯新闻《环球科学》。本文仅作科技事件逻辑拆解。）

我是微风荡漾，专注热点情报和硬核拆解。关注我，带你看懂AI浪潮背后的科学真相。

＃OpenAI

#杨振宁

＃AI大模型