OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维 - 斯托克斯存在性与光滑性问题”，这是克莱数学研究所于 2000 年提出的七个“千禧年大奖难题”之一，已困扰数学界约 90 年。
在此之前，Anthropic 上个月曾宣布其内部一款未公开的 Claude 研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到 67.2%。
智能体协作生成证明，Lean 形式化验证 17 小时完成
OpenAI 表示，团队让约 10000 个 AI 智能体协作，在约 88 小时内生成了证明。证明显示，一个初始平滑的静止流体在有限时间内可能发展出“奇点”，即流速无限增长。该证明通过设计一个向内旋转并拉伸的“涡流”实现奇点，其能量在物理定律要求下保持有限；证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。
OpenAI 提供了分析证明及 Lean 编程语言的形式化验证，验证工作由 GPT-6 Astra 在约 17 小时内完成。OpenAI 研究员塞巴斯蒂安·布贝克（Sébastien Bubeck）称此为“过去十二个月所看到轨迹的一个惊人顶点”。
抢发争议与陶哲轩的担忧
宣布发布后迅速引发争议。纽约大学数学教授特里斯坦·巴克马斯特和 Anthropic 研究员莱文特·阿尔珀格在前一天刚发布了相关流体方程的研究成果。巴克马斯特质疑 OpenAI 在听闻他们的进展后才将资源转向其一直在探索的“外力驱动”方法，并担心自己存储在 OpenAI Codex 中的研究数据可能被用于训练或参考，但未得到明确答复。布贝克否认了这些指控，强调研究人员和 AI 智能体均未访问具体用户数据，但 OpenAI 也承认“不排除”来自其产品的匿名化数据帮助改进了模型。
数学家陶哲轩一方面将此类问题比作吸引科学家努力的“灯塔”，另一方面警告，若 AI 能在人类不深度参与的情况下解决最困难的问题，可能会削弱人类对数学的理解。据估算，此次计算成本可能高达 1500 万至 2250 万美元（约合 1.01 亿至 1.51 亿元人民币）。OpenAI 表示不打算申领克莱数学研究所 100 万美元（约合 672.8 万元人民币）的奖金。
