88小时暴力砸穿千禧难题!OpenAI把数学界逼反,陶哲轩带头掀桌

2026 年 9 月 11 日，全球数学界迎来了一场剧烈震荡。

当代最伟大的数学家之一陶哲轩（Terence Tao），联合了整整 25 位菲尔兹奖得主，这份名单横跨了近半个世纪的数学巅峰，从 1978 年获奖的泰斗 Deligne，到当年的新科得主邓煜，在专属网站 mathandai.org 上公开发表了一篇措辞极其严厉的“讨伐檄文”：

《人工智能在数学中的严重错位》（A Severe Misalignment of AI in Mathematics）。

▲ 陶哲轩在个人博客同步公开了这份史无前例的 25 人联名声明

这群站在人类智力金字塔顶尖的学者，彻底被激怒了。

作为探索 Lean 形式化证明的先驱，陶哲轩过去几年始终积极拥抱大模型。引发学界集体反弹的导火索，是一场在硅谷上演的学术偷袭与算力霸凌。

偷家千禧难题：上万个智能体的88小时狂欢

事情的导火索，源于数学界最著名的圣杯之一：纳维–斯托克斯方程（Navier-Stokes）。

这是克雷数学研究所悬赏百万美元的“千禧年七大难题”之一。简单说，它描述的是水流、气流等流体的运动规律，一个多世纪以来，全人类的顶尖大脑都没能证明：在光滑的外力作用下，三维流体的速度会不会在某一瞬间彻底“暴走”、产生无穷大的物理奇点（有限时间爆破）。

▲ 社交媒体引发广泛讨论：学界的核心诉求在于抵制抢跑发布与掠夺性竞争

纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）与研究员阿尔珀格（Levent Alpöge），一直在自费租用算力，借助 Claude 与 Codex 艰难攻关。

到了 8 月中旬，两人终于摸索出一条极为精妙的突破路线。但 AI 吐出来的草稿，充斥着极其冗长、恶心且人类难以阅读的符号垃圾（业内俗称 AI Slop）。

为了把它翻译成严谨、可读的数学论文，两人夜以继日地人工重构。

然而，9 月初，数学界开始风传“重大未解问题已被 AI 攻克”的谣言。Buckmaster 出于学术操守，主动联系了 OpenAI 进行沟通澄清。

接下来发生的剧情，比好莱坞商战电影还要狗血。

▲ TechCrunch以《OpenAI与数学家的恩怨彻底升级》为题深度曝光

OpenAI 获知关键线索后，立刻调动了上万个并发智能体（Agents）与天文数字级的算力，在短短 88 个小时内完成了极其暴力的推导与 Lean 代码验证。

随后，对方直接给 Buckmaster 打来电话，要求联合发布，甚至要求把另一位在竞争对手 Anthropic 工作的合作者 Alpöge 直接从作者名单中踢掉。

当 Buckmaster 愤怒地拒绝并表示要公开事实时，电话那头甚至传来了赤裸裸的敲打：“你为什么非要毁掉自己的学术前途呢？”

9 月 8 日，OpenAI 抢先在官网高调上线《纳维–斯托克斯千禧难题解答》，宣称机器已经搞定了证明，顺便大度地表示“我们不打算去领那一百万美元奖金”。

知识空转：当机器吐出一万页人类读不懂的“绿灯”

这是一场教科书级别的算力碾压

也是一场对传统科学探索模式的野蛮践踏。

在过去，数学的进步是极其浪漫而优雅的：数学家在黑板前碰撞灵感，提出新的抽象概念，写成讲义，讲给学生，然后一代代简化，最终变成写进教科书的定理，滋养物理、工程与整个现代科技。

但 AI 巨头们把这一切简化成了一场跑分游戏（Benchmark）。

▲ 声明直指核心：AI公司把重大开放难题当做粗暴测试模型能力的排位赛

