文章总结： OpenAI的AI系统证明了纳维-斯托克斯方程的光滑解会在有限时间内产生奇点，这是千禧年难题第一次被AI攻破，证明通过了Lean形式化验证。同时存在研究信息泄露的争议，AI做数学从模式匹配转向真正的机器发现，算力成本预计会下降。 综合评分： 75 文章分类： 其他

数学家熬了25年，AI花百万美元抢了先

原创

黑曜石科技工坊 黑曜石科技工坊

黑曜石科技工坊

2026年9月10日 06:11 山东

在小说阅读器读本章

去阅读

在公众号小说中沉浸阅读

2000年，美国克雷数学研究所把七个问题挂上悬赏榜，每解出一个，奖金一百万美元。

25年过去，只有庞加莱猜想被人类摘下。

剩下的六道题里，有一道描述的是我们身边最日常的东西：水。

水龙头里流出的水、咖啡杯里打转的奶泡、台风眼里的气旋，全都服从同一组方程——纳维-斯托克斯方程。可两百年来，没人能从数学上证明：一团开局温顺平滑的流体，会不会在某一刻突然“爆炸”，卷出速度无穷大的奇点。

上周，OpenAI 宣布：它的内部 AI 系统给出了答案。

会爆炸。光滑的流体，可以在有限时间内自己卷出奇点。

更关键的是，这份证明不是聊天框里的一段漂亮话。它附带了完整的证明文稿，并且通过了 Lean 形式化验证——每一行推理都被计算机逐条检查过，逻辑上无懈可击。

这是千禧年难题第一次被 AI 正面攻破。

消息传出，数学界的反应却很复杂。纽约大学数学教授 Tristan Buckmaster 与 Anthropic 的数学家 Levent Alpöge 随即公布了自己的三项证明初步结果，并公开表示：他们在这条独特路线上的研究进展信息被泄露给了 OpenAI，对方随后调集大量算力，沿着同样的路线抢先完成了证明。

Buckmaster 直接把这场竞赛定性为不正当竞争。OpenAI 研究科学家 Sebastien Bubeck 否认了这一指控。

先放下争议，看这件事的技术内核，它比“AI又赢了”深刻得多。

过去 AI 做数学，本质是“模式匹配”：在海量证明文本里学套路，遇到真正的深水区就露馅。而这次 OpenAI 用的是智能体组合——多个 AI 智能体像一支数学攻坚小队，分工拆解问题、生成引理、互相验证、失败回滚，最终收敛出一条完整证明链。

这不再是检索记忆，而是真正的机器发现。

OpenAI 研究员 Noam Brown 承认，这次证明烧掉了数百万美元的算力成本。但他补了一句更扎心的判断：这个成本会以肉眼可见的速度下降。

回想一下历史曲线就知道这不是空话。围棋 AI 从需要上千块 TPU 的 AlphaGo，到能在家用显卡上运行的 Katago，只用了四年。数学证明智能体的成本曲线，大概率会重演同样的暴跌。

一百万美元悬赏的难题，配数百万美元的算力账单，今天看是亏本买卖。可一旦成本降到一杯咖啡钱，性质就彻底变了：人类文明的每一道悬而未决的数学猜想，都将被成群结队的智能体日夜围攻。

数学，这门最依赖人类灵感的学科，正在变成算力的殖民地。

对普通人来说，这不只是数学圈的八卦。流体奇点问题的答案，直接牵动着气象预报、飞行器设计、心血管血流模拟的底层模型。证明“奇点存在”，等于告诉我们：湍流不是算力不够，而是物理本身就藏着不可约的疯狂。

当然，Buckmaster 的指控也留下了一道阴影。如果 AI 的“原创证明”建立在人类未公开思路的泄露之上，那这场胜利更像一次昂贵的加速，而非真正的超越。

谁先想到路线，谁先算到终点，荣誉该归谁？在 AI 能以百万美元为单位燃烧算力的时代，“首发权”这个词正在失去旧有的含义。

唯一确定的是：下一道千禧年难题的倒计时，已经开始了。而它剩下的对手，可能不再是人。

我们下次见。

免责声明：

本文所载程序、技术方法仅面向合法合规的安全研究与教学场景，旨在提升网络安全防护能力，具有明确的技术研究属性。

任何单位或个人未经授权，将本文内容用于攻击、破坏等非法用途的，由此引发的全部法律责任、民事赔偿及连带责任，均由行为人独立承担，本站不承担任何连带责任。

本站内容均为技术交流与知识分享目的发布，若存在版权侵权或其他异议，请通过邮件联系处理，具体联系方式可点击页面上方的联系我。

本文转载自：黑曜石科技工坊 黑曜石科技工坊 黑曜石科技工坊《数学家熬了25年，AI花百万美元抢了先》