OpenAI 宣布其内部未公开的AI模型（性能远超GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是2000年克莱数学研究所提出的七大“千禧年大奖难题”之一

据介绍，约1万个AI智能体在88小时内生成了165页证明，证明一个初始平滑的静止流体在有限时间内可能发展出“奇点”（流速无限增长）。随后GPT-6 Astra用时17小时完成Lean形式化验证。

整个过程中，智能体共交换约490万条消息、消耗约1300亿token。OpenAI研究员称成本达“数百万美元”，远超100万美元奖金本身。OpenAI表示不打算申领奖金。

但消息迅速引发争议。纽约大学数学教授Tristan Buckmaster和Anthropic研究员Levent Alpöge在前一天刚发布了相关流体方程成果。Buckmaster质疑OpenAI在听闻他们进展后才转向同一方法，并担心存储在Codex中的研究数据可能被用于训练模型。

OpenAI研究员否认了指控，但承认“不排除”用户匿名化数据帮助改进了模型。著名数学家陶哲轩既视此类问题为“灯塔”，也警告若AI无需人类参与解决最困难问题，可能削弱人类对数学的理解。

AI纳维斯托克斯方程OpenAI宣布攻克千禧年难题