OpenAI宣布AI攻克纳维-斯托克斯方程千禧年难题

发生了什么

据爱范儿报道，OpenAI宣布其内部AI系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的解答，并公开了相关论文及Lean形式化证明。该方程是千禧年大奖难题之一，也是现代流体力学核心理论基础。清华姚班陈立杰对此表示“不可思议”。