近日，人工智能领域传来一则重磅消息：OpenAI宣布其内部未公开模型成功攻克了纳维-斯托克斯存在性与光滑性这一困扰数学界近百年的难题。这一成果由约1万个并发AI智能体协作完成，耗时约88小时。令人意外的是，OpenAI明确表示不会申领克雷数学研究所为此问题设立的100万美元奖金。
纳维-斯托克斯方程是描述流体运动的核心方程，自19世纪由纳维与斯托克斯提出以来，其解的光滑性问题始终未解。2000年，克雷数学研究所将该问题列为七个千禧年难题之一，悬赏百万美元寻求解答。此前，让·勒雷在1934年证明了广义意义下的解存在，但流体运动是否始终光滑仍是核心争议点。
OpenAI的证明显示，一个初始光滑、静止的三维不可压缩流体，在有限时间内会产生奇点。此时流速无限增长，但动能保持有限。证明构造的解呈现为螺旋向内、不断拉长的涡旋结构，中心区域收缩加速，能量始终有限。这一发现对飞行器设计、天气预报和血流研究等领域具有潜在影响。
据OpenAI官方博客披露，此次计算成本高达数百万美元。系统启动于9月1日，9月5日首批智能体运行约88小时后得出解答。随后，GPT-6 Astra耗时约17小时完成Lean形式化验证。整个过程中，智能体共发送约490万条消息，消耗约3000亿输出token，其中约270万条消息（1300亿token）用于纳维-斯托克斯问题研究。
OpenAI还透露，同一系统此前已解决欧拉方程的正则性问题。近100个智能体耗时约50小时，产出"欧拉正则性的否证"，随后资源转向纳维-斯托克斯问题。这一成果建立在人类数学家迭戈·科尔多瓦与路易斯·马丁内斯-索罗阿的多年研究基础上，后者在2023年证明了带粗糙外力的欧拉方程版本会出现奇点。
然而，这一突破性成果陷入优先权争议。在OpenAI官宣前约12小时，纽约大学数学家特里斯坦·巴克马斯特与Anthropic任职的合作者莱文特·阿尔珀格公开了相近成果。两人使用Claude、Codex等AI模型，于8月15日取得关键结果，8月22日完成验证。他们原计划打磨论文后再发表，但得知进展泄露后决定提前公开。
巴克马斯特在声明中透露，9月3日他曾致信OpenAI数学家，提及传言称Anthropic解决了重大开放问题，且自己的进展已传至OpenAI。对方当日回复称，若提供细节"有助于避免竞争"，并表示可提供算力支持。9月6日，OpenAI主动联系并提出两种方案：一是巴克马斯特先发欧拉结果，OpenAI次日发纳维-斯托克斯结果；二是巴克马斯特单独写论文，承认纳维-斯托克斯结果由OpenAI解决。
据巴克马斯特描述，OpenAI在电话中坚持移除阿尔珀格的署名，理由是其任职于Anthropic。当巴克马斯特拒绝方案后，OpenAI方面回应称"你为什么要毁掉自己的职业生涯"和"如果你不想让我客气，那我也不必客气"。巴克马斯特强调，他未看过OpenAI的证明，也不指控任何不当行为，但表示若对方按提议方式发布，他将公开此事。
OpenAI在官方博客中给出不同说法，称研究人员与智能体"未以任何方式"看过对方工作，同时承认"不能排除他们使用我们产品产生的去标识化数据帮助改进模型的可能性"。公司强调双方证明差异显著，欧拉情形下的具体结论不同。目前，双方接触细节仍存在分歧，各方叙述尚未统一。
这场争议凸显了AI在数学研究中的伦理与规范问题。巴克马斯特在声明中特别指出，他认为马丁内斯-索罗阿的工作值得菲尔兹奖，肯定了人类数学家在基础研究中的核心地位。随着AI在科研领域的参与度不断提升，如何建立合理的合作与竞争机制，将成为学术界需要面对的重要课题。
