OpenAI用AI解开了90年没人解的数学题，全世界却吵翻了

90年没人解开的题，AI真的解开了。

9月8日，OpenAI宣布：用内部模型，解出了纳维-斯托克斯方程的存在性与光滑性问题——千禧年大奖难题之一，悬了90年，官方悬赏100万美元。

怎么解的？内部模型跑出解析证明，再用Lean做了形式化验证。一万个AI智能体连续干了88小时，烧掉的算力据估算在百万美元级别，是OpenAI上次数学突破的1000倍。

结论很具体：三维流体方程在有限时间里会“炸”——形成一个涡旋，向内盘旋、越拉越长，像一根意大利面。

换句话说，描述水的流动方程，在特定条件下会失去光滑性。这不是玄学推理，是AI“算出来的证明”。

听着像里程碑。可麻烦也跟着来了。

两位数学家先后发声：Tristan Buckmaster（NYU）和Levent Alpöge（与Anthropic有关）。他们说，过去一个月自己也在用AI逼近同一个结果，工具还是OpenAI自家的Codex。Buckmaster更爆料：OpenAI开过条件——“可以给你独享作者署名，但把Alpöge剔除，署名改成内部模型”。他拒了。

更扎心的问题在后面：那上万个agent在解题时，会不会“读过”这两位共享日志里的思路？这没法查证，但信任的裂缝已经裂开。

所以这条新闻真正的看点，不是AI能不能拿奖——OpenAI自己说了，不申领这份大奖。而是：当所有人都开始把半成品喂给AI，谁还能保证署名、归属、甚至解题过程是干净的？

AI很能打。但人跟人之间的信任，才是第一道要修的题。