据徽声在线科技频道消息，美国当地时间9月8日，知名人工智能研究机构OpenAI对外公布了一项重大突破——成功攻克了数学界著名的千禧年大奖难题之一：纳维-斯托克斯方程的存在性与光滑性问题。

这一难题聚焦于三维流体运动的光滑性，即探讨在何种条件下，光滑的三维流体运动会出现“破裂”现象。自该问题提出以来，已经困扰了数学界和物理学界长达约90年的时间。

OpenAI透露，此次突破得益于其内部研发的先进模型。该模型不仅在性能上远超GPT‑6 Astra，还具备强大的解析和验证能力。通过这一模型，OpenAI不仅生成了纳维-斯托克斯方程的解析证明，还利用Lean形式化验证工具进行了严格验证，确认了描述流体运动的纳维-斯托克斯方程在动力学演化过程中，确实可以在有限时间内形成奇点。这一解具体表现为一个涡旋，即流体在旋转过程中形成的漩涡，它会向内盘旋并逐渐被拉长，形态类似于意大利面。

尽管取得了如此重大的突破，但OpenAI表示，他们并不打算为这一成果申领千禧年大奖。公司更看重的是这一突破对于人工智能和数学研究的推动作用，而非奖项本身。

OpenAI利用内部模型成功破解千禧年大奖难题，引领AI与数学研究新方向