OpenAI攻克千禧年难题，AI证明流体方程

AI 正在进入数学世界的深水区。OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯方程存在性与光滑性问题的一个解答，并公开了论文及 Lean 形式化证明。该方程是千禧年大奖难题之一，也是现代流体力学核心理论基础。OpenAI 表示，证明由内部多智能体系统完成，模型能力显著超过 GPT-6 Astra。若成果获数学界认可，意味着 AI 已开始参与解决顶尖数学家长期研究的问题。

纳维尔斯托克斯方程描述流体运动，核心未解问题是：三维不可压缩流体在初始光滑状态下，是否可能在有限时间内产生奇点（速度无限增长）。该问题自 19 世纪提出后困扰数学界，2000 年被克雷数学研究所列入千禧年难题，悬赏 100 万美元。

OpenAI 称，其系统证明：初始光滑且静止的流体，在光滑外力作用下，可在有限时间内形成奇点。团队构造特殊涡旋结构，使多个数学项同时增长并保持平衡，实现无需无限外力介入的奇点形成。研究部署了约 1 万个 Agent 的协作系统，从 9 月 1 日开始探索。此前，约 100 个 Agent 工作 50 小时解决了相关欧拉方程正则性问题。最终，AI Agent 于 9 月 5 日得到解答，耗时约 88 小时，随后用 17 小时完成 Lean 验证。整个过程发送约 490 万条消息，消耗约 3000 亿输出 Token。

OpenAI 研究员陈立杰回应称，自己曾预测 AI 可能在 2027 年发表数学顶级论文，2028 年前后解决千禧年难题，但现实发展速度超预期。

成果公布后，出现研究优先权争议。纽约大学专家 Tristan Buckmaster 声明，其与 Anthropic 研究员 Levent Alpöge 合作，已于 8 月 15 日取得相关突破，包括带外力条件下的多个方程有限时间爆破解答，并准备发布论文。Buckmaster 称，沟通中 OpenAI 最初对研究过程描述不完整，并质疑 OpenAI 是否可能接触到其研究资料。OpenAI 否认使用用户数据，研究员 Noam Brown 对抄袭指控表示遗憾。Anthropic 员工也认为 OpenAI 获取并利用用户数据影响结果的可能性极低。

伴随 AI 参与基础科研，论文署名、贡献计算、AI 证明是否算真正发现等问题，传统学术体系尚无现成答案。数学界正经历类似计算机进入科研时的转折，但这一次，变化来自能参与思考的机器。