OpenAI神秘模型疑攻克N-S方程千禧年难题
nashnova research
数学家巴克马斯特披露，OpenAI一款内部模型已完成纳维–斯托克斯方程在外力驱动下的百页爆破证明——若成立，这可能是AI首次独立触及百万美元千禧年大奖难题的核心。
这道题为什么值一百万美元？
纳维–斯托克斯方程（N-S方程，描述水流、气流等一切流体运动的核心方程组）是克雷数学研究所悬赏的七大千禧年难题之一，破解者可获100万美元奖金。
核心悬案只有一个问题：方程的解会不会在某一刻突然"爆掉"？用大白话说＝流体运动的数学描述，会不会在某个瞬间变成无穷大、彻底失控？
数学家把这种失控叫做"爆破"（出现奇点）。证明它会爆破或永远不会，都算破解——悬了二十多年，没人做到。
OpenAI的百页证明到底证了什么？
纽约大学数学家巴克马斯特披露：OpenAI内部一款神秘模型独立生成了一份长达100页的数学手稿，完成了N-S方程在"外力驱动"情形下的有限时间爆破证明。
这意味着→ 模型并非解决了N-S方程的全部，而是在一个特定条件下证明了"解确实会爆掉"。
关键细节：克雷官方题目允许构造光滑外力来证明解不存在。因此，如果这份证明满足全部条件，它在原则上可以解决正式的百万美元大奖题目。该模型据称极有可能是OpenAI下一代产品"Bel"。
同一天还有三道流体方程被突破？
巴克马斯特与Anthropic员工阿尔珀格宣布，在大语言模型辅助下完成了三类流体方程的有限时间爆破结果——不可压缩多孔介质方程、Boussinesq方程、三维不可压缩欧拉方程。
论文及Lean形式化代码（一种让计算机逐行检验数学证明的工具）已全部公开。研究过程中使用了Claude、Codex及GPT-5.6 Sol等模型辅助推进。
菲尔兹奖得主陶哲轩评价为"卓越的成就"，但明确指出：欧拉方程的突破不能直接宣布N-S方程告破——N-S方程多出的黏性项会抹平高频结构，延伸机制仍面临大量技术困难。
陶哲轩怎么解读这个证明思路？
陶哲轩解读核心思路：在已有流动上反复叠加高频扰动，让大尺度流动不断放大细小结构。
用大白话说＝想象一条河流，你往里不断扔进越来越细的漩涡；大河流把小漩涡越搅越大，小漩涡对大河流的反作用又被严格控住——最终整个系统在有限时间内失控。
这反映出一种"逐级放大"的数学构造策略，而AI的角色是在这个极其繁复的构造过程中辅助推进和验证。
署名争议和数据来源质疑是怎么回事？
巴克马斯特披露：9月3日全网传出"Anthropic Claude解决N-S难题"的消息，同日他与阿尔珀格的研究进展传至OpenAI内部。他随即联系OpenAI知名数学家，强调该研究与任何机构无关。
9月6日OpenAI的比贝克加入沟通，巴克马斯特在电话中首次得知百页证明的存在。他当场追问：OpenAI是否使用了他此前放入Codex的项目草稿或会话数据来训练模型？对方称模型未查找用户数据，但追问训练问题时未获回复。
在发表方式谈判中，OpenAI两次要求移除阿尔珀格署名，理由是其为Anthropic员工。巴克马斯特拒绝，双方陷入僵局。
这件事的真正悬念在哪里？
巴克马斯特表示尚未拿到那份百页手稿，OpenAI的完整证明尚待公开。这意味着→ 数学界目前无法验证这份证明是否成立。
即使证明公开，两个问题仍将决定其历史意义：证明本身能否经受严格同行检验，以及AI在其中的独立贡献边界如何界定。
这反映出AI介入前沿数学带来的全新张力——当模型可能接触过研究者的数据、产出又与人类团队高度重叠时，"谁先做出来的"这个问题变得前所未有地复杂。
市场有风险，内容仅供研究参考，不构成投资建议。