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