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