千禧年数学难题之一的 Navier-Stokes 方程，本周被 OpenAI 宣布用约 1 万个 AI 智能体、连续攻坚 88 小时找到了一个「失效特例」，被称为 AI 首次攻克重大数学难题。但这场 OpenAI 数学突破很快变了味:纽约大学数学家和 Anthropic 研究员公开质疑，OpenAI 是在他们即将发表成果前抢先「截胡」，甚至抓取了未公开的研究数据训练模型。到底发生了什么？这事跟你有什么关系？下面一次讲清。
Navier-Stokes 方程是什么？为什么值 100 万美元
大约 200 年前，法国物理学家纳维和爱尔兰物理学家斯托克斯提出了一组描述流体运动的偏微分方程，也就是 Navier-Stokes 方程。水流、空气、血液、天气，几乎所有「会流动的东西」都能用它来建模。
你今天坐飞机时机翼的气动设计、手机里的天气预报、医院里的血流模拟，背后都有这组方程的影子。它实用到几乎无处不在。
问题是:数学家至今无法证明这组方程在所有情况下都「表现良好」。某些极端条件下，方程的解会不会突然「爆炸」、变得无穷大、失去物理意义？没人说得清。
2000 年，美国克雷数学研究所把它列为七大千禧年数学问题之一，悬赏 100 万美元。无论你证明它永远成立，还是找到一个让它失效的特例，都算解开。25 年来，没人拿走这笔钱。
OpenAI 到底做了什么？1 万个智能体算了 88 小时
根据 OpenAI 本周的宣布，他们动用了约 1 万个 AI 智能体（Agent）并行工作，连续攻坚 88 小时，于 9 月 5 日找到了一个 Navier-Stokes 方程失效的特例——也就是一个「反例」，证明这组方程在某些情况下确实会失效。
这里的关键词是「智能体大军」。不是让一个模型从头想到尾，而是上万个 AI 实例分工协作：有的负责提出候选构造，有的负责验证，有的负责修正方向，最后汇集成一个可检验的结果。
据报道，这次攻坚消耗的算力价值数百万美元。如果成果通过数学界的同行评审确认，这将是 AI 首次解决这个级别的数学难题——不是奥数题，而是人类顶尖数学家几十年啃不动的问题。
但请注意一个关键细节：截至目前的所有信息，都只是 OpenAI 单方面的「宣布」。数学界有一条铁律——成果必须经过严格的同行验证才算数，历史上不少「重大宣布」最后被发现证明有漏洞。
争议焦点:OpenAI 有没有「抢」别人的成果
比数学成果本身更热闹的，是随之爆发的学术争议。事情的另一条线是:过去一个月，纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 一直在借助 AI 工具研究同一个问题，并且已经取得重大进展，正准备公开发表。
就在这个节骨眼上，OpenAI 投入数百万美元算力发起大规模攻坚，并抢先宣布了结果。时间上的巧合让学界哗然——一边是两位研究者用小规模、人机协作的方式慢慢推进，一边是大公司用「钞能力」碾压式冲刺。
OpenAI 声称自己没有使用 Buckmaster 和 Alpöge 的未发表成果。但 Buckmaster 已公开发表声明对此表示质疑，纽约大学团队更进一步，指控 OpenAI 抓取了他们的研究数据用于训练模型。截至 2026 年，双方都还没有拿出让学界信服的完整证据。
| 争议点 | OpenAI 的说法 | 纽约大学团队的说法 |
|---|---|---|
| 是否使用了他人成果 | 否认，称独立完成 | 质疑，认为时间线过于巧合 |
| 是否抓取了研究数据 | 未正面回应具体指控 | 公开指控其抓取数据训练模型 |
| 成果是否有效 | 已找到失效特例，待评审 | 尚未公开反驳成果本身 |
| AI 工具的角色 | 1 万智能体自主攻坚 | 两人用 OpenAI 和 Anthropic 的工具取得进展在先 |
这件事还有个微妙的细节:Buckmaster 和 Alpöge 用的恰恰是 OpenAI 和 Anthropic 两家的 AI 工具。也就是说，无论谁先到终点，「AI 辅助数学研究」这个方向本身已经被证明可行——争议的是谁先谁后、手段干不干净。类似的 AI 公司间指控并不新鲜，此前 Anthropic 指控阿里蒸馏模型 也引发过类似讨论。
AI 真能解决数学难题吗？这次意味着什么
过去几年，AI 在数学上的进步有目共睹:从做对高考题，到在国际数学奥林匹克（IMO）风格的题目上拿到金牌水平。但那些都是「有标准答案的题目」，和千禧年难题这种「人类不知道答案」的前沿问题完全是两个量级。
这次事件真正的信号是：AI 开始触碰「人类数学的未知边界」。哪怕 OpenAI 的反例最后被发现不成立，两位研究者用 AI 工具取得的进展也是实打实的——AI 已经从「答题工具」变成「科研搭档」。
另一个变化是研究方式。1 万个智能体并行探索、88 小时出结果，这种「算力换灵感」的打法，是人类数学家无法复制的。未来数学研究可能变成:人类提出方向和品味，AI 负责海量试错和验证。
不过要泼一盆冷水：数学界对「宣布」一向谨慎。历史上著名的「证明」被推翻的例子不少，从提交预印本到被正式确认，往往需要数月甚至更久。在那之前，「OpenAI 解决了千禧年难题」这句话都得打个问号。
这件事对你（普通 AI 用户）有什么影响
先说结论:短期内没有任何直接影响。你的 ChatGPT 界面不会因为多了一个数学反例而多一个按钮，会员价格也不会因此立刻变化。这类基础研究的影响，通常要几年才会传导到你手里的产品。
但中长期值得留意三点。第一，推理能力是最值钱的。能解决前沿数学问题的模型，写代码、做分析、改方案的能力也会水涨船高，你手里的 AI 会员实际上在「自动升值」。
第二，算力军备竞赛在加速烧钱。一次攻坚就花数百万美元算力，这部分成本最终会以某种形式反映在定价上。想提前了解各家的收费情况，可以看我们整理的 2026 主流 AI 会员价格汇总，里面有六款工具的对比。
第三，AI 公司之间的竞争会越来越激烈。数学、科研这类「硬实力」是估值和口碑的核心战场，Anthropic 估值超过 OpenAI 的消息说明格局远未定型。对用户来说，竞争越激烈，你能用上的工具越好、越便宜。
注意:看「AI 重大突破」新闻要避开的三个坑
这类新闻几乎每个月都有，标题一个比一个惊人。给你三个实用的辨别方法，避免被带节奏。
- 「宣布」不等于「证实」。公司官宣的成果，在同行评审通过前都只是声明。严谨的媒体会写「声称」「据报道」，遇到直接写「已解决」的标题要多留个心眼。
- 看清是谁在说话。利益相关方（公司自己、竞争对手、被抢先的研究者）的说法都带有立场，最可信的是独立第三方的验证结果，比如克雷数学研究所这类机构的态度。
- 别急着下「AI 取代人类」的结论。这次事件里，提出方向、构造思路、验证结果的每个环节都离不开人类数学家。AI 是放大器，不是替代者——至少目前不是。
一句话:让子弹飞一会儿。几个月后看数学界的评审结论，比现在任何一方的声明都靠谱。
信息来源:Solidot 相关报道，事件细节以官方和学界后续公布为准。
信息来源:www.solidot.org。本文为基于公开资讯的原创整理与解读,非原文转载。