10月26日，OpenAI宣布其内部模型在数学、计算机科学和物理学三个领域各取得一项理论成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），并为包括量子色动力学（QCD）在内的四维量子场论建立严格的数学存在性证明。其中最靠近物理学基础的“四维杨-米尔斯存在性”，恰好是那道千禧年难题的第一半。机器之心微博
但边界需要先划清。这道题要求同时完成两件事：在四维空间中严格构造出非平凡的量子杨-米尔斯理论，再证明这套理论的能量谱存在正的质量间隙——即便最轻的激发也必须真正具有质量，不允许任何零质量粒子把力传到无穷远；OpenAI这次宣布的部分是存在性，并未宣布解决质量间隙。三项成果也都还停留在公司说法层面，没经过同行评审，截至发稿没有参与核查的专家公开评价结论对错。外界此刻能逐行核对的只有数学与计算机两项——论文与Lean证明已放上GitHub，Lean是一种把推理拆成最小步骤逐条机器核对的检查程序，错一步即不通过；物理部分则是三个结果里唯一不公开材料的，由诺贝尔奖得主David Gross带队的专家组先自行整理成文。机器之心微博字母榜
千禧年难题的另一半，恰是杨振宁当年最放不下的问题
2000年，克雷数学研究所把“杨-米尔斯存在性与质量间隙”列入七大千禧年难题，每题悬赏100万美元；题目的正式表述出自Arthur Jaffe与Edward Witten之手。社区讨论中最常见的提醒也因此成立：就算成果完全正确、如实解决了存在性，这道题依然没有完整解决。字母榜机器之心知乎
OpenAI称，内部模型沿着数学物理学家Tadeusz Balaban在1980年代未走完的构造性量子场论路线，建立了某些包含规范场与费米子的四维相互作用量子场论的严格存在性证明，其中涉及QCD以及容纳标准模型规范场和费米子的一种统一扩展，也包含纯杨-米尔斯理论的存在性证明。按其给出的时间线，纯杨-米尔斯存在性证明生成于9月9日，QCD相关证明在9月18日完成，杨-米尔斯部分的Lean形式化则到10月16日才收尾——从写出证明到对外宣布，中间隔了六个多星期。机器之心字母榜
这“半道题”压着七十年的分量。1954年杨振宁与米尔斯发表论文时，理论预言了“有电荷却没有质量”的粒子，而自然界不存在这种东西；2019年的一次访谈里，96岁的杨振宁回忆，因为理论“非常非常漂亮”，两人还是决定发表，而更早算出类似结果的泡利选择是不发。此后物理学家用对称性破缺与渐近自由把“质量从哪来”安置妥当，标准模型借这套方程运转至今，但它在数学上从未被严格构造出来——这正是千禧年难题的前一半，也是OpenAI这次声称补上的一半；质量间隙与引力统一，依旧留在人类这一侧。字母榜
现在就能核对的两项：写下假设的人，正审阅推翻它的证明
数学这项针对的是数学家Christopher Sogge在1991年提出的局部光滑化猜想——研究波的能量能异常聚焦多久的问题，它与挂谷猜想、Stein限制猜想互相牵连。人类的里程碑停在两处：2019年Larry Guth、王虹和张瑞祥证出二维局部光滑化猜想，2025年王虹与Joshua Zahl解决三维挂谷猜想。OpenAI称模型找到一种新的辅助偏微分方程，把证明直接推到所有空间维度，并顺带解决所有维度的挂谷猜想与Stein限制猜想；证明产出于10月18日，19日即完成Lean形式化，手稿与机器证明均已公开。机器之心
计算机这项动摇了近30年的地基。1990年代末，Russell Impagliazzo、Ramamohan Paturi和Francis Zane提出指数时间假设（ETH），断言3-SAT这类问题不存在亚指数时间的解法；此后近30年，几百篇论文拿它当前提，论证很多问题“快不了”。OpenAI公开的论文给出一个新算法，依然很慢，但耗时增长得比ETH断言的更慢——这就足以推翻它；它没有证明所有难题都有快速解法，OpenAI自己也说变成实际提速还要大量研究。戏剧性在阅卷人一方：OpenAI邀请ETH的两位原始提出者Impagliazzo、Paturi与MIT复杂性学者Ryan Williams组织外部研究团队，而模型的自然语言反证10月16日才生成、次日完成Lean形式化，Williams等人随后宣布组织开放、独立的审查。微博机器之心
发布会先行、审稿补场：这场比拼的变量是人类的消化速度
三项结果对应三种发布安排——数学直接公开、计算机公开加独立审查、物理暂缓公开——这个差别本身即是新闻。OpenAI把AI产物定义为“原始研究数据”，负责把证明变成学界能用的知识，需要研究者复核论证、重写解释、追溯前人贡献。当机器推演速度远快于人类吸收节奏，如何核对形式化边界、阐释底层机制并转化为学科知识，成了摆在学术共同体面前紧迫的现实问题。知乎微博
发布姿态的转变有直接前因。9月OpenAI宣布解决纳维-斯托克斯千禧年难题时，有数学家称AI结果撞上自己未公开的研究，引发署名之争；10月6日它一次性放出722篇AI论文，次日就有3篇因错误撤回。这一次它改请外部专家牵头：不签保密协议，OpenAI不要学术署名，专家无偿独立参与。公司还承诺支持独立审查，并在此前宣布向Simons Foundation的相关计划投入500万美元，用于研讨会、学术会议和研究项目。微博机器之心
接下来值得盯的信号有三个：Gross团队整理的首篇论文何时发布、两项公开的Lean证明能否经得住社区复核（形式化定理与原猜想的精确对应仍是审查内容之一），以及质量间隙这半道题会不会有后续。在核查结论落地之前，“AI解决千禧年难题”的说法都还成立不了——模型可以一夜给出证明，但人类还得一页一页决定信不信。哔哩哔哩
