OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代

AI 正在进入数学世界的深水区。就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心