AI 88小时解出世纪难题，OpenAI 万智能体协作引数学界热议

AI 攻克流体方程难题，证明过程引发关注

当地时间 9 月 8 日，OpenAI 公开宣布，其内部未发布的 AI 模型（性能显著优于已推出的 GPT-6 Astra）成功解决了“纳维-斯托克斯存在性与光滑性问题”。该问题位列克莱数学研究所 2000 年公布的七个“千禧年大奖难题”之中，核心在于判断描述流体运动的纳维-斯托克斯方程是否会在某些条件下失效，这一疑问已困扰数学界近一个世纪。

据 OpenAI 介绍，研究团队利用约 10,000 个 AI 智能体协同工作，在约 88 小时内生成了完整的证明。证明指出，一个初始平滑的静止流体在有限时间内可能发展出“奇点”，即流速无限增大的情况。分析证明与 Lean 编程语言的形式化验证均由 AI 完成，其中验证环节由 GPT-6 Astra 在约 17 小时内处理完毕。

OpenAI 研究者塞巴斯蒂安·布贝克（Sébastien Bubeck）对此评价称，这是“过去十二个月所看到轨迹的一个惊人顶点”。该证明通过设计一个向内旋转并拉伸的“涡流”实现奇点，其能量保持在物理定律允许的有限范围内，且建立在光滑外力的前提下，对应官方问题陈述中的“C”和“D”情形。

数据隐私与功劳归属争议浮出水面

然而，这一成果的宣布并非毫无波澜。就在 OpenAI 发布消息的前一天，纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）与 Anthropic 研究员莱文特·阿尔珀格（Levent Alpöge）刚刚发布了关于流体方程的相关研究。巴克马斯特质疑 OpenAI 在听闻他们的进展后，才将资源转向其一直在探索的“外力驱动”方法。他进一步表达了对数据使用的担忧：自己和阿尔珀格存储在 OpenAI Codex 模型中的研究数据可能被用于训练或参考，但未得到明确答复。

针对这些指控，布贝克坚决否认，强调研究人员和 AI 智能体均未访问具体用户数据。但 OpenAI 在官方声明中承认，“不排除”来自使用其产品的匿名化数据帮助改进了模型。这一模糊表态使得关于功劳归属与数据隐私的讨论更加激烈。

数学界反响复杂，陶哲轩既赞赏又警惕

此次事件凸显了 AI 在攻克人类智力巅峰时引发的复杂问题。著名数学家陶哲轩将此类问题比作吸引科学家努力的“灯塔”，认为 AI 的参与可能加速数学进步，但他同时也警告，若 AI 能解决最困难的问题而无需人类深度参与，可能会削弱人类对数学的理解，甚至导致数学研究失去方向。

据估算，此次计算成本可能高达 1,500 万至 2,250 万美元（按当前汇率约合 1.01 亿至 1.51 亿元人民币）。OpenAI 明确表示不打算申领克莱数学研究所设立的 100 万美元奖金（约合 672.8 万元人民币），但该事件仍引发了关于 AI 发展安全性、科研诚信以及人类在知识创造中角色的广泛讨论。

AI 冲击数学研究，未来挑战与机遇并存

从 Anthropic 上个月在黎曼猜想上取得突破，到如今 OpenAI 攻克纳维-斯托克斯问题，AI 在数学领域的参与正从辅助工具向独立研究者角色转变。然而，这种转变也带来了新的课题：如何界定 AI 成果的归属，如何保障研究数据的安全，以及人类数学家如何在 AI 时代保持自身价值。业界普遍认为，AI 在数学中的应用仍处于早期阶段，但其所展现的潜力已经迫使学界重新审视传统研究范式。未来的关键在于建立合理的协作机制，让 AI 成为人类的伙伴而非替代者。