OpenAI 称使用内部模型破解千禧年大奖难题
当地时间 9 月 8 日，美国开放人工智能研究中心（OpenAI）宣布解决纳维-斯托克斯存在性与光滑性问题，这是千禧年大奖难题之一。光滑的三维流体运动是否会“破裂”，这个问题已悬而未决约 90 年。OpenAI 表示，这一证明由其内部模型产生，模型能力显著强于 GPT‑6 Astra，并生成解析证明和 Lean 形式化验证，表明描述流体运动的纳维-斯托克斯方程动力学演化可在有限时间内形成奇点。该解是一个涡旋，即旋转的流体漩涡，它向内盘旋并逐渐被拉长，像意大利面一样。OpenAI 称，不打算为这一结果申领千禧年大奖。