AI 攻克数学百年难题？OpenAI 宣称 88 小时破解“纳维-斯托克斯方程”
2000 年，克雷数学研究所公布了七个“千禧年大奖难题”，每个难题悬赏 100 万美元。在此之前，仅有“庞加莱猜想”一个难题被人类数学家攻克。
2026年9月8日，美国人工智能巨头 OpenAI 宣布，他们通过 AI 智能体（Agents）攻克了第二个难题——纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题。
什么是纳维-斯托克斯方程难题？
纳维-斯托克斯方程（N-S 方程）是用于描述空气、水、石油等流体运动的基本方程，在飞机机翼设计、管道输油以及恒星等离子体模拟中应用极其广泛 [1]。
虽然人类在应用该方程上得心应手，但在数学理论上，我们仍不完全理解它的性质。
- 千禧年难题的核心在于： 在三维空间中描述固定密度的流体时，N-S 方程是否会在有限时间内“失效”？
- 所谓“失效”： 是指流体在某一点的运动速度等物理量变为无穷大，即产生奇点（Singularity），导致方程崩溃 [1]。
- 过去一个多世纪，数学家们既无法证明这种奇点绝不存在，也无法找到一个具体存在的奇点。
而 OpenAI 宣称，他们的 AI 找到了这个奇点：一个旋转速度无限增长、最终形成奇点的流体旋涡。
疯狂的 88 小时与 650 万美元
OpenAI 是如何用 AI 暴力破解这一数学巅峰的？其幕后流程堪称一场高能的“智能体人海战术”：
- 8月28日： 科学家开始训练一个新模型，并基于该模型生成了大量具备阅读网络、运行代码和彼此协同通信能力的 AI 智能体 [1]。
- 9月1日： 这一批 AI 智能体被指派去攻克千禧年难题 [1]。
- 50小时后： 一个由约 100 个智能体组成的团队解决了与 N-S 方程密切相关的一个过渡性问题 [1]。
- 战术调整： 科学家见状，立即将“智能体大军”的规模扩大并集中攻关。
- 9月5日（历时88小时）： 约 10,000 个 AI 智能体，在发送了 270 万条协同消息、消耗了至少 650 万美元的算力资源后，终于拼凑出了完整解答 [1]。
幕后的学术恩怨与“数据剽窃”争议
尽管宣称攻克了难题，OpenAI 却面临着极具争议的学术纠纷：
- 截胡竞争对手： 纽约大学数学家 Tristan Buckmaster 与 AI 公司 Anthropic 的 Levent Alpöge 此前已在利用 AI 合作研究该难题。OpenAI 听到风声后曾试图与 Buckmaster 谈判，但最终破裂。
- 仓促发布： 在 OpenAI 正式发布声明前几小时，两位人类数学家抢先在网上公布了他们接近完成的半成品研究。相较之下，OpenAI 的声明中极度缺乏传统数学论文中应有的推导细节。
- 数据“洗脑”质疑： Buckmaster 质疑，他们在研究过程中使用了 OpenAI 的工具，这些未公开的中间成果可能已被 OpenAI 默默收集，并喂给了其新模型的训练数据集。对此，OpenAI 表示“无法排除这种可能性” [1]。
科学界的深思
为了平息部分争议，OpenAI 已明确表示不会去申请那 100 万美元的奖金 [1]。但这次突破引发了更深层次的科技与伦理讨论：
- 信誉归谁？ 如果 AI 跨过了证明的最后一步，荣誉应该属于写代码的程序员，还是属于前仆后继奠定基础的人类数学家？
- 启发性丧失？ 人类解题过程往往伴随着新工具、新理论体系的诞生（从而开辟新的数学分支），而 AI 通过暴力算力直接得出的答案，是否还能带给人类同样的数学启示？