北京时间 10 月 27 日凌晨，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破，称 AI 已能独立发现并证明复杂科学理论，而非仅回答问题或辅助研究。 但最被关注的物理成果需要逐字读：模型声称证明的是四维杨–米尔斯理论与量子色动力学（QCD）的存在性，质量间隙不在这次结果里，千禧年难题并没有被完整解决。 而且这是三项中唯一没有公开证明的一项：数学与计算机的预印本和代码都已挂上网，物理材料此刻仍由一支专家团队在重写消化。 它离普通人有多远？定理本身很远，但同一天发布的降价模型和这套「AI 写证明、人类来消化」的新规则，会先到你身边。未来图灵知乎机器之心
千禧年难题其实捆着两道题
要理解这件事的分量，得先看 2000 年题面写了什么。Arthur Jaffe 和 Edward Witten 为克雷数学研究所撰写《杨–米尔斯存在性与质量间隙》官方题面时，要求做的其实是两件事：第一件事是构造性存在性，也就是在四维连续时空中严格构造出满足 Wightman 公理或欧氏 Osterwalder–Schrader 反射正性公理的非平凡量子规范场论；第二件事是质量间隙。 前者回答「这套理论在数学上站得住吗」，后者才对应着夸克禁闭、胶球质量这些真实的物理内容。知乎
杨–米尔斯理论从 1954 年起就是粒子物理的骨架，标准模型里强相互作用的计算全依赖它，实验也高度吻合，但它的严格存在性证明一直没有实现。 这里存在一种有趣的落差：一套理论可以在物理计算和实验中非常成功，要把它严格构造成满足数学公理的量子场论，却是另一回事。知乎机器之心
打个比方：假设一款物理模拟游戏画面逼真、规律符合实验，但它只能在有限分辨率下运行；把像素缩小到无限接近于零、场景扩展到无限大之后，游戏还能不能正常运行，才是数学上的问题。 现实里对应的是紫外和红外两道极限：格点间距推向零、空间体积推向无穷，还要保证得到的是非平凡的相互作用理论，这条路从上世纪 80 年代起由波兰数学物理学家 Balaban 的多尺度重整化群纲领开路，几十年来无人走完。知乎
OpenAI 交的是上半题，下半题才是硬骨头
OpenAI 声称模型走的正是 Balaban 这条路线，完成了紫外端的严格存在性，对象不止纯杨–米尔斯：模型于 9 月 9 日生成纯杨–米尔斯存在性证明，9 月 18 日又生成 QCD 相关证明，还覆盖一种容纳标准模型规范场和费米子的统一扩展；未统一的原始标准模型被明确排除在外。机器之心
范围卡得严不是保守，而是定理本身依赖 1973 年发现的渐近自由：短距离下强相互作用变弱，紫外极限才可能收敛；那个被排除的版本在紫外端撞上发散问题，本来就不存在非平凡的连续极限。机器之心
物理圈对成果边界的判断同样直白：这次的 Yang-Mills existence 本质上还是个数学问题，物理学家真正关心的质量间隙才是另一回事。 难点恰好与渐近自由一体两面：在极短距离上，粒子之间的强相互作用反而变弱，数学家可以用弱耦合和重整化方法控制理论；而质量间隙描述的正是长距离、强耦合区域的行为，微扰工具在那儿基本失效。 证明存在是解决「如何严格定义理论」，证明质量间隙是解决「理论在强耦合下如何运动、如何形成物理激发」——后者才更接近题面真正想要的东西。知乎知乎
「OpenAI 证明了」离「被证明了」还差多少
三项成果的发布方式各不相同，本身就是最值得读的信号。数学部分，模型 10 月 18 日生成自然语言证明、次日完成 Lean 形式化，证明材料上传 GitHub 供全球数学家验证；计算机部分同样公开，还请来 ETH 原始提出者参与审查。 物理这项却没有：10 月 16 日就已完成杨–米尔斯存在性的 Lean 形式化，公司却等到公告日也未放出原始手稿和代码，选择让工作专家组先消化再决定如何发布。 不公开的苦衷也具体：四维连续量子场论在形式化系统里的底层定义，和调和分析、计算复杂性完全不在一个复杂度上——同一仓库里，调和分析那份 Lean 代码全文只有 143 行。未来图灵机器之心知乎
OpenAI 对这些 AI 产物用了一个说法：原始研究数据——产生证明和形成科学理解被拆成了两段，前一段 AI 可以先行，后一段必须由研究者复核、重写、判断。 配套的原则同样少见：这次是将 AI 生成的证明视为原始研究数据，邀请外部科学家参与验证、解释和整理，并不寻求学术署名。机器之心未来图灵
警惕也有前车之鉴。10 月 6 日 OpenAI 集中公开的 722 份 AI 数学手稿，随后被发现存在错误，撤回 3 篇、修订 14 篇。 更早的纳维–斯托克斯「突破」则暴露了形式化的盲区：研究者发现论文声称只需额外 4 阶导数就能得到估计，对应的 Lean 代码实际用了更强的 5 阶导数条件，证明的是一个更弱的结果——Lean 能保证推导逻辑自洽，却不能替你确认「形式化命题就是原题」。未来图灵知乎
所以高票回答里那句「让子弹飞一会儿」，以及「截至发稿也没有参与核查的专家公开评价结论对错」的现状描述，目前都还是准确的读法。知乎微博
离普通人：定理那一层远，产品那一层近
先说远的。即使存在性证明被学界确认成立，短期影响可能并不大，QCD 已经成功解释了大量强相互作用现象，它不会立即改变已有的实验数据或者粒子质量预测——质子质量该怎么算还怎么算，对撞机上的分析不会因此改写。 计算机那项同理：OpenAI 总裁 Brockman 在宣布后主动补了一句，「P 大概率还是不等于 NP」，推翻 ETH 不等于推翻计算机科学最根本的猜想，更不等于今天的加密体系告急；顺带澄清，新闻里的 ETH 也不是你钱包里的那个以太坊。知乎大先生知乎
近的在同一晚落地：北京时间 10 月 27 日凌晨 2 点左右，OpenAI 发布定位「干日常活」的新模型 GPT-6.1 Terra，一次能读约 100 万 token 的内容，付费用户可直接用、开发者走 API 调用。大先生
而且价格砍半、速度翻几倍，录发票、填表这类重复电脑活第一次显得真的可以交给 AI 去做。 科学突破决定模型的天花板，降价提速决定它多久落到你的工作流里——这一天两件事同时发生，不是巧合，是 AI 公司竞争的新节奏。大先生
另一个值得留意的趋势是，前沿物理已经不是 OpenAI 一家的独角戏：今年 9 月，Anthropic 的 Claude 完成了 N=4 超杨–米尔斯理论九圈六点散射振幅的计算，斯坦福物理学家 Lance Dixon 花了两周时间验证结果并判定正确。 一边是算得更准，一边是证得更严，AI 正从两个方向进入物理学地基。知乎
所以普通人现在能做的判断其实很简单：不用急着为「千禧年难题被解决」欢呼或争论，等三个信号落地即可——Gross 团队何时发布人能读的版本、AI 原始证明与代码是否公开、质量间隙有没有后续。这三个问题有答案的那天，才是这条热搜真正轮到普通用户关心的那天。
