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