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

格隆汇9月9日｜当地时间9月8日，美国开放人工智能研究中心(OpenAI)宣布解决纳维-斯托克斯存在性与光滑性问题，这是千禧年大奖难题之一。光滑的三维流体运动是否会“破裂”，这个问题已悬而未决约90年。

OpenAI表示，这一证明由其内部模型产生，模型能力显著强于GPT-6 Astra，并生成解析证明和Lean形式化验证，表明描述流体运动的纳维-斯托克斯方程动力学演化可在有限时间内形成奇点。