新智元报道
千禧年难题，已被AI攻破？！
数学界和AI圈，可能正迎来一场前所未有的超级地震。
就在刚刚，纽约大学流体力学与偏微分方程数学家Tristan Buckmaster重磅发文——
OpenAI内部的一款神秘模型，已经攻克了「纳维–斯托克斯方程」一大关键难题。
据称，这极有可能就是「下一代Bel」。
它一口气直接写出了一份长达100页的严谨数学证明！不过目前Tristan透露，自己还未拿到这份AI手稿。
如今，Tristan的4页手稿在圈内刷爆了，大家满屏都是两个字——「震惊」。
而更让全网期待的是，OpenAI未来几天交出的那100页证明。
千禧年世纪难题
OpenAI即将拿下一城
聊到流体力学，就绕不开「纳维-斯托克斯方程」（N-S方程）。它是人类描述现实流体世界的「物理圣经」。
在数学界，它同样是一座高不可攀的山峰。
2000年，美国克雷数学研究所将其列为「千禧年大奖难题之一」。
谁能彻底破解这一难题，将获得100万美元奖金，以及学术界的至高荣誉。
把它放到我们生活里去讲，N-S方程研究的，是水和空气怎样运动。
无论是一杯咖啡里翻滚的奶泡，还是飞机机翼表面划过的气流、太平洋深处咆哮的洋流，都与它有关。
这背后其决定性支配作用的，是由19世纪数学家Navier和Stokes建立的这组偏微分方程：
然而，许多年过去了，数学家们仍未能完全解决一个核心问题：
这些方程的解是否会始终保持稳定，还是可能在特定条件下「爆破」——即出现突变行为。
谁能想到，OpenAI的神秘模型就破解了。
据Tristan透露，这款模型直接生成长达百页证明手稿，完成N-S方程在「外力驱动」的爆破证明。
带外力，算不算真正解题？
值得注意的是，这次有一个限定是「外力驱动」。
可以把它想成流体运动时，外界仍在施加作用。但数学中的外力是精确定义的函数，不能随便拿一根搅拌棒的直觉代替。
有人可能会问：允许外力，岂不是把题目放宽了？
关键在于，克雷官方题目本来就允许这条路线。
Fefferman给出的正式表述中，C、D两项允许构造符合条件的光滑初始状态与光滑外力，证明不存在满足规定的全局光滑解。
所以，如果OpenAI的证明确实满足全部条件，那么带外力的结果也可能解决正式大奖题目。
三大数学突破，同一天公开
与此同时，另一批AI数学成果公开。
Tristan与Levent Alpöge宣布，在LLM帮助下，他们得到了三类流体方程在光滑外力下的有限时间爆破结果。
如今，论文和Lean形式化代码，全部上线。
他们这次公开的三个结果，分别对应不可压缩多孔介质方程、Boussinesq方程和三维不可压缩欧拉方程。
通俗地说，它们分别涉及流体穿过多孔材料、浮力与流动相互影响，以及忽略黏性的理想流体运动。
共同突破是，把已有的带外力爆破路线，推进到了「光滑外力」。
这就很关键了，因为如果外力本身就很粗糙，人们很难分清流动的失控究竟来自内部机制，还是外部输入已经埋下了问题。
把外力提升到光滑，就排除了这一层粗糙性来源。
这项研究的思路，汲取了Diego Córdoba和Luis Martínez-Zoroa多年的研究计划。
Tristan接过这条路线，在Claude、Codex，以及GPT-5.6 Sol帮助下继续推进。
就连Astra也出动了，最后做整理文稿和审查论证。
几乎第一时间，菲尔兹奖得主陶哲轩给出了高度评价，「卓越的成就」。
根据陶哲轩的解读，作者会在在已有流动上，反复添加很小、很局部的高频扰动。
这里的「高频」，指空间中变化很快的细小结构。可以把它想成大尺度流动里，叠加了一层越来越细的纹理。
巧妙之处在于：大尺度流动会放大这些细小结构，而细小结构对大尺度流动的反作用又被严格控制。
等新结构长到足够强，就在合适时机接管局部动力学，为下一轮更细的扰动创造条件。
一轮接一轮，变化向更小的尺度推进，最终构造出有限时间内失控的解。
最难的部分，是每一次交接都要算清楚：扰动放在哪里、增长多快、误差多大，能否把整个过程严丝合缝地接起来。
陶哲轩提到，在Boussinesq的模型情形中，振幅与频率的核心变化可以归结为一个相当简单的常微分方程。
但空间截断等技术细节，仍让简化后的论文长达76页。
这也解释了为什么，Euler的突破，不能直接宣布纳维–斯托克斯告破。
两者之间多出来的黏性项νΔu，会抹平细小结构。扰动的频率越高，黏性耗散通常越强。
上述方法恰恰依靠高频结构不断增强。要把它推进到纳维–斯托克斯，就得证明：在黏性持续削弱这些结构的情况下，爆破机制依然能够成立。
陶哲轩的判断是，原则上似乎没有什么阻止这条路线继续延伸，甚至不能排除最终去掉外力的可能。
但他也明确强调，落实这一计划将面临数量巨大的技术困难。
这是对研究前景的判断，距离宣布证明完成，还有关键一步。
OpenAI截胡成果，全网吵翻
更戏剧性的是，Tristan在随附声明中披露的一段经历，又把争论推向了另一个方向——
OpenAI的结果，究竟是怎么来的？
按他的说法，「带光滑外力」是一条很特殊的研究路线，由Córdoba和Martínez-Zoroa开辟。
他和Alpöge一直在非公开地推进，几乎没有其他团队沿着这条路做。
因此，当OpenAI告诉他，内部模型攻克的也是「外力驱动」情形时，他格外震惊。
事情要从9月3日说起。
那时，全网都在疯传Anthropic Claude解决了一个重大数学难题，据称就是N-S方程。
也正是那一天，Tristan和Alpöge的研究进展，传到了OpenAI内部。
Tristan随即联系了OpenAI的一位知名数学家，说明情况，并特别强调：这是他与Alpöge的个人合作，与任何机构无关。
对方当天回复，希望了解更多细节，也提出可以提供算力支持。
Tristan原本提议下周通话，但OpenAI方面希望尽快谈。到了9月6日，Sébastien Bubeck加入沟通，三人当天下午通了两次电话。
纽约大学数学家Tristan Buckmaster
也正是在电话里，他们听到了那份「百页证明」的消息。
当时，Tristan立即追问，「有没有用他们此前放进Codex的项目草稿、session等用户数据训练」？
得到的回答是，OpenAI模型没有查找用户数据；当他继续追问「训练问题」时，则没有得到回复。
奇葩要求：移除Anthropic员工署名
接下来，谈到如何发表时，Tristan和OpenAI再次陷入僵局之中。
当时，OpenAI给出了两个方案——
一种是，Tristan团队先发布Euler结果，OpenAI第二天发布「纳维–斯托克斯结果」；
另一种是，他们独自撰写论文，发布纳维–斯托克斯成果，并注明结果来自OpenAI内部模型。
其中，最让他难以接受的是署名问题。
Bubeck两次明确要求移除Alpöge的署名，正是因为Alpöge是Anthropic的员工。
Anthropic员工Levent Alpöge
所有一切，就等明天OpenAI的回应了，到时候会真相大白。
数学，可能正在迎来自己的「AlphaGo时刻」。
如果这份百页证明最终经得起检验，而研究过程也能证实AI的独立贡献，那么，AI自主推进人类知识边界，就有了一个分量极重的实例。
当年，AlphaGo下出了人类棋手意想不到的一步。如今，AI或许正在写下人类数学家尚未写出的下一行。
当然，这一刻还需要完整的证明，以及对成果来源的清楚交代。
数学的历史可以由AI参与改写，但每一步，都得算数。
参考资料：
https://cims.nyu.edu/~tristanb/statement.pdf
本文来自转载新智元 ，观点仅代表作者本人，发现AI平台仅提供信息存储空间服务。
如若转载，请联系原作者；如有侵权，请联系编辑删除。
微信扫一扫 
