OpenAI 用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题

OpenAI 宣布其内部未公开的 AI 模型成功解决了“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于 2000 年提出的七个“千禧年大奖难题”之一。该团队通过让约 10,000 个 AI 智能体协作，在约 88 小时内生成了证明。

OpenAI 的研究人员通过设计一个向内旋转并拉伸的“涡流”来实现奇点，证明了一个初始平滑的静止流体在有限时间内可能发展出流速无限增长的情况。证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。验证工作由 GPT-6 Astra 在约 17 小时内完成，提供了分析证明及 Lean 编程语言的形式化验证。

这一宣布迅速引发争议。纽约大学数学教授特里斯坦 · 巴克马斯特和 Anthropic 研究员莱文特 · 阿尔珀格质疑 OpenAI 是否在其研究成果的基础上进行研究。巴克马斯特担心自己和阿尔珀格存储在 OpenAI 的 Codex 模型中的研究数据可能被用于训练或参考，但未得到明确答复。OpenAI 研究员塞巴斯蒂安 · 布贝克否认了这些指控，强调研究人员和 AI 智能体均未访问具体用户数据。

此次事件凸显了 AI 在攻克人类智力巅峰时引发的复杂问题。著名数学家陶哲轩一方面将此类问题比作吸引科学家努力的“灯塔”，另一方面也警告，若 AI 能解决最困难的问题而无需人类深度参与，可能会削弱人类对数学的理解。据估算，此次计算成本可能高达 1,500 万至 2,250 万美元。OpenAI 表示不打算申领克莱数学研究所这笔 100 万美元的奖金，但此事件已引发关于功劳归属、数据隐私以及 AI 发展安全性的广泛讨论。