OpenAI宣布攻克千禧年难题 OpenAI用1万个AI智能体、88小时、烧掉数百万美元，硬生生把困扰数学界90年的纳维-斯托克斯方程给“速通”了。但真正让这件事炸圈的，不是AI有多能打，而是它撕开了一个更深层的矛盾——当提供研究工具的公司，开始用算力和你抢成果的时候，学术游戏的规则还能不能继续玩下去。

几个关键信息值得细品：

第一，OpenAI证明的并不是大众理解的那道“终极版本”。它解的是千禧年难题中C/D两个子命题——在有光滑外力条件下，流体会在有限时间内形成奇点。而学界真正关心的A/B版本，也就是无外力条件下解的光滑性，至今仍然开放。说白了，OpenAI打的是规则允许范围内的“简化Boss”，但克雷研究所的题面确实留了这个口子。

第二，比解题本身更炸裂的是“截胡”争议。纽约大学数学家Buckmaster和Anthropic研究员Alpöge沿着同一技术路线死磕了一年，刚有突破，OpenAI听到风声就调集万级Agent猛攻，几天就抢先跑通了。更微妙的是，这两位数学家用的正是OpenAI的Codex工具，研究草稿就存在平台上。OpenAI嘴上说“没看过用户数据”，但也承认“无法排除去标识化数据间接帮助了模型改进”。这个灰色地带，才是整个事件最让人脊背发凉的地方。

第三，陶哲轩带着25位菲尔兹奖得主联名警告，核心不是质疑AI能不能解题，而是指出一个范式危机：当AI公司把攻克著名难题当成模型跑分的Benchmark，数学界真正看重的“理解”——为什么成立、方法能否迁移、过程中生长出的新工具——正在被“解出多少题”这个量化指标取代。陶哲轩那个比喻很精准：AI替你去健身房举重，肌肉长不到你身上。

本质上，这件事标志着AI科研已经从“辅助工具”跃迁为“竞争主体”。过去数学家担心的是没有足够强的工具，现在真正稀缺的变成了“值得研究的好问题”和“敢不敢公开研究方向”。当算力可以暴力碾压一切推导过程，人类智力最后的护城河，可能就只剩下提出正确问题的能力了。

这大概是数学界的“深蓝时刻”——机器赢了比赛，但人类还得重新定义比赛的意义。