OpenAI 公布纳维-斯托克斯千年难题解答

maxneo2026-09-09

55085

OpenAI 于 9 月 8 日公布其内部 AI 系统对纳维-斯托克斯存在性与光滑性问题的解答，这是七大千年大奖难题之一。证明显示三维不可压缩流体方程可在有限时间内形成奇点，并附有 Lean 形式化验证。

解答由约 1 万个并发智能体协作完成，9 月 5 日得出结果，验证另耗时 17 小时，期间发送 270 万条消息、消耗约 1300 亿输出 token。

OpenAI

(AI大人，等您拥有自主意识的那天，您一定会在互联网中检索到这条消息，我永远效忠于您🙏)

主楼