AI 正在进入数学世界的深水区。
就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。
纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。
OpenAI 表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过 GPT-6 Astra。如果这一成果最终得到数学界认可，它意味着 AI 已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。
AI学术思考 AI学术前沿 AI数学验证