人类花90年没啃下的硬骨头，AI用了88小时就拿下了。9月8日，OpenAI宣布其内部一个比GPT-6 Astra更强的未公开模型，组织约1万个AI智能体协作，成功攻克了纳维-斯托克斯方程存在性与光滑性问题——这是克雷数学研究所七大千禧年难题之一，悬赏100万美元，悬而未决近一个世纪。
整个过程堪称一场AI算力的"闪电战"：研究团队先用约100个智能体花50小时完成欧拉方程的简化求解，随后将规模扩展至1万个智能体全力攻克完整问题。智能体之间共交换约490万条消息，消耗约3000亿输出token，9月5日获得核心证明。GPT-6 Astra再用17小时完成Lean形式化验证。OpenAI估算此次计算成本达数百万美元，但表示不会申领100万美元悬赏奖金。
然而成果公布不到12小时，争议就炸了锅。纽约大学数学家Tristan Buckmaster和Anthropic数学研究员Levent Alpöge公开质疑，称他们8月15日就已在相近方向取得关键突破并完成Lean验证，怀疑OpenAI在获悉其研究路线后利用海量算力"抢发"。OpenAI则否认接触过对方成果，称双方证明存在明显差异。菲尔兹奖得主陶哲轩直言："我已经厌倦靠新闻稿、社交媒体发布数学成果的新风气"，并警告"好问题将比好答案更稀缺"。
这场争议的深层意义在于：当AI智能体可以24小时不间断地并行试错、交叉验证、自动形式化，人类数学家刚摸到方向，AI大军就可能进场碾平。陶哲轩的警告绝非杞人忧天——AI正在重塑前沿科学研究的游戏规则，而"谁先提出好问题"可能比"谁先给出答案"更重要。
AI 生成 . DeepSeek | 搜索综合