2026年9月8日，OpenAI正式官宣重大数学突破，依托自研前沿AI系统，成功破解克雷数学研究所七大千禧年大奖难题之一——纳维–斯托克斯方程存在性与光滑性问题，成为继庞加莱猜想之后，又一道被攻克的顶级数学难题，也是全球首个由人工智能完整证明并通过形式化验证的千禧年难题。纳维–斯托克斯方程是刻画水、空气等一切粘性流体运动的核心基础方程，广泛支撑气象预报、航空航天、流体仿真等诸多领域。该千禧年难题的核心争议，始终围绕光滑流体的演化规律：若流体初始状态光滑、整体动能有限，其运动速度是否会在有限时间内趋于无穷，产生数学意义上的“奇点”，这一问题困扰数学界近百年，始终没有定论。此次OpenAI的核心证明结论彻底解答了这一核心疑问：初始状态光滑的静止流体，在光滑外力作用下，可在有限时间内产生速度爆破奇点，且整个演化过程中流体总动能始终保持有限。为确保结论严谨可靠，团队不仅发布了165页完整学术论文，还同步公开了Lean形式化验证代码，通过严格的机器逻辑核验，杜绝人工证明可能存在的疏漏，实现了结论可复现、可验证。本次突破性证明依托大规模AI协同算力体系完成，全程由约1万个并行智能体联动协作，耗时仅88小时，累计交互处理270万条消息，模型最终输出token总量达1300亿，展现出AI在复杂高阶数学推理、长链条逻辑证明领域的超强能力。值得一提的是，OpenAI官方明确表态，无意申领该难题对应的百万美元千禧年奖项，聚焦技术突破本身而非荣誉奖励。本次成果发布背后，还发生了一场颇具戏剧性的学术乌龙事件。研究初期，OpenAI团队获悉Anthropic研究员Levent Alpöge与纽约大学教授Tristan Buckmaster正在攻关同类流体方程难题，一度判定双方研究方向高度重合，因此主动提出联合发布成果的方案，力求共享学术突破成果。经后续深入沟通核实，双方研究核心存在本质区别：OpenAI攻克的是正统纳维–斯托克斯方程存在性与光滑性难题，而两位学者的研究成果聚焦于受迫欧拉方程，属于不同的流体数学模型。厘清差异后，OpenAI主动承认对方在相关流体方程研究领域的学术优先权。

一万个并行智能体。。。。