今天AI圈炸了，但我想聊聊"数学家会不会失业"这件事

早上刷到OpenAI攻克NS方程千禧年难题的新闻时，我正在喝第三杯咖啡改代码。说实话，第一反应是"又来？"——毕竟这几年AI"重大突破"的新闻太多了，很多点进去一看都是营销话术。

但这次不一样。

纳维-斯托克斯方程，七个千禧年大奖难题之一，每个奖金100万美元。说人话，这是描述流体运动的基本方程，小到你家水龙头出水，大到台风路径预测，都跟它有关。但数学家们搞了快200年，连"解是不是一定存在、会不会在有限时间内爆炸"都没搞清楚。

然后AI用88小时就"证明"了。

准确说，是OpenAI内部一个比GPT-6 Astra还强的模型，组织了约1万个AI智能体并行协作，花了88小时，写出了165页证明，还做了Lean形式化验证。陶哲轩都出来说是"非凡成就"。

但有意思的是争议也跟着来了。纽约大学的巴克马斯特团队、Anthropic的阿尔珀格团队都在质疑署名和数据问题，OpenAI还说不领那100万奖金——搞得有点像"我只是来证明我能行，钱不钱的无所谓"。

今天其实是AI圈的"超级星期二"。除了这个核弹级新闻，NVIDIA129亿美元收购HuggingFace、上海外滩大会挤满了AI新经济展台、京东宣布要搞10万卡国产AI集群、DeepSeek明天开始实行峰谷电价计费……每一条单独拿出来都能上头条。

但我最感慨的还是NS方程这件事。

上个月我还在跟朋友聊，说AI现在就是个"高级聊天机器人"，写代码、写文案还行，真要搞原创科研还差得远。结果今天就被打脸了。

不是说AI要取代数学家了。1万个智能体协作88小时，背后还是人类数学家在设计框架、提出方向，AI更像是个"超级科研助手"，把人需要几十年算的东西，几天就算完了。

但这个节奏真的越来越快了。三年前我们还在惊叹AI能写作文，两年前能写代码，一年前能做简单的科学发现，现在直接开始攻克千禧年难题了。

你说再过三年，会怎么样？

我很好奇：如果有一天AI真的证明了黎曼猜想，你觉得那算是"人类的胜利"还是"AI的胜利"？评论区聊聊。

AI攻克千禧年难题 OpenAI 人工智能 科技前沿 每日AI资讯