OpenAI破解千禧年难题！人类逾90年无解 AI仅用88小时攻克

格隆汇9月9日｜OpenAI周二表示，通过调动约10000个AI智能体协同工作，仅用88小时就解决了著名的七大千禧年难题之一——纳维-斯托克斯方程(N-S方程)的存在性与光滑性问题。光滑的三维流体运动是否会“破裂”，这个问题已悬而未决约90年。

早在2000年，数学领域七个最深奥、最复杂的未解难题被列为“千禧年大奖难题”。自那时起，全球最顶尖的智慧大脑纷纷投身其中，向这些数学皇冠上的明珠以及单项高达100万美元的悬赏发起冲击。然而，尽管无数顶尖学者前赴后继、倾尽全力，此前也仅有一道千禧年难题被人类艰难攻克。如今，OpenAI宣布已成功得到第二道千禧年难题的解法。

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