当地时间10月26日，OpenAI宣布其内部模型证明了所有维度下的局部光滑猜想，并宣称由此得到挂谷猜想与傅里叶限制猜想的相应结论。这是同场公布的三项成果之一，另外两项分别证伪了理论计算机科学中的指数时间假设（ETH），并为包括量子色动力学在内的四维量子场论建立了严格的数学存在性证明。 三项成果分别涉及调和分析、复杂性理论和量子场论，其中还包含克雷数学研究所千禧年大奖难题的关键进展。 在OpenAI的表述里，这次展示的是AI独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。 真正让学界震动的原因不在这道猜想本身，而在它的位置和它被攻克的方式。机器之心界面新闻新浪科技
局部光滑猜想：最极端的聚焦必然是短暂的
局部光滑猜想可以通俗地理解为：波最极端的聚焦必然是短暂的。 从整个球壳朝中心会聚的波，可以在某一个瞬间把能量叠出惊人的尖峰，但猜想要求把时间平均后的集中程度用精确的不等式控制住。这道猜想本身位于一组经典问题的上游，证明它可以进一步推出Bochner–Riesz猜想、傅里叶限制猜想以及挂谷猜想的相应结论，所以媒体称OpenAI这次是「推平调和分析四大猜想」。机器之心知乎
波和这些看似无关的难题为什么是一根绳上的？因为它们的底层是同一件事：不同方向的波重新叠加时，可能相互抵消也可能相互增强，叠加后能集中到多强，由频率、方向和空间位置之间的几何关系决定。 波的集中对应着一根根细长管的集中，挂谷猜想正是这些管子的几何版本：包含每个方向一条单位线段的集合，其分形维数是否必然拉满？限制猜想问曲面波叠加的集中上限，Bochner–Riesz猜想则关心频率截断后的重建能否保持稳定。四道题各执一词，其实是同一现象的四种问法。知乎
二维证明2019年才完成，四维宣称20天前才露面
人类在这条链上走得很慢，这正是本次结果被放在放大镜下的原因。二维空间的局部光滑是2019年才由Larry Guth、王虹、张瑞祥完成的，论文两年后登上Annals of Mathematics。 几何一侧同样刚起步，三维挂谷集合猜想的证明2025年2月才由王虹与Joshua Zahl以预印本形式公布。 而四维挂谷的宣称证明，才在不到三周前随OpenAI那批722篇数学手稿首次露面；这一次，公告直接跳到了「所有维度」，两次发布之间只隔了20天。知乎知乎机器之心
新方法可能比定理本身更值钱
这次证明最值得关注的可能是方法。按照论文的证明概述，作者从波的叠加构造守恒流，再引入涉及四元数Hessian行列式的辅助边值问题，把波的集中编码为一个可比较的能量，经能量修正和分部积分归约为一个较易控制的标量微分不等式。 若这条路线经受住检验，「用辅助方程控制干涉」就可能成为处理振荡积分与波传播问题的新工具，价值未必小于定理本身。知乎
轰动与成立之间，还隔着三道边界
但轰动与成立之间还隔着三道边界。第一，三项成果都还没有经过同行评审；上一批集中公开的手稿中，已有三份因证明里的符号错误被撤回。 第二，公告里的「所有维度」指平直欧氏空间中的自由波动方程，弯曲流形、变系数传播以及各种端点条件下的推广问题仍是开放问题，维度、曲率、指数都是定理内容的一部分，省略它们可能把正确结论扩大成未经证明的主张。 第三，Lean形式化能保证机器检查的是形式语言中精确写出的命题，但形式化陈述是否忠实表达了原猜想，仍然要由人来确认。机器之心知乎
同场公布的另两项：ETH被证伪，杨–米尔斯只解决了半边
另外两项成果同样带着自己的边界。ETH由Russell Impagliazzo、Ramamohan Paturi和Francis Zane在1990年代末提出，数百篇论文以它为前提推导计算下界；OpenAI邀请前两位原作者与MIT的Ryan Williams一起组织开放、独立的审查——提出假设的人，要亲自检查AI给出的反证。机器之心
物理部分只宣布解决了杨–米尔斯理论的存在性，并未宣布解决同样属于千禧年难题另一半的「质量间隙」。 相关工作沿数学家Tadeusz Balaban的路线展开，由2004年诺贝尔物理学奖得主David Gross牵头专家组先行整理，暂时不公开AI生成的原始证明。机器之心
三项成果，三套安排：数学直接公开交给社区自行复核，计算机科学与原作者牵头的审查组并行，物理先交给专家组整理再决定发布方式。OpenAI把这些AI产物称作原始研究数据——从产出证明到形成科学理解，中间隔着人类的研究工作；它还承诺向Simons基金会的相关计划投入500万美元，支持研讨会、学术会议和研究项目。 接下来值得盯住的节点很清楚：审查组是否确认形式化命题忠实于原猜想、证明能否被简化推广、以及围绕这批「AI初稿」的复核规则会不会先于结论本身成形。机器之心界面新闻
