当地时间9月8日,美国开放人工智能研究中心(OpenAI)宣布解决纳维-斯托克斯存在性与光滑性问题,这是千禧年大奖难题之一。

光滑的三维流体运动是否会“破裂”,这个问题已悬而未决约90年。

OpenAI表示,这一证明由其内部模型产生,模型能力显著强于GPT‑6 Astra,并生成解析证明和Lean形式化验证,表明描述流体运动的纳维-斯托克斯方程动力学演化可在有限时间内形成奇点。该解是一个涡旋,即旋转的流体漩涡,它向内盘旋并逐渐被拉长,像意大利面一样。

OpenAI称,不打算为这一结果申领千禧年大奖。

打开网易新闻 查看精彩图片

OpenAI称使用内部模型破解千禧年大奖难题