OpenAI于当地时间9月8日宣布，其内部未公开的AI模型已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于2000年提出的七个“千禧年大奖难题”之一。该问题关注描述流体运动的纳维-斯托克斯方程是否会失效，已困扰数学界约90年。OpenAI表示，该团队通过让约10,000个AI智能体协作，在约88小时内生成了证明。
据OpenAI介绍，该内部模型的性能远超其最新发布的GPT-6 Astra。证明显示，一个初始平滑的静止流体在有限时间内可能发展出“奇点”，即流速无限增长。OpenAI提供了分析证明及Lean编程语言的形式化验证，验证工作由GPT-6 Astra在约17小时内完成。该证明通过设计一个向内旋转并拉伸的“涡流”来实现奇点，其能量在物理定律要求下保持有限，证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。
OpenAI研究者塞巴斯蒂安·布贝克称此为“过去十二个月所看到轨迹的一个惊人顶点”。在此之前，Anthropic上个月宣布其内部一款未公开的Claude研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼ζ函数临界线上零点比例的长期下界从41.6％提高到了67.2％。一系列AI在基础数学领域的突破引发业界广泛关注。
然而，这一宣布迅速引发争议。纽约大学数学教授特里斯坦·巴克马斯特和Anthropic研究员莱文特·阿尔珀格在前一天刚发布了相关流体方程的研究成果。巴克马斯特质疑OpenAI在听闻他们的进展后，才将资源转向其一直在探索的“外力驱动”方法。他担心自己和阿尔珀格存储在OpenAI的Codex模型中的研究数据可能被用于训练或参考，但未得到明确答复。
OpenAI研究员布贝克否认了这些指控，强调研究人员和AI智能体均未访问具体用户数据。但OpenAI也在声明中承认，“不排除”来自他们使用OpenAI产品的匿名化数据帮助改进了模型。这一回应未能完全消除学术界的疑虑，关于数据隐私和研究成果归属的讨论仍在持续。
此次事件凸显了AI在攻克人类智力巅峰时引发的复杂问题。著名数学家陶哲轩一方面将此类问题比作吸引科学家努力的“灯塔”，另一方面也警告，若AI能解决最困难的问题而无需人类深度参与，可能会削弱人类对数学的理解。据估算，此次计算成本可能高达1,500万至2,250万美元，OpenAI表示不打算申领克莱数学研究所这笔100万美元的奖金。
业内分析认为，AI模型在基础数学领域的连续突破，标志着大模型从工程应用向科学发现的纵深延伸。但随之而来的功劳归属、数据隐私以及AI发展安全性等问题，正在成为学术界和产业界需要共同面对的新课题。OpenAI此次的成果是否经过同行评审、证明过程的可复现性如何，仍有待进一步验证。
该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。