大模型依赖暴力搜索与 Lean 形式化证明助手，确实可以吐出一串代码，让编译器亮起通过的“绿灯”。

可然后呢？

这串长达上万页的代码几乎无法被人类阅读，无法提炼出新的数学工具，更忽略了对前人几十年铺垫工作的尊重与引用。

这就是所谓的“可读性赤字”与“知识空转”。

打个通俗的比方：你本来想请一位建筑大师设计一座宏伟的桥梁，希望借此学会全新的力学结构与建造工艺。

结果 AI 巨头直接开着一万台重型推土机，把一座由无数废铁焊死、内部结构完全混沌的黑盒大桥直接砸在河面上，然后指着仪器说：“你看，绿灯亮了，它没塌，我赢了。”

这种证明，对人类的智力进化毫无养分。

逼数学家退回“中世纪保密结社”

更致命的毒素，正在渗透进科学研究的根基。

长久以来，科学之所以能够指数级爆发，靠的是开放共享的研讨文化。数学家们在茶歇时喝着咖啡，随手在餐巾纸上写下一个半成品的猜想；在预印本网站上传粗糙的未完成手稿，互相启发。

但现在，游戏规则被彻底污染了

▲ 评论一针见血：这种掠夺性的竞赛，只会逼得所有学者闭嘴自保

如果一个年轻学者在学术会议上分享了一个天才般的早期思路，转头就会被坐在台下的科技巨头用几千万美元的算力集群在三天内暴力跑完，然后抢先发公关通稿宣布“大模型攻克人类难题”，

那谁还敢公开分享？

理性的结果只有一个：数学家将被迫变得极其自私、封闭与保密。

开放科学的土壤将被瞬间风干，学术界将退回几百年前靠蜡封信件争夺优先权的黑暗时代。

不仅如此，声明中还特别提到了对下一代年轻人的摧残。

给年轻学生布置难题，本质上是磨砺心智、培育直觉与抽象能力的脚手架，解题只是手段，理解才是目的。

当 AI 公司把所有难题变成营销通稿的战利品，初级推导被 AI 替代，谁来为下一代数学家提供试错的泥土？当培育年轻大脑的“认知公地”被消耗殆尽，科学殿堂最终只会剩下不会思考的看门人。

我们究竟在和 AI 赛跑什么？

在这场风暴中，并非没有不同的声音

部分计算生物学家和工程师甚至嘲讽数学界是“行会式的保护主义”；而 2026 年新科菲尔兹奖得主之一 Jacob Tsimerman，更是选择直接加入 OpenAI 安全团队，认为“AI 很快会在所有数学事务上超越人类”。

▲ OpenAI 员工与部分工程师公开发帖，将数学界的抗议嘲讽为“保护主义行会”

但这恰恰印证了陶哲轩等 25 位顶尖学者联署的最深层洞察：

这场抗议的核心，是知识生产者在守卫“人类概念的主权”。

在其他创造性行业，插画、配音、代码编写、新闻写作中，我们已经看到了同样的悲剧：产出替代了思考，速度摧毁了打磨，流水线吞噬了传承。

数学，本是人类文明中最后一块完全由逻辑与纯粹理性铸就的净土。如果连最强调严密证明与思想流变的高等数学，都在资本与算力的狂欢中沦为公关刷分的“代练工具”，那么人类智力劳动的整座大厦，都将面临地基的坍塌。

正如陶哲轩在声明中所写的那样：

“解题，仅仅是达到‘概念理解与深刻洞见’这一首要目标的工具与代理指标。如果我们颠倒了这一切，以越来越快的速度量产干瘪的真假陈述，最终摧毁的，将是孕育人类一切新思想的沃土。”

算力可以瞬间推平一座高山，但唯有人类迈开双脚攀登的过程，才能丈量出思想的辽阔。

这场 25 位菲尔兹奖得主的联合声明，旨在给整个人类文明敲响警钟：

别在奔向终点的狂奔中，丢掉了我们出发时的灵魂。