OpenAI 说三项科学突破，几项能验

一份公告里有三样东西，硬度完全不同：一项能拿程序跑一遍，一项要等专家读完，一项连模型产出都还没放出来。混在一起说「三项突破」，最容易漏掉的就是这个差别。

一、发生了什么

IT 之家 10 月 27 日转述 OpenAI 在 10 月 26 日发布的公告，三项成果分别落在数学、计算机科学和物理。

数学这项的关键词是局部光滑猜想。它 1991 年由数学家索格提出，描述波在聚焦时的行为：极端聚焦只能维持极短时间，随机取一个时刻，看到的聚焦程度远低于最坏情况。这个猜想能推出挂谷猜想和斯坦因限制猜想。2019 年有人在二维情形证出它，2025 年三维挂谷猜想被证出。OpenAI 说模型给出了所有维度下的证明，关键是构造出一个新的辅助偏微分方程。时间线写得具体：10 月 18 日拿到证明，19 日完成 Lean 形式化。

计算机科学那项更刺激：模型证明指数时间假设不成立。这个假设长期被当作前提，数百篇论文靠它推导图论、计算生物学、数据库这些领域的难度结论。证明同样过了 Lean：10 月 16 日生成，17 日完成形式化。OpenAI 请三位专家牵头验证，其中两位是提出该假设的作者；并答应公开全部原始数据、出资办一场学术会议。

物理那项最难一句话说清。它证明四维空间里某些含规范场与费米子的相互作用量子场论确实存在，包括量子色动力学和标准模型的一种统一完备化，方法沿用构造性量子场论里的一套既有框架；顺带证出纯杨-米尔斯理论的存在性，这属于克雷数学研究所那道千禧年难题的一部分。牵头的是诺贝尔物理学奖得主大卫·格罗斯。

三项用了三种公开方式：数学直接放出模型输出，计算机科学一边放出材料一边组外部团队解释，物理则由外部团队决定先不公开、自己动手写。同一批结果、三套披露策略，硬度差别就在这里。

二、跟你有什么关系

数学研究者。 这批材料能直接进你的工作流，自然语言证明和 Lean 版本都在仓库里。先看定义，再看证明，顺序别反。

做算法和复杂性的人。 如果那个假设真不成立，一大批「在某假设下没有更快算法」的结论都要重算。但重算不等于立刻有快算法，从「存在」到「写出」隔着很长一段。

做量子场论的人。 这项最需要耐心。构造性框架本身分流派，接受哪套框架等于接受哪套标准，而这批材料你暂时还看不到。

三、怎么判断

1. 先问「验到哪一层」。 形式化只覆盖推导，专家复核覆盖思路，学界共识要时间。三者不能互相替代，写稿时也别混成一句。
2. 打开 Lean 仓库看三处。 有没有留未完成的口子、有没有引入额外公理、形式化的命题与文献里的猜想是否一致。第三条最容易被忽略，也最致命。
3. 对「推翻」类结论看后续。 真被推翻，接下来该出现两类工作：简化证明，和把证明转成算法。半年内一样都没有，就值得打问号。

四、三个别信的说法

「Lean 验过就等于定理成立。」 形式化保证的是「从公理到这个命题」的推导没错。命题本身是不是那个猜想、定义有没有偷换、公理有没有多加，仍然要人来核。

「千禧年难题被解决了。」 公告说的是其中一道难题的一个子问题——纯杨-米尔斯理论的存在性，且还在专家审查阶段。写成「解决千禧年难题」，是把范围放大了一圈。

「三项都是模型独立完成的。」 公告写的是与学术机构建立合作机制，物理组甚至选择暂不公开 AI 产出。公开材料也不等于同行评议通过。

五、一句话结论

能跑程序验的交给程序，不能的交给时间和同行；公告是开始，不是结论。

信息来源

• IT 之家对三项成果的转述与时间线，2026 年 10 月 27 日
• OpenAI 官方公告：与学术界共建科学理解，OpenAI，2026 年 10 月 26 日

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