近日，人工智能领域传来一则重磅消息：OpenAI宣布其未公开的内部模型成功攻克了纳维-斯托克斯存在性与光滑性这一千禧年难题。这一突破性成果由约1万个并发AI智能体协作完成，整个计算过程耗时约88小时。令人意外的是，OpenAI明确表示不会为该成果申领克雷数学研究所设立的100万美元奖金。
据OpenAI官方披露，此次参与计算的内部模型性能显著优于GPT-6 Astra。研究团队通过构建智能体系统，模拟了一个初始光滑、静止的三维不可压缩流体在有限时间内产生奇点的过程。当奇点出现时，流速会无限增长，但动能始终保持有限。这一发现为理解流体运动的核心规律提供了全新视角。
从技术细节来看，智能体系统于9月1日启动运行，首批智能体在9月5日经过约88小时的持续计算后得出初步结论。随后，GPT-6 Astra耗时约17小时完成Lean形式化验证。整个过程中，智能体共交换约490万条消息，消耗约3000亿输出token，其中约270万条消息（约1300亿token）专门用于纳维-斯托克斯问题的研究。OpenAI形象地描述，证明构造的解呈现为一个螺旋向内、不断拉长的涡旋，类似意大利面的形态，中心区域收缩加速但能量有限。
该研究团队特别强调，奇点的产生必须完全源于流体自身的运动特性，不能通过人为引入无穷大力场来实现。这意味着在描述流体运动的加速度、压力梯度、动量传递和黏性等物理量时，需要同时达到极大值并精确抵消。这一发现对飞行器设计、天气预报和血流研究等应用领域具有潜在影响，因为纳维-斯托克斯方程正是基于牛顿第二定律描述流体运动的基础模型。
在攻克纳维-斯托克斯问题的同时，OpenAI的智能体系统还解决了欧拉方程（无黏性极限）的正则性问题。近100个智能体耗时约50小时，成功产出"欧拉正则性的否证"，随后将计算资源转向纳维-斯托克斯问题。这两个方程都是流体力学领域的核心难题，其解决路径都建立在人类数学家迭戈·科尔多瓦与路易斯·马丁内斯-索罗阿的长期研究基础之上。2023年，这两人曾证明带粗糙外力的欧拉方程版本会出现奇点，但距离千禧年难题要求的光滑外力条件仍有差距。
然而，这项突破性成果引发了学术优先权的争议。就在OpenAI官方宣布消息约12小时前，纽约大学数学家特里斯坦·巴克马斯特及其在Anthropic任职的合作者莱文特·阿尔珀格公开了相近研究成果。据巴克马斯特声明，他们使用Claude、Codex等AI模型开展研究，早在8月15日就取得关键突破，8月22日完成Lean验证。原本计划进一步完善论文后再发表，但因进展泄露给OpenAI后被迫提前公开。其研究显示，带光滑外力的不可压缩多孔介质、Boussinesq方程与三维不可压缩欧拉方程都出现了"有限时间爆破"现象。
针对优先权争议，双方给出了截然不同的叙述。OpenAI在官方博客中表示，公司于9月1日听闻"两个千禧年难题已被解决"的传言后启动项目，9月5日得出解答，9月6日完成验证。同日主动联系巴克马斯特团队，提出联合发布成果并承认对方在欧拉问题上的优先权。但巴克马斯特披露的沟通细节显示，OpenAI曾提出两种方案：要么由巴克马斯特团队先发表欧拉结果，OpenAI次日发表纳维-斯托克斯结果；要么由巴克马斯特单独撰写论文，承认纳维-斯托克斯结果由OpenAI解决。更引发争议的是，OpenAI要求将阿尔珀格从署名中移除，理由是其任职于Anthropic公司。
对于数据使用问题，巴克马斯特在声明中明确表示："我没有看过OpenAI的证明，不知道他们的模型做了什么、怎么做的，也不知道我们的数据是否被使用。我不指控任何人。"而OpenAI则回应称，研究人员与智能体"未以任何方式"看过对方的工作，虽然不能完全排除对方使用其产品产生的去标识化数据帮助改进模型的可能性，但强调双方证明存在显著差异，特别是在欧拉情形下的具体结论不同。
这场学术争议折射出AI技术发展带来的新挑战。随着人工智能开始涉足传统数学研究领域，如何建立公平的成果认定机制、保护研究者权益、促进学术合作，成为亟待解决的问题。目前，双方接触的具体细节仍存在模糊之处，各方给出的叙述版本也不尽相同。可以确定的是，这场围绕千禧年难题的争夺，不仅关乎学术荣誉，更将影响未来AI与数学研究的互动模式。
