一道悬赏100万美元、悬而未决近90年的数学难题，被AI用88小时拿下了——但争议比结果来得更快。9月8日，OpenAI高调宣布，其内部一个比GPT-6 Astra更强的未公开AI模型，组织了约1万个AI智能体，在88小时内攻克了克雷数学研究所七大千禧年难题之一：纳维-斯托克斯方程存在性与光滑性问题。

这个问题的核心是：描述流体运动的纳维-斯托克斯方程，其光滑的三维流体解是否会永远保持光滑，还是在有限时间内"破裂"出现奇点？OpenAI的答案是"会破裂"——他们构造了一类有限且处处光滑的外力，使光滑解无法维持到所有时间，解的本质是一个向内盘旋、逐渐被拉长的涡旋。技术路线上，AI智能体分组拿到不同题面，可读缓存互联网、跑代码并组内交流，先用50小时完成简化版本，再集中全力攻克完整问题。OpenAI同时公开了166页论文和Lean形式化验证代码，但明确表示不会申领百万美元奖金。

然而，纽约大学数学教授特里斯坦·巴克马斯特几乎在同一时间发声质疑：他与Anthropic研究员此前已在相近方向取得突破，完成带光滑外力的欧拉方程有限时间奇点证明并做了Lean验证。巴克马斯特称，OpenAI是在9月1日听闻其进展后才紧急加码投入，且方法高度相似。OpenAI的回应颇为微妙——承认9月1日听到传闻后启动了"并行工作"，但坚称未看到对方具体内容。值得一提的是，同一天Anthropic的Claude也宣布用11天完成了费马大定理的形式化证明，AI两条战线同时告捷。

菲尔兹奖得主陶哲轩在9日的评论一针见血："好问题将比好答案更稀缺。"他同时表达了对靠社交媒体而非学术平台发布数学成果的厌倦。这场AI竞赛的真正意义或许不在于谁先撞线，而在于一个信号：AI智能体已经具备了攻克顶级数学难题的能力，人类数学家的方向感和问题提出能力，正在成为比证明执行能力更珍贵的资源。

AI 生成 . DeepSeek | 搜索综合