OpenAI宣布攻克千禧年大奖难题：纳维-斯托克斯方程新解

据徽声在线最新消息，美国开放人工智能研究中心（OpenAI）于当地时间9月8日对外公布，其已成功攻克了数学领域著名的千禧年大奖难题之一——纳维-斯托克斯方程的存在性与光滑性问题。

这一难题的核心在于探究光滑的三维流体运动是否会在特定条件下发生“破裂”，该问题自提出以来，已经困扰了数学界和物理学界长达约90年的时间。

OpenAI方面透露，此次的证明成果是由其内部研发的先进模型所生成。该模型在性能上远超GPT‑6 Astra，不仅能够生成详尽的解析证明，还通过了Lean形式化验证，从而有力地证明了描述流体运动的纳维-斯托克斯方程在动力学演化过程中，确实有可能在有限的时间内形成奇点。这一解呈现为一个涡旋形态，即流体在旋转过程中形成的漩涡，它会向内不断盘旋并逐渐被拉长，形态酷似意大利面。

值得注意的是，尽管OpenAI取得了这一重大突破，但他们明确表示并不打算为这一成果申领千禧年大奖。

OpenAI利用内部模型成功破解千禧年大奖难题，引发科学界广泛关注