王虹解出三维之后，AI 把挂谷猜想推到全维度

2025 年初，中国数学家王虹因为证明三维挂谷猜想震动数学界。一年半后，OpenAI 宣称用一个更强的命题，把这个问题推到了所有维度。

一、发生了什么

10 月，OpenAI 宣布其模型拿下三项成果，最受关注的是数学一项：证明适用于所有维度的局部平滑化猜想。这是数学家 Sogge 在 1991 年提出的命题，研究波传播中的聚焦现象；2019 年，Guth、王虹和张瑞勋证明过二维情形。

推导链条是这样的：局部平滑化猜想足够强，能推出挂谷猜想（又称卡凯亚猜想）和 Stein 限制性猜想。它在全维度成立，就意味着挂谷猜想在全维度得到解决——王虹与 Joshua Zahl 此前攻下的三维结果，成了更大版图里的一环。

按 OpenAI 披露的节奏，模型 10 月 18 日生成自然语言证明，次日就完成了 Lean 形式化，两份材料已传到公开仓库。另外两项成果也一并公布：推翻计算复杂性理论中支撑了近 30 年的指数时间假设——反证 10 月 16 日生成，次日完成形式化；以及为杨-米尔斯理论的存在性构造严格证明。前者的外部审查团队里，坐着假设的两位原始提出者，他们还要求 OpenAI 公开全部原始数据并资助学术讨论会，公司都接受了。

这不是 OpenAI 第一次批量交卷。10 月 6 日它曾公开 722 份数学手稿，随后因错误撤回 3 篇、修订 14 篇。这一轮改了策略：数学成果直接公开，物理成果暂不外发，交给以诺奖得主戴维·格罗斯领衔的五人团队研究，成员里有参与制定千禧年难题正式表述的 Arthur Jaffe。公司同时表示不寻求学术署名。

二、跟你有什么关系

数学研究者：验证成了新的主战场，谁先把形式化证明读透，谁就掌握话语权。

学生和爱好者：这是个补课的契机，把挂谷猜想的来龙去脉过一遍，比记结论有用。

其他行业的旁观者：先别急着说「数学被 AI 干完了」，学界确认还需要时间，上一轮就撤过稿。

三、怎么判断

1. 想看原始材料，去公开仓库读形式化版本，别只依赖二手报道的形容词。
2. 判断成果成色看三样：形式化是否通过、谁来审、审查有没有结论。
3. 借这个案例理解「强命题推出弱命题」的思路，这在数学里是常规操作，不是魔法。

四、三个别信的说法

「AI 抢了王虹的成果。」 不冲突。她的三维证明是实打实的突破，AI 做的是在更强的命题上扩展。数学不是零和游戏。

「宣布证明等于问题终结。」 证明要过学界验证才算数。上一批手稿撤回 3 篇的先例就在眼前，这次也不例外。

「几天解决几十年难题，人类不如机器。」 从模型输出到被理解之间隔着大量人力——原始提出者亲自参与审查就是明证。当下的瓶颈在阅卷，不在出题。

五、一句话结论

人类解出了三维，AI 想画完整张地图，而验收的还是人类。

信息来源

• 爱范儿：挂谷猜想与 OpenAI 三项突破

报道发布于 2026 年 10 月 27 日。

功能与价格以官方公告为准。本文写于 2026 年 10 月 28 日。