88小时vs90年，当AI暴力给出答案，人类研究是否还有意义？
2026年9月8日，OpenAI一纸公告引爆全球数学界：耗时近90年、克雷数学研究所悬赏百万美元的千禧年难题纳维-斯托克斯方程，被约10000个并行协作的AI智能体在88小时内攻破。这一结果不仅打破了数学界对该问题的长期僵持，更将“AI暴力解题后人类研究是否还有意义”的争议推至风口浪尖。
OpenAI万级AI集群88小时爆破千禧年难题
这场突破源于一场行业竞赛的倒逼：9月1日OpenAI听闻Anthropic已攻克2个千禧年问题的传闻后，立即启动内部模型尝试破解，团队将不同版本的问题拆分给不同AI小组，分别尝试正向证明结论成立、寻找推翻结论的反例。
- 运行约50小时后，AI率先得出无外力欧拉方程的相关结果，OpenAI随即集中原本分配给其他千禧问题的资源，全力推进纳维-斯托克斯方程的求解；
- 最终参与解题的AI程序规模达到10000个同时运行，9月5日即启动后的约88小时，系统成功得出带外力的纳维-斯托克斯方程反例。
这一结果瞬间引发数学界地震：从1930年代该问题被提出以来，全球数学家耗费近90年时间摸索证明路径，始终未能突破，而AI仅用不到4天就给出了答案。正如数学家此前所言，破解这类顶级难题的核心是找到正确的研究方向，而全人类此前一直在赌那个能通向正确答案的数学家直觉，这一等就是90年。
陶哲轩警示：AI算出答案人类却读不懂
就在突破曝光的半个月前，菲尔茨奖得主陶哲轩刚在国际数学家大会上公开讨论AI与数学的关系，核心直指数学研究的终极价值。他早在公开演讲中就提出，一个问题被解决的价值，除了形式化验证成立外，更在于能讲清“为什么成立”——其他数学家理解后，才能将其用于新的研究，最终成为可普及的知识。
以费马大定理为例，其伟大不仅在于怀尔斯完成了证明，更在于证明过程中发展出的新方法直接推动了后续数论研究的进步。而AI暴力解题带来的核心问题是：AI生成证明的速度，可能远超人类检查和理解的速度。如果人类能拿到答案，却完全读不懂推导逻辑、提炼不出任何洞见，那么这个答案对人类而言，真的算解决了问题吗？
陶哲轩后续的发文进一步强化了这一担忧：真正稀缺的资源正在发生变化。过去学界担心的是没有足够强大的工具解决问题，而AI时代下，真正值得研究的优质开放问题正在以“不可再生”的速度减少——这类问题需要长期积累才能挖掘出价值，可一旦公开，海量AI驱动的研究力量就能在项目尚未充分展开前，迅速将其“碾平”。如果研究者不敢公开未成熟的研究方向，整个学术生态的长期发展将受到严重损害。
Anthropic前研究员辞职痛批：前沿实验室没人敢停
这场AI数学竞速的背后，是前沿大模型公司近乎疯狂的竞赛内卷。曾在OpenAI和Anthropic任职的预训练研究员Jacob Coxon近日宣布从Anthropic辞职，公开批评行业现状：他在社交平台发帖称，OpenAI的很多研究员尚未真正“内化”AI可能带来的文明毁灭风险，而在Anthropic，尽管所有人都清楚风险，却被锁死在赛道里，没人敢停下。
与此同时，OpenAI的此次突破也引发了学术不端的