OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代
AI 正在进入数学世界的深水区。 就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。 纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。 OpenAI 表示，这份证明由一个内部多智能体
事件进展（1 篇报道）
-
2026-09-09 10:14