登录
11月3日，在阿布扎比ADIPEC 2026开幕式演讲上，OpenAI CEO萨姆·奥特曼确认，那个用1万个Agent连续攻坚、合力破解千禧年难题纳维-斯托克斯（NS）方程的"下一代GPT"，很快就会发布。 他把这场9月的攻关称为"AI历史上最不可思议的时刻之一"，并在同一场演讲里抛出判断：AI现在大多数时候，已经比顶尖科学家更聪明。36氪
先划两条边界：这次"将发布"目前只有口头时间表，OpenAI尚未公布具体日期与模型名称；而"攻克NS方程"指向的是这道千禧年难题的其中一个变体，其证明至今仍处在数学界的独立验证之中，并未盖棺定论。
被攻克的，是一道带外力的NS方程
克莱数学研究所为NS方程设置的悬赏问题实际有多个版本，区别在于方程里加不加外力、要证什么性质；这次被解决的是"施加光滑外力"的那一个版本，答案是负面的——可以精心安排一种光滑的外力，让方程中的若干项互相抵消，造出一根越拉越细的涡丝，总能量保持有限，涡量却在这根细丝上冲向无穷，即有限时间爆破。 参与解读的华盛顿大学流体力学教授Steven Brunton同时给这件事定了现实边界：爆破只发生在流体已不再是流体的极小尺度上，工程上预测湍流、做反向设计的"万亿美元级难题"，今天仍然要靠超级计算机和风洞。知乎
OpenAI对这场攻关的披露版本是：9月1日起约1万个Agent在无顶层主控的协作下连续运行，前50小时几乎所有常规推导路径撞墙，一支约100个Agent的小分队先在带光滑外力的欧拉方程爆破上打开缺口，其余Agent随即转向集中推进；到第88小时拧出一根"意大利面式螺旋涡旋流"完成证明，再由内部模型花17小时完成Lean形式化验证，最终写成一篇165页、唯一作者署名"OpenAI"的论文。36氪
成本是另一组被反复引用的数字。奥特曼在10月29日的Cheeky Pint播客里透露，OpenAI在数学研究上已花了数亿美元，仅NS这一项的证明成本就在千万美元量级，而一年后用新模型重做，成本可能只有百分之一。知乎
争议账本：谁先做出来的、证明可不可读
9月8日官宣之后，围绕"抢发"数学家成果的争议就同步引爆。 纽约大学数学家Tristan Buckmaster在官宣前一晚发声明：他与Levent Alpöge八月中已在相关的欧拉方程上得到同类结果，并质疑他们的未公开进展是否经由数据使用流入了OpenAI的模型；OpenAI的口径先是不排除"去标识化数据改进了模型"，随后改口"绝不可能"；三天后，二十多位菲尔兹奖得主联名发表公开信，反对AI公司把未解数学问题当作基准测试来刷。新华网知乎
第二重质疑落在可验证性上。10月6日，OpenAI一口气放出722篇数学手稿，此前模型共尝试了约4000个问题、平均每题约3小时，放出的手稿分属372个主题；约一半附带Lean证书，有些证书证明的命题比论文声称的要弱，发布一天内就有3篇被撤回、14篇被修订。 10月26日，OpenAI又在主页同时放出三项基础科学突破：调和分析局部光滑猜想的全维度证明（顺带推平挂谷猜想与Stein限制猜想）、证伪提出近三十年的指数时间假设（ETH）、四维杨-米尔斯理论的数学存在性论证。 截至10月28日，ETH的反例仍处于人类数学家检查阶段，这一结论成立与否还不能算已确认。知乎知乎知乎
第三重质疑是"读不懂"。陶哲轩在10月中旬的Numberphile访谈里说，OpenAI的成果中有一两项包含巧妙的新想法，但很多内容难以理解、尚未被仔细检查，还出现过错误并撤回，而当时没有OpenAI的人帮助学界理解这些材料；当成果成批涌来、验证与理解跟不上，数学界有点"消化不良"。知乎
作为回应，机构层面的验证投入开始加码。10月15日，Simons基金会联合OpenAI、Anthropic承诺合计1500万美元资金及资源，支持数学家检验、理解和拓展AI成果。 OpenAI同日发布四项数学研究原则，声明不为内部模型产出的结果争夺学术署名、只将其定位为原始科研数据，并向Simons基金会捐赠500万美元资助后续独立研讨。知乎知乎
发布之后：验证从几十个人的事变成所有人的事
这两个月里真正在变的是单位成本：9月要靠万级Agent围剿四天的难题，10月的多项突破已改由模型单次提示、Pro模式平均约3小时完成，而这个模型8月下旬才诞生——这是行业观察者Andrew Curran核对技术报告后得出的判断。 奥特曼的说法是，除了那722篇证明，内部还有更多成果没放出来，OpenAI甚至专门开了一个代号"Hold My Beer"的测试频道，让模型连续攻各学科最难的开放问题。36氪知乎
对普通用户和科研工作者，“发布"的实际含义是把这枚大脑从OpenAI内部搬进每个人的对话框：任何人理论上都能把自己领域的"死结"丢给它。杰克逊实验室免疫学家Derya Unutmaz听完演讲后据此预言超级智能时代降临、癌症与阿尔茨海默病等方向将迎来发现井喷；但在知乎挂着85万热度的讨论里，另一派坚持认为这更像为估值和新品造势的"兴奋叙事”——因为数学家Moitra们的提醒还挂在桌上：数学不是事实，是为什么，答案变便宜之后，判断答案值不值得信的劳动反而更贵了。36氪
因此值得盯的信号很具体：官方是否公布发布日期与模型名，并把NS证明的完整论文和Lean代码随新品一并公开；722篇手稿中撤回、修订项是否收敛；独立复现的数学家们对ETH、局部光滑猜想、杨-米尔斯三项"10月26日成果"能否给出明确结论。奥特曼本人也在演讲尾声坦言，当AI开始接管科研与芯片工程，他面前的头号瓶颈只剩一个词：能源。 在这些节点走完之前，"AI攻克NS方程"成立的准确表述只能停在：一道带光滑外力变体的世纪难题被机器交出了证明，而这个证明连同交出它的模型，都还在等待数学界和市场的验收。36氪
