OpenAI宣布攻克千禧年难题OpenAI最近放出了一个可能改写数学史的消息：其内部AI系统找到了三维纳维-斯托克斯（NS）方程会在有限时间内发生“爆炸”的解，同步公开了166页论文与Lean形式化证明，疑似攻破了这道困扰学界近90年的千禧年难题。NS方程是描述流体运动的核心方程，咖啡里的旋涡、飞机周围的气流、天气与海浪的变化，都可以用它来刻画。问世近200年来，有个关键问题始终悬而未决：初始状态十分光滑的三维流体，会不会在某个时刻突然局部失控，让速度变得无穷大？这也是克莱数学研究所悬赏100万美元的千禧年七大数学难题之一。OpenAI的AI给出了肯定的答案。他们构造了一个初始完全静止的流体，对其施加一个光滑且范围有限的外力后，流体中的旋涡会不断收缩、拉长、加速，最终局部速度趋向无穷大。最反直觉的是，即便局部速度“爆炸”，整个系统的总能量依然有限——高速流动被压缩在越来越小的区域里，就像一场“针尖上的风暴”。据披露，这项研究动用了约1万个AI智能体，仅用88小时就得出了结果，全程产生270万条协作消息、1300亿输出Token，后续又花17小时完成了Lean形式化证明。不过目前还远没到下定论的时候。这份证明刚刚公开，仍需数学界的独立审查；同时这个反例基于“特殊光滑外力”的设定，并不代表现实中的水流会突然出现无限速度，只是该情形确实包含在克莱研究所的官方题目范围内。如果证明最终成立，这将是AI首次真正攻克千禧年难题——人类钻研了90年的问题，AI只用了88小时。