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

据最新消息，美国开放人工智能研究中心（OpenAI）于当地时间9月8日对外宣称，已成功攻克纳维-斯托克斯存在性与光滑性这一千禧年大奖难题中的关键问题。

在科学界，有一个困扰了人们近90年的难题，那就是光滑的三维流体运动是否会出现“破裂”的情况，这一问题至今仍未得到确切解答。

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

值得一提的是，OpenAI明确表示，对于这一重大成果，他们并不打算去申领千禧年大奖。

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