OpenAI内部模型攻克千禧年大奖难题之纳维 - 斯托克斯难题

在当地时间9月8日这一天，美国开放人工智能研究中心（OpenAI）对外公布了一个重大消息：他们成功攻克了纳维 - 斯托克斯存在性与光滑性这一千禧年大奖难题中的关键部分。

自上世纪30年代以来，关于光滑的三维流体运动是否会出现“破裂”现象，一直是科学界苦苦探寻答案的谜题，至今已困扰了科学家们将近90年之久。

OpenAI介绍称，此次的证明成果是由其内部研发的先进模型完成的。这个模型展现出的能力远远超越了GPT‑6 Astra。在证明过程中，该模型不仅生成了详细的解析证明，还完成了Lean形式化验证。通过这些工作，清晰地表明描述流体运动的纳维 - 斯托克斯方程在动力学演化过程中，确实能够在有限时间内形成奇点。而这个解呈现出一种涡旋的形态，也就是旋转的流体漩涡。它就像一个不断向内盘旋的螺旋，并且在这个过程中逐渐被拉长，形状如同意大利面一般。

值得一提的是，OpenAI明确表示，他们并没有打算为这一科研成果去申领千禧年大奖。

OpenAI利用内部模型成功破解千禧年大奖难题中的关键难题