OpenAI攻克90年数学难题Navier-Stokes

驱动中国9月9日消息，据外媒The Verge报道，OpenAI近日宣布，其内部AI模型成功找到了Navier-Stokes问题的一个解。这一数学难题关乎液体与气体的流动规律，已困扰学界约90年之久，属于著名的“千禧年大奖难题”之一，每个难题的解决者都可获得100万美元奖金。

OpenAI在周二发布的一篇博客文章中披露了这一进展。文章称，团队使用了一个比刚发布的GPT-6 Astra更强大的内部AI模型，并调动了多达一万个并发智能体（agents）协同工作，最终在Navier-Stokes问题上取得了突破性成果。该问题由法国数学家纳维和英国物理学家斯托克斯在19世纪提出，用于描述粘性流体的运动规律，是流体力学乃至整个物理学领域最核心也最棘手的方程之一。

据OpenAI介绍，这一内部AI模型于8月28日开始训练，并在训练过程中“展现出前所未有的能力”。虽然OpenAI并未透露该模型的具体参数与训练细节，但外界普遍认为，这标志着AI在基础科学研究领域的参与度正从辅助工具向主导力量转变。过去几年，AI已在蛋白质折叠、材料发现、数学猜想验证等领域屡建奇功，但直接攻克一个悬而未决数十年的千禧年难题，仍属罕见。

Navier-Stokes方程的存在性与光滑性问题，是克雷数学研究所于2000年公布的七个千禧年难题之一。该问题要求证明或否定三维空间中Navier-Stokes方程解的存在性与光滑性，其难度极高，至今无人能给出严格数学意义上的完整答案。若OpenAI的成果能通过同行评审并被学界正式认可，不仅意味着100万美元奖金的归属，更可能为流体力学、航空航天、气象预测、海洋工程等众多应用领域带来深远影响。

值得注意的是，OpenAI此次并未将成果与具体产品挂钩，而是强调其内部研究属性。分析人士指出，这或许与OpenAI近期在商业化与基础研究之间的平衡策略有关。一方面，GPT-6 Astra的发布标志着其在消费级AI产品上的持续发力；另一方面，通过展示内部模型在顶级科学难题上的能力，OpenAI也在向学界和公众传递其技术储备的深度。

不过，学界对此反应审慎。多位数学家表示，AI给出的“解”是否满足严格的数学证明标准，尚需时间验证。历史上，AI在数学领域曾多次给出看似合理但最终被证伪的结论。OpenAI也承认，目前的结果尚处于初步阶段，后续将邀请独立专家进行验证。若验证通过，这将是AI在纯数学领域取得的最具标志性的成就之一。

从行业视角看，这一事件再次将AI的边界推向新的高度。当AI不仅能写代码、做设计，还能挑战人类百年未解的数学难题时，其作为“科学发现引擎”的潜力正被重新评估。对于中国科技界而言，这一进展也提示着基础研究与AI融合的紧迫性——如何在算力、算法与数学理论之间建立更高效的协作机制，或将成为下一阶段全球科技竞争的关键议题。