OpenAI称用万名AI智能体88小时破解纳维-斯托克斯难题，引发数学界与数据争议
据 IT之家 9 月 9 日消息，OpenAI 于当地时间 9 月 8 日宣布，其一款尚未公开的内部 AI 模型在数学研究上取得重大结果：通过约 10,000 个 AI 智能体协作，在约 88 小时内生成了“纳维-斯托克斯存在性与光滑性问题”的证明。该问题是克莱数学研究所 2000 年提出的七个“千禧年大奖难题”之一，围绕描述流体运动的纳维-斯托克斯方程是否会在有限时间内出现失效或奇点，已长期困扰数学界。OpenAI 称，相关证明还提供了 Lean 编程语言形式化验证，验证由 GPT-6 Astra 在约 17 小时内完成。
这一消息紧接着 Anthropic 上月披露其内部 Claude 研究模型在黎曼猜想方向取得进展之后出现，使“AI 攻克顶级数学问题”再次成为科技与学术界焦点。与以往 AI 辅助搜索、推理或定理证明不同，OpenAI 此次强调的是多智能体大规模协作、自动生成证明与形式化验证的组合，这也让外界开始重新评估 AI 在前沿科研中的角色边界。
证明核心：有限能量条件下构造奇点
来源显示，OpenAI 给出的证明试图展示：一个初始平滑的静止流体，在有限时间内可能发展出“奇点”，也就是流速出现无限增长。其关键构造是一个向内旋转并拉伸的“涡流”，同时保持能量满足物理定律下的有限性要求。OpenAI 表示，该证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。
OpenAI 研究者 Sébastien Bubeck 将这一成果称为过去十二个月相关轨迹的“惊人顶点”。从技术路径看，最值得关注的并不只是单一模型能力，而是内部高性能模型、万级智能体协作、自动化证明搜索与 Lean 形式化验证之间的闭环。如果这一结果经数学界审查确认，它将成为 AI 从“辅助研究工具”迈向“直接参与重大科学发现”的标志性案例。
- 任务对象：纳维-斯托克斯存在性与光滑性问题，千禧年大奖难题之一。
- 执行方式：约 10,000 个 AI 智能体协作，约 88 小时生成证明。
- 验证环节：OpenAI 称提供 Lean 形式化验证，GPT-6 Astra 用约 17 小时完成验证。
- 结论方向：在特定前提下，初始平滑流体可能在有限时间内产生奇点。
争议焦点：功劳、数据与科研优先权
不过，宣布很快引发争议。来源称，纽约大学数学教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 前一天刚发布相关流体方程研究成果。Buckmaster 质疑，OpenAI 是否是在听闻他们的进展后，将资源转向其长期探索的“外力驱动”方法。他还担心，自己和合作者存储在 OpenAI Codex 模型中的研究数据，是否被用于训练或参考，但未获得明确答复。
OpenAI 研究者 Bubeck 否认相关指控，称研究人员和 AI 智能体没有访问具体用户数据。但 OpenAI 也在声明中承认，不能排除来自用户使用 OpenAI 产品的匿名化数据对模型改进产生帮助。对于科研场景而言，这一点非常敏感：数学证明、代码实验、论文草稿和研究日志往往包含尚未公开的原创思路，若平台模型在训练或改进中吸收这些信息，成果归属与数据边界就会变得难以界定。
影响解读：AI科研自动化进入“高成本竞赛”阶段
从产业角度看，此次事件凸显了 AI 前沿研发正在形成新的竞争模式：不仅比模型参数和推理能力，也比算力调度、多智能体组织、工具链接入和形式化验证能力。来源提到，此次计算成本估算可能达到 1,500 万至 2,250 万美元。即便 OpenAI 表示不打算申领克莱数学研究所的 100 万美元奖金，这类项目也说明，AI 科研自动化已进入高投入、高风险、高争议阶段。
著名数学家陶哲轩的态度也代表了学界的复杂心态：一方面，他将此类难题比作吸引科学家前进的“灯塔”；另一方面也担忧，如果 AI 能在缺少人类深度参与的情况下解决最困难的问题，人类对数学结构的理解可能被削弱。换言之，证明“是真的”与人类“理解它为什么成立”并不是同一件事。
对中文科技读者而言，这一事件的关键并非某个模型是否“替代数学家”，而是 AI 正在改变科研流程本身：问题拆解、假设生成、证明搜索、代码验证和论文撰写都可能被自动化系统重新组织。接下来，数学界对证明细节的审查、OpenAI 对数据使用边界的进一步说明，以及类似成果能否被独立复现，将决定这次宣布究竟是 AI 科研史上的里程碑，还是一次尚待验证的技术宣示。