OpenAI 宣称模型证了数学猜想、翻了复杂度假设

一家 AI 公司同一天宣布在数学、计算机和物理三个领域动了教科书级的问题，可信吗？答案取决于一个词：验证。

一、发生了什么

据科技日报 10 月 27 日报道，OpenAI 在当地时间 26 日宣布三项成果。数学方面，模型给出局部光滑化猜想在全维度的证明——这个 1991 年提出的猜想描述波聚焦的行为：极端聚焦只能短暂存在，随机时刻的聚焦量远小于最坏情形；若成立，可推出所有维度的挂谷猜想。证明依托一个新的辅助偏微分方程，10 月 18 日产出，次日完成 Lean 形式化。计算复杂性方面，OpenAI 称模型给出了指数时间假设不成立的证明，也就是说判定布尔公式可满足性可能存在比学界预期更快的算法；数百篇论文曾以该假设为前提推导困难性结论。物理方面是四维量子场论存在性的严格证明，属千禧年难题的一部分。三条线都已在 GitHub 公开，并各请了权威学者团队核查。时间线也值得记一笔：三项成果都是几天内产出并完成形式化的，节奏远快于传统数学研究的发表周期，这正是外界既兴奋又存疑的原因。

二、跟你有什么关系

跟计算机科学沾边的人要留意：如果否定成立，大量「假设 X 不存在快算法」的条件结论需要重新审视，算法优化空间可能被重新打开。数学圈和科研管理者，看到的是 AI 做科研的新样本：产出很快，但验收节奏还是学界的。有意思的是发布策略本身——成果先请外部专家过目、再公开材料，和以往「先发论文再被挑错」的顺序正好反过来。普通人则该学会一条新闻素养：宣布不等于证明被承认。判断这类消息，最省事的办法是看三样东西有没有：形式化验证、公开仓库、独立专家团队。这次三样都齐了，剩下的就是等。

三、怎么判断

1. 认 Lean 形式化的分量：机器可检验的证明把「对不对」变成「核没核完」，这是这类声明里最硬的部分。
2. 等提出者团队的结论：OpenAI 请了指数时间假设的两位提出者牵头复核，他们的话比公司公告值钱。
3. 区分对象：三项成果的验证难度天差地别，别用同一种心态接受或否定。
4. 看前史再评估：这个猜想的二维情形七年前已由数学家证出，三维挂谷猜想也在去年被解决，新的声明是「全维度推广」，有扎实的前置地基，不是空穴来风。

四、三个别信的说法

AI 证完了千年难题。 公告用的是「宣称」，杨-米尔斯那一项只是关键进展的一部分，同行评审一天没完成，教科书就一天不改字。

推翻假设等于 P 等于 NP 解决了。 即便有亚指数算法，它仍可能远慢于多项式时间，这个结果本身不碰 P 与 NP 问题。

Lean 验证过就万事大吉。 形式化核的是证明本身成立，不核它有没有意义、假设强不强，价值判断仍在人这边。

五、一句话结论

AI 把猜想推进到了「待验收」状态，而科学界的验收队列，从来都是最慢也最可靠的一环。

信息来源

• 科技日报：OpenAI 宣布三项科学进展（2026-10-27）

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