OpenAI 没有证明杨-米尔斯千禧年难题——它声称证明的只是这道题的一半，而且这半个结论目前还停留在"未经核实"的阶段。10 月 26 日（美国时间），OpenAI 宣布其内部模型在三个领域拿到新结果：证明所有维度下的局部光滑化猜想、证伪理论计算机科学的指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。 截至北京时间 27 日白天，这三项结果均未经过同行评审，也没有参与核查的专家公开评价结论对错。 所以，"AI 科研范式来了吗"的答案，取决于接下来几个月科学界如何消化这三份证明，而不是这次发布会本身。机器之心微博
千禧年难题要求两件事，OpenAI 只声称做完了第一件
这道 2000 年立项的千禧年难题其实规定了两件事：第一，对任意紧致单李群，在四维欧氏空间上存在一个非平凡的量子杨-米尔斯场论；第二，这个理论的能量谱里有一个正的质量间隙。 用大白话说，第一件事是"把理论按公理真造出来"，第二件事是证明这个理论里最轻的粒子也必须带质量——自然界里强相互作用只在原子核尺度内生效，靠的就是这道"质量的坎"。OpenAI 这次宣布的部分是存在性，并未宣布解决质量间隙。字母榜机器之心
按其披露的说法，模型走的是数学物理学家 Balaban 上世纪 80 年代建立的多尺度重整化群路线，“建立了某些包含规范场与费米子的四维相互作用量子场论的严格存在性证明，其中涉及 QCD”，并包含纯杨-米尔斯理论的存在性证明。 一位物理学背景的知乎答主则提醒了另一半边界：这项结果"既不意味着整个杨–米尔斯千禧年难题已经解决，也不自动意味着我们在强相互作用的实验预测上取得了同等规模的突破"——杨-米尔斯理论作为粒子物理标准模型的地基，已经被物理学家用了几十年，被"严格构造出来"和被"用得很准"是两码事。知乎回答知乎回答
三项主张，三套不同的核查安排
同一天公布的三个结果，处理方式完全不同，这本身就是最值得读的信号。
ETH 是理论计算机科学近 30 年的地基性假设：不存在亚指数时间解决所有 3-SAT 问题的算法，数百篇论文在它之上建立了计算难度的条件性结论。 模型在 10 月 16 日生成自然语言反证、次日完成 Lean 机器验证后，OpenAI 请出的审查者正是 ETH 的两位原始提出者 Impagliazzo、Paturi 和复杂性学者 Ryan Williams——当年写下这个假设的人，如今亲手检查 AI 的反证。机器之心
数学部分（局部光滑化猜想，连带宣称所有维度的挂谷猜想与 Stein 限制猜想）走的是另一个极端：预印本和 Lean 形式化代码直接公开，任由调和分析社区复核，OpenAI 没有指定先行审查小组。
物理部分则相反：这是三项结果里唯一不公开材料的。 2004 年诺贝尔物理学奖得主 David Gross 牵头的五人名义审查组，选择先把 AI 的长篇证明消化、重写成同行能读的研究文本再公开。 藏着的理由相当技术：Lean 数学库 Mathlib 里几乎没有构造性量子场论的现成定义，模型得先写几千行定义代码；而"当底层定义本身长达几千行时，检查题面定义是否忠实于原物理问题，比检查后面的不等式推导要困难得多"——哪怕某条正则性假设写得稍强了一点，构造出的理论可能悄悄退化成自由的"假"场，编译器照样判定通过。字母榜机器之心知乎回答
三种安排的共同底色，是 OpenAI 这次给 AI 产物定的新性质：不是"成果发布"，而是待消化的原始研究数据，团队也并未直接替这三项结果下定论。 这种克制有直接教训：就在 10 月 6 日，OpenAI 一次性公开的 722 份 AI 数学手稿被查出错误，撤回 3 篇、修订 14 篇。 OpenAI 同时立下合作原则：外部专家自愿、独立参与，不签保密协议，也不因模型发现替 OpenAI 争取学术署名。微博知乎机器之心
范式是否真的到来，看这三个信号
如果三项主张里有被确认的，变化确实不小：按知乎上物理学背景答主的分析，模型这次靠的是长链条符号计算的耐力，“把 Balaban 框架里最繁琐的重整化群收敛估计和费米子行列式界一步步算完了”——这条路线因账目过于繁琐，三十多年里很少有学者走得动。 OpenAI 总裁 Greg Brockman 把这称为"三项重大科学发现"，感叹 AI 开始帮助人类增进对宇宙的理解。知乎回答机器之心
判断范式是否成立，接下来盯三件事就够：Gross 团队的正式论文和那几千行 Lean 定义何时公开、是否排除了自由场退化；Williams 等人的独立审查对 ETH 反证给出什么结论；调和分析社区对直接公开的局部光滑化证明作何反应。三件事分别对应"物理主张能不能站住"“计算机科学的教科书要不要改写”“数学结果是否已被同行接住”。任何一项被确认，都是真突破；全部被证伪，也只是重演 722 份手稿里已经发生过的撤回。机器之心
72 年前，杨振宁和米尔斯发表这套理论时，它带着一个当时解释不了的硬伤："按照他们的理论，世界上应该存在一种’有电荷却没有质量’的粒子，可自然界根本没有这样的东西。“更早接触同类结果的泡利因此选择不发表，杨振宁赌上了它"将来能解决问题”。 杨振宁已于 2025 年 10 月 18 日逝世，没能看到这一天。 OpenAI 声称替这个理论补上了数学地基的一半，但这一半目前仍是"待核查"状态——真正的裁决权，依然在那些正在逐行读证明的人手里。字母榜中国新闻网
