OpenAI 攻克千禧难题，万个 AI 智能体协同证明数学奇点

OpenAI 宣布其内部模型成功破解了流体力学中的“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所定义的七大千禧年数学难题之一。证明过程由约 10000 个 AI 智能体在 88 小时内协同完成，并通过 Lean 语言完成了形式化验证。

研究发现，流体在有限时间内可能产生导致方程描述崩溃的“奇点”。尽管 OpenAI 声称该证明是 AI 轨迹的里程碑，但学术界对此褒贬不一。数学家陶哲轩在点赞模型能力的同时，也担忧过度依赖 AI 解决顶级难题可能削弱人类对数学逻辑深度的感知。

此外，此次公布引发了学术抢发争议。纽约大学教授 Tristan Buckmaster 质疑 OpenAI 在获悉其研究路径后紧急介入，指控可能存在数据参考不透明的问题。OpenAI 否认了泄露数据的指控，并明确表示不打算领取 100 万美元的克莱研究所奖金，而是将其作为模型能力的证明。