10月26日，OpenAI宣布在数学、计算机科学和物理学三个领域取得新成果：证明所有维度的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学（QCD）在内的四维量子场论建立严格的数学存在性证明，其中纯Yang–Mills理论的存在性属于克莱数学研究所一道千禧年大奖难题的组成部分。机器之心知乎
先把最重要的结论说清楚：这三项目前都是"未经同行评审的AI产出"，不是已被学界认证的答案。三项结果均未通过同行评审，OpenAI为每项结果请了外部专家组织核查；而媒体标题里的"攻克千禧年难题"，对应的其实只是那道难题两个条件中的一半——OpenAI证明了杨–米尔斯场论的数学存在性，另一半"质量间隙"并没有被宣称解决。 公告里另一句值得玩味的自我定位是：这些由模型写出的文稿，最恰当的理解方式是把它们视为"原始研究数据"。知乎36氪知乎
三项突破分别说了什么
数学：一根针、一束波，和一次"打包解决"。 挂谷猜想关心的是"让一根针转遍所有方向，至少需要多大空间"，这个看似游戏的问题与Stein限制猜想、局部光滑化猜想彼此牵连，后两者刻画的是波动规律如何被数学控制。 局部光滑化猜想由数学家Sogge在1991年提出，关心的是波在逐渐聚焦时的行为，它断言最极端的聚焦必然是短暂的：典型时刻的聚焦，远小于最坏时刻可能达到的程度。 人类此前只啃下了部分情形——二维的局部光滑化在2019年被证明，2025年王虹与Joshua Zahl解决了三维挂谷集合猜想。而OpenAI称，其模型在10月18日给出了局部光滑化猜想在所有维度的证明，因而挂谷猜想与Stein限制猜想在所有维度被一并解决，新证明建立在一个此前没有过的辅助偏微分方程之上。知乎知乎机器之心
计算机科学：一个存在了近30年的"边界"可能被打穿。 很多计算难题可以编码成3-SAT这类布尔可满足性问题：一堆只能取真或假的变量，加上一组约束，问能否找到同时满足所有约束的取值。1999年，Impagliazzo、Paturi和Zane提出指数时间假设（ETH），大意是这类问题不存在次指数时间的快速算法。 近30年里，数百篇研究论文依赖这一假设，在图算法、数据库查询、计算生物学等领域建立了"这些问题快不起来"的条件性结论。 这一次，OpenAI称其模型针对特定类型的布尔公式构造出一种确定性算法，不仅能判断解是否存在，还能精确数出解的个数，且运行时间落入亚指数区间——如果成立，ETH就被证伪了。需要泼的冷水是：这不等于P对NP问题有解，也不意味着日常加密"一夜被破"，OpenAI在公告里明说，要找到这样的算法、把理论上的进展转化为实际可用的改进，还需要大量后续研究。知乎机器之心知乎
物理：一栋住人的楼，第一次补交"建筑许可"。 量子场论是粒子物理的标准语言，物理学家靠它做预测、实验一再验证，但它的数学基础至今不严格——理论本身"是否良好定义地存在"，没人能从公理出发构造出来，这正是千禧年问题"量子Yang–Mills理论与质量间隙"的由来。OpenAI称其模型给出了含规范场与费米子的四维量子场论的严格存在性证明，涵盖QCD，并建立在构造性量子场论中Balaban的方法之上；公告明确强调，纯Yang–Mills的存在性只是这道千禧年大奖难题的"一部分"，因为完整题目还要求证明质量间隙——真空之上的粒子激发存在一个正的能量下限——而这次并没有宣称做到。知乎
从"AI交卷"到"难题被攻克"，还隔着几道关卡
把这次发布理解成"考试结束"为时过早，更准确的链条是：AI产出 → 机器可检查的形式化 → 同行评审 → 机构认定。目前数学与计算机两项，OpenAI已经把模型写出的自然语言手稿和Lean形式化证明一起放进公开的GitHub仓库；物理结果因篇幅与复杂度，专家小组选择先整理撰写、再决定材料如何发布，AI的中间产出暂未公开。 按公告时间线，ETH的反证在10月16日产出、17日完成Lean形式化，局部光滑化证明18日产出、19日完成形式化。 同一批手稿，三套结果用了三种不同的公开方式，这是OpenAI有意做的对照实验。 Lean这类工具能把证明写成机器可逐步校验的形式，适合核对动辄数百页的长论证；但形式化不等于答案正确——写进Lean的命题是否与原问题严格对应、有没有把待证内容藏进定义，本身还要人来审查，参与QCD形式化研究的学者今年就撰文提醒过，"代码可以编译、类型可以匹配"并不代表定义没有偏移。知乎机器之心知乎
最有信息量的安排：让出题人检查AI的答卷
OpenAI不谋求学术署名，而是主动联系外部专家担任shepherd（牵头协调者），组织若干小组来理解这些结果。 负责验证ETH反证的，正是这一假设的两位原始提出者Impagliazzo、Paturi，以及MIT复杂性学家Ryan Williams——近30年前写下这个假设的人，如今亲自检查AI给出的反证。 物理结果的协调小组由David Gross率领，成员包括Arthur Jaffe等人；Jaffe当年正是与Witten共同表述这道千禧年难题、并参与创办克莱数学研究所的人，Gross则因1973年发现渐近自由获得2004年诺贝尔物理学奖——渐近自由恰恰是这些理论能在数学上"存在"的关键机制。 OpenAI还承诺公开全部原始数据、资助一次领域会议，并向Simons基金会捐赠500万美元，支持学界消化这类AI产出。知乎机器之心知乎
这套"专家牵头"的机制本身也在被讨论。公告坦承，选定最初的shepherd必然会影响谁先介入，并造成信息上的不对称；而在此前9月底发布的一份建议中，陶哲轩等数学家主张：AI产出的数学成果公开之后，人类理解的发展必须保持自发、由共同体主导。 这次发布距离OpenAI公开722篇AI数学手稿还不到三周，那批手稿分属372个成果族、17个研究方向，"AI批量产定理"由此成为数学界必须直面而非回避的现实。知乎机器之心
普通人接下来该盯什么
对普通读者，这次事件的现实意义不在"AI会不会取代科学家"，而在三个可观察的信号：其一，AI第一次以"独立产出前沿领域猜想级结果"的身份进入严肃科学议程，哪怕最终被推翻，这批手稿也是可检验的起点；其二，科学界正在被迫补齐新的验证基建——机器可检查的形式化、专家牵头拆解、企业出资让学界核查对自己有利的结果，这些流程会沉淀为未来AI科研的标配；其三，盯住几个具体节点：ETH审查小组的结论、物理专家小组撰写的说明文稿、以及局部光滑化证明能否经受调和分析同行的拆解。在此之前，所有"攻克"“碾压"式的标题，都应读作"待核查的声明”。
