【#AI正在进入数学界的深水区#】（编辑：酸奶）就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。

纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。

OpenAI 表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过 GPT-6 Astra。如果这一成果最终得到数学界认可，它意味着 AI 已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。

在纳维尔斯托克斯问题中，参与工作的 Agent 数量达到约 1 万个。

最终，AI Agent 在 9 月 5 日得到纳维尔斯托克斯问题的解答。从启动任务到获得结果，大约耗时 88 小时，随后又花费 17 小时完成 Lean 形式化验证。

整个过程中，Agent 共发送约 490 万条消息，消耗约 3000 亿输出 Token。其中，纳维尔斯托克斯问题相关任务产生约 270 万条消息，消耗约 1300 亿输出 Token。

OpenAI 研究员陈立杰也公开回应了这一事件。

陈立杰出生于 1995 年，曾获得国际信息学奥林匹克竞赛全球第一名，是清华姚班传奇毕业生，后在 MIT 获得计算机博士学位，目前担任加州大学伯克利分校 EECS 助理教授，并加入 OpenAI 负责大模型数学推理研究。

他表示，自己今年早些时候曾预测，AI 可能在 2027 年发表数学顶级论文，并在 2028 年前后解决一个千禧年大奖问题。但现实的发展速度超过预期。「这是一个非常不可思议的时代。」陈立杰写道。#OpenAI宣布攻克千禧年难题#