难评！OpenAI刚官宣的NS方程大突破，被数学家手撕了…
闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。 刚被数学家指控抢成果，OpenAI紧急官宣： 一个尚未发布、能力显著超过GPT-6 Astra的内部模型，已经解决了 纳维–斯托克斯存在性与光滑性问题 这是悬赏100万美元的七大千禧年难题之一，之前只有庞加莱猜想成功下榜。 现在，OpenAI宣布第二道也被拿下了。 陈立杰表示今年年初加入OpenAI时他还预测AI在2028年能解决千禧年难题，没想到进度条直接被AI拽飞了—— 5月破一个，9月破了第二个。 而且吧，OpenAI话里话外还剧透了下一代模型： 真正完成证明的不是GPT-6，是OpenAI一个仍在训练中的内部模型，能力比刚发布没几天的Astra还要更更更强。 Astra这次只能排在后面，负责检查作业。（doge） 为了做出这道题，OpenAI直接摇来约 1万个Agent ，并行工作88小时，发出270万条消息，消耗了约1300亿输出Token。 Agent写完证明之后，GPT-6 Astra又跑了17小时，将整份证明形式化成Lean版本，逐步检查里面有没有漏洞。 《科学美国人》上来就是一句： 这可能是数学界至少20年来最重要的一天。 话都说到这个份上了，AI数学属于是直接一脚踹开历史大门了！ 然而还没等数学圈把掌声送出去，事情就开始变得不太对劲…… 传闻OpenAI之所以突然出手，是因为听说外面有人快做出来了。 而那个被抢先的团队，此前一直在使用OpenAI Codex，尚未公开的草稿、证明和中间推导都放在里面。 紧接着，OpenAI还被指控想把其中一名Anthropic研究员从作者名单里拿掉。 不er，咱们刚才讨论的，真的是数学证明对吧？？？ 1万个Agent，88小时拿下一道千禧年难题 先说说OpenAI到底证明了什么。 纳维–斯托克斯方程描述的是流体如何运动。 浴缸排水口的旋涡、飞机周围的气流、血液在血管中的流动，乃至天气系统的变化，背后都能看到它。 但数学家近百年来始终无法证明： 一个最开始平滑、正常的三维流体，在方程描述下，会不会永远保持平滑？ 还是说，它可能在有限时间内突然出现“奇点”，让速度等数值冲向无穷大？ 后者在数学里通常被称为 有限时间爆破 现实中的流体当然不可能跑出无限速度。如果这种奇点真的能够出现，就意味着在某些极端情况下，纳维–斯托克斯方程就无法继续作为连续介质模型描述流体。 这个问题从1934年一直悬到今天。2000年，克雷数学研究所将其列入七大千禧年难题，谁能证明它永远平滑，或者找出一个会爆破的反例，谁就能拿走100万美元。 而OpenAI这次给出的答案是： 真的会爆 其构造了一种最初处于静止状态的平滑流体，并对它施加平滑外力。 流体内部的旋涡不断向中心收缩、拉长，像一把越拧越细的意大利面；与此同时，旋转速度持续增大，最终在有限时间内冲向无穷大。 而在整个过程中，流体的总能量依旧保持有限。 OpenAI表示，这份证明完成了克雷研究所官方题目中的C和D两种情况，纳维–斯托克斯千禧年难题就此解决。 不过，这个找答案的过程就比较有看头了。 9月1日，OpenAI听到传闻，说可能有人解决了千禧年难题。 恰好公司正在训练一个新的内部模型，在数学测试中表现出“前所未有”的能力，于是干脆把尚未解决的千禧年难题全部扔给它试了一遍。 不同Agent群组分别负责不同版本的问题，可以读取缓存的互联网资料、运行代码，并在组内交换发现。 最初，近100个Agent花费约50小时，先解决了一个相对简单的无外力欧拉方程爆破问题。 OpenAI一看这条路线有戏，立即把其他题目的Agent全部调了过来。 Agent们一边尝试不同方法，一边由Codex汇总各组的有效线索，再把中间成果重新分发，参与规模随后膨胀到约1万个Agent。 88小时之后，证明出现了。 全程总计产生490万条Agent消息和约 *3000亿 输出Token，其中纳维–斯托克斯一题就吃掉了1300亿Token。 OpenAI还透露，这次实验花费了数百万美元。 百万美元的题，用数百万美元的算力解出来…… 好消息是题做出来了，坏消息是奖金好像连电费都报不了（doge）。 当然，OpenAI也明确表示不准备领取这100万美元。 但故事到这里，另外两名研究人员坐不住了。 OpenAI到底从哪里学会了这条路线？ 纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge，过去一年一直在研究流体方程爆破。 他们走的，正是后来被OpenAI用于攻克纳维–斯托克斯的方向： 通过足够平滑的外力，构造有限时间爆破。 这条路线最早来自数学家Diego Córdoba和Luis Martínez-Zoroa。 两人已经沿着这
