悬了90年的数学难题，AI解开了，OpenAI却说：奖我不领

昨天，OpenAI丢了个大新闻，很多人没看懂。

他们说：自家内部模型，把"纳维-斯托克斯方程"解了。

这个方程，是流体运动的"圣经"。飞机、洋流、龙卷风，都归它管。

悬了90年，几代数学家啃不动。

难在哪？大家一直在吵一个问题：水会不会"爆"？

光滑的流动，会不会在某一刻突然碎裂、冒出尖点？物理上叫"奇点"。

这谜题，是克雷研究所千禧年七大难题之一。谁解开，谁拿100万美元。

OpenAI怎么解的？一句话：让模型自己想，让模型自己证。

据说是新一代模型带队，上万个AI Agent协作，88小时，给出解析证明，还用Lean做了形式化验证。

一套"边想边验"的组合拳。

最骚的是结尾：OpenAI说，不申领大奖。

翻译一下：我不缺这一百万，也不想卷进"你到底证没证对"的学术口水战。

但这件事，重点根本不在"解没解对"。

重点在于：AI正在从"高配计算器"，变成"会推理的数学学徒"。

以前的AI，你给它规矩，它算得快。

现在的AI，开始自己找问题、自己写证明、自己复查。跟人类数学家抢饭碗，可能就是这几年的事。

当然，学界没那么容易买账。90年的难题，一个晚上推翻？同行评审还没影呢。

但有一点可以确定：数学，这块人类最后的高地，AI已经摸到门口了。

以后刷到"AI证明XX猜想"，别惊讶。这，只是一个开始。