10 月 26 日，OpenAI 宣布内部模型在数学、计算机科学和物理学三个领域取得新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设 ETH，并为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。但刷屏的那句「AI 证明全维度挂谷猜想」比这句话多了一个微妙的弯：模型写出的其实是局部光滑化猜想的证明，OpenAI 的论述声称，以此为基础，所有维度下的挂谷猜想与 Stein 限制猜想被一并解决。自然语言手稿和 Lean 形式化证明都已公开，数学界却还没有签收——它眼下是一个等待同行审查的说法，不是已被承认的定理。这件事站不站得住，比某个定理本身更关系到普通人，因为它检验的是人类科学消化 AI 产出的全过程。机器之心
一根针转了 108 年，和一座菲尔兹奖
挂谷猜想从 1917 年的「针问题」出发：一根长度为 1 的针，要转遍所有方向，最少需要多大的地方？数学家随后证明这个区域可以任意小，问题于是变成更深的一层——包含所有方向单位线段的集合，面积可以压到零，维数却压不下去，必须占满它所在空间的全部维度。二维情形在 1971 年证完了，三维则又卡住了数学家半个多世纪。新智元
突破来自人类。王虹与 Joshua Zahl 先解决较有规律的「粘性」情形，再交出 127 页论文，把三维一般情形证完。 2026 年 7 月 23 日晚，35 岁的王虹在美国费城举行的国际数学家大会上接过菲尔兹奖。 颁奖前后，她也被媒体称为首个中国籍女性菲尔兹奖得主。新智元广西日报红星新闻
四维则一直是僵局——此前人类的最好成绩停在 3.059，这个下界多年没动。 转折出现在今年 10 月：10 月 6 日，OpenAI 在 GitHub 上公开首批 722 篇数学手稿，其中一篇长 175 页，目标直指四维挂谷猜想。知乎新智元
AI 换了个入口：不逐维攀爬，绕道波
这批手稿的署名只有 OpenAI 三个字，出自一个连名称都没有公开的内部模型，每个问题平均花掉的时间约为三个小时。 二十天后，OpenAI 换了打法：不再一维一维往上爬，而是去攻 1991 年由数学家 Christopher Sogge 提出的局部光滑化猜想——研究波为什么会「瞬间聚到一处、时间平均后又会摊平」，它和挂谷集合的几何结构背后牵连着同一套理论，此前只在二维平面被证出。模型找到了什么新武器？OpenAI 宣称，是一种新的辅助偏微分方程，把证明推进到了所有空间维度。知乎机器之心
时间间隔也很短：模型在 10 月 18 日得到证明，10 月 19 日就完成了 Lean 形式化，自然语言手稿和形式化证明当天公开。机器之心
同一场发布里更富戏剧性的是计算机科学部分：存在了近 30 年的指数时间假设 ETH 被模型用算法反证动摇，审查团队恰好由这项假设的原始提出者和 MIT 教授 Ryan Williams 牵头。机器之心
为什么还不能直接庆祝
这一回，OpenAI 没有为数学结果指定先行审查小组，研究者要自行组织解释和复核。机器之心
谨慎是有先例的：此前那批手稿公开后，有三份因证明中的符号错误被撤回。机器之心
更根本的门槛在形式化本身：机器检查能保证推理每一步不错，但形式化定理写的到底是不是人类猜想的那件事，仍要人来对答案。 还有一点值得记住——这不是 AI 白手起家的独闯。三维手稿大量调用王虹与 Zahl 的简化证明以及王虹与任康的平面估计，相关署名出现二十多次，它接力的是几个月前刚出炉的人类方法。机器之心知乎
那批 722 手稿里的评价同样适用于今天：眼下能确定的只有它提交了什么，不是它证明了什么。知乎
离我们的生活有多远？
先说结论：短期内，普通人的日常产品不会有任何变化。挂谷型估计连着波传播与傅里叶分析的理论底座，雷达、医学成像、通信信号处理这些技术确实从这条理论脉络里汲取养分，但一个猜想被证明的红利，要经过教材改写、方法迁移和后续估计慢慢渗透，时间尺度以年甚至十年计——王虹两年前的三维证明，同样还没带来任何可感知的日常变化。
更近的变化发生在知识生产方式上。OpenAI 给自家这些 AI 产物起了个新说法：原始研究数据。 产生证明可以由 AI 先行完成，形成科学理解却仍要靠研究者复核论证、重写解释、把新方法放回学科的知识体系里。当证明能按小时批量产出，科学界最稀缺的资源正在从「谁能证明」变成「谁敢签收」。机器之心
所以，「离我们的生活有多远」最准确的回答是：作为技术故事，它很远；作为科研方式的故事，它正在发生。接下来值得盯着的观察信号只有一个——未来一年内，数学界会不会对这份 Lean 证明给出明确结论：形式化定理与原始猜想严丝合缝，还是差了一口气。那份结论出来之前，这桩新闻的全部意义，就是「AI 说它证明了」。
