ARTICLE · 1054613
1万个AI狂轰88小时攻克千禧难题!陶哲轩领衔25位菲尔兹得主发檄文:快停下
一段不足一分钟的演讲视频，在整个全球学术圈掀起了一场十级大地震。
视频画面中，被誉为“人类最聪明大脑”、当代数学界天花板的菲尔兹奖得主陶哲轩（Terence Tao），罕见地收起了往日的从容。他站在讲台上，语气急促而严肃：
“必须放慢人工智能。现在的节奏太疯狂了（The pace is insane），完全没有理由跑这么快，真的毫无理由！”
▲ 陶哲轩在演讲中直言AI发展速度“极端非线性”，呼吁全球科技界踩下刹车
人们大为震惊陶哲轩向来是全球数学界公认“最拥抱AI、最懂AI”的先锋。过去几年，他深度使用AI辅助证明、用Lean语言重构数学底座，甚至被称为“AI的头号数学代言人”。
一个最懂AI的数学天才，为什么突然在全世界面前拉响了最高级别的红色警报？
因为就在过去短短一个月里，数学界经历了人类诞生以来最惊悚的“算力闪电战”：
OpenAI调用了一万个AI智能体，在88小时内狂轰出1300亿个token，宣告攻克了困扰人类百年的千禧年数学难题之一，Navier–Stokes（纳维-斯托克斯）方程。
紧接着，包括陶哲轩在内的25位菲尔兹奖得主联署发布重磅檄文，痛斥AI巨头正在“摧毁数学的根基”。
▲ 25位菲尔兹奖得主联署声明，痛斥AI实验室把人类智力遗产当成跑分基准
一场关乎人类思维尊严、大学培养体制以及未来科学范式的终极风暴，已经全面爆发。
88小时的“暴力奇迹”与一场荒诞交易
要理解数学家们的愤怒与恐慌，先得明白OpenAI到底干了什么。
在数学世界里，有七道被国际数学界公认为终极挑战的“千禧年大奖难题”，每一道悬赏100万美元，凡是能解出一道的人，都会被直接写进人类文明史册。
其中一道，就是Navier–Stokes方程（流体动力学方程）。
▲ OpenAI发布关于Navier-Stokes千禧难题的攻克公告
用最通俗的话说，这组方程描述的是水流、空气、烟雾等流体的一切运动规律。小到血管里的血液流动、飞机机翼的气流设计，大到全球风暴天气预测，全靠它。
但在纯数学上，百年来始终悬着一把达摩克利斯之剑：在极端情况下，平滑流动的水流，会不会在有限时间内突然“速度爆炸”，产生数学上的物理奇异点（断裂失效）？
过去一个世纪，无数代顶尖人类数学家前赴后继，穷尽一生试图给出证明，进度条却极其缓慢。
然而，OpenAI却用一种近乎野蛮的方式，给出了答案。
他们没有依赖某一个横空出世的天才大脑，而是启动了一套庞大到令人窒息的多智能体集群（Multi-Agent System）：
- 一万个AI智能体
同时并发，结成不同的攻坚小组； 它们自动查阅人类所有的数学论文、运行验证代码、在内部留言板里疯狂交换假设； 仅仅88小时，系统就找到了构造奇点的突破口； 随后，AI又花了17小时，用严格的Lean形式化语言（一种机器绝对可检的数学编译器），自动生成了一份严丝合缝、完全没有逻辑漏洞的机器代码级证明！
整个过程，消耗了约270万条交互信息和1300亿输出token。
▲ 揭秘OpenAI万级Agent集群如何在数天内遍历数学潜空间
更讽刺、更具戏剧性的一幕随之发生：
据知情人士爆料，OpenAI在宣布这一突破前，曾私下找到一位人类数学教授，提出可以在这篇足以载入史册的证明上给教授署名。
但条件只有一个：必须踢掉他的长期学术搭档，因为那位搭档在竞品公司Anthropic工作。
商业公司的傲慢、对学术伦理的践踏、以及算力对人类智力的碾压，在这一刻暴露无遗。
陶哲轩发出的警告：人类正在吃掉自己的“种子粮”
事情发生后，网络上充斥着嘲讽声不少技术拥趸冷嘲热讽，称“数学家坐不住了”、“人类不过是嫉妒机器比自己聪明”、“这就好比当年的马车夫抗议汽车”。
知名科技博主Mark Bao一针见血地驳斥了这种浅薄的误读：“很多人根本没听懂陶哲轩在说什么。”
▲ Mark Bao发文指出：数学的灵魂在于“中间概念”，而黑箱AI正在扼杀这一切
陶哲轩所担忧的，始终聚焦于“中间概念（Intermediate Concepts）的彻底死亡”。
在人类数学史上，攻克一座世纪难题的过程，就像是一场漫长而伟大的登山。
人类为了翻过珠穆朗玛峰，在漫长的跋涉中发明了氧气面罩、防冻服、高山帐篷和卫星定位。深刻改变人类文明的，是登顶途中淬炼出的全新工具与思想概念。
数学也是如此人类为了证明费马大定理，创造了整套代数几何与模形式理论；为了研究微积分，奠定了整个现代工程学的地基。
解决问题固然重要，但探索过程中发明的新概念，才是滋养整个人类科学的源泉。
但AI是怎么做的？
AI是一个拥有无限算力的黑箱它直接用一万个分身在数学的无垠荒野里进行暴力穷举、随机碰撞，最后坐着火箭把一面旗子插在山顶，吐出一个完全正确的代码证明。
然后呢？中间的所有直觉、灵感、新的抽象概念，全被埋葬在了黑箱的亿万参数里。
陶哲轩在访谈中做了一个极其精妙的比喻：
“这就像看一部悬疑电影，AI直接把开头和结尾扔给你。技术上讲，案子确实破了；但中间所有的情节、人物动机和思维体验，全被剥离殆尽。”
当科学研究退化成“输入问题，黑箱暴力计算，吐出答案”，人类虽然得到了定理，却失去了学会新思维的机会。
这无异于一群饥肠辘辘的农民，为了饱腹，一口吞掉了来年要播种的所有种子粮。
25万数学博士的黄昏：传承900年的体系被砸碎
推特知名博主Prakash（@8teAPi）发表了一篇引发全网疯传的长文，字字见血：
▲ 社交网络长文：全人类财富仅供养25万在世数学博士，其培养管道已被AI砸碎
“全人类积累至今的财富，也仅能供养大约25万名在世的数学博士，这仅仅相当于美国密苏里州圣路易斯一个小城市的全部人口。”
“而支撑这个精英群体的培养管道，在过去这一个月里，被彻底砸得粉碎。”
从公元1088年世界上第一所大学（意大利博洛尼亚大学）建立以来，人类学术界的铁律已经延续了近千年：
一个博士生，必须为人类知识库做出属于自己的“原创性贡献”，才能拿到学位、成为学者。
导师出题，博士生苦思冥想三五年，尝试各种路径，最终写出一篇推进学科一小步的论文。
但现在，这个底座被抽空了
当前沿数学难题可以被一万个智能体在88小时内穷举扫荡、并由机器全自动检验真伪时，一个普通人类博士生苦熬五年的“原创”，在算力洪流面前脆弱得像一张白纸。
大学接下来该奖励什么？
是去奖励人类对机器发现的“死记硬背”？还是把曾经仰望星空的数学家，变成替AI检查代码、清理数据的“平庸打工仔”？
现实带来了一抹反讽：陶哲轩本人，曾是亲手打磨这把“利刃”的引路人。
数年前，陶哲轩率先在博客上倡导“协作数学”，推动使用Lean语言把大数学难题拆分成模块，让互不相识的人共同拼装。他梦想着用形式化验证构建一个没有信任壁垒的“全球大脑”。
但他没有料到，这个本意赋能人类的工具，被科技巨头的海量算力直接接管。
机器智能体没有疲倦、不需要睡眠，它们成千上万地涌入Lean的验证通道，用闪电战踏平了一切。
超越“跑分”迷局：人类数学家的反击
面对狂飙突进的商业算力，顶尖学者们没有选择坐以待毙。
在25位菲尔兹奖得主签署的《人工智能在数学中的严重错位》公开信中，科学家们发出了震耳欲聋的呼吁：
“在我们的职业中，最宝贵的资源是学生和思想；而在AI实验室眼里，最宝贵的资源只有GPU。”
“把数学当成跑分基准（Benchmark）去暴力破解，仓促宣布结果，不仅践踏了前人的劳动，更在摧毁学术界消化、提炼并将其转化为人类公共知识的慢机制。”
▲ 《人工智能在数学中的严重错位》官方声明页面
陶哲轩深知，单纯靠呼吁和道德谴责，挡不住资本和算力的车轮。
于是，他迅速联手非营利科研机构SAIR（科学与人工智能研究基金会），启动了“开源数学模型计划”。
▲ 陶哲轩在个人博客宣布启动SAIR开源科学模型倡议
他的逻辑非常清晰：如果算力巨头要用黑箱模型垄断科学的定义权，那么数学界就必须打造属于全人类的、开源透明的科学模型。
这个工具不为打榜跑分，不为资本公关，而是专注于：
帮助人类学者理解论证过程； 梳理文献谱系，绝不抹杀前人贡献； 把复杂冗长的机器证明，重新“翻译”成人脑可以理解、可以教学的优美概念。
站在新文明的分水岭
历史上，每一次技术的跃迁都会带来撕裂般的剧痛。
500多年前，欧洲的抄写员们曾愤怒抗议印刷机的诞生，认为冷冰冰的铅字剥夺了手工抄经的虔诚与神圣；
半个世纪前，手算时代的科学家面对第一台电子计算机，也曾担忧人类将失去心算与制表的能力。
但最终，印刷术没有消灭知识，反而带来了启蒙运动与现代科学；计算机没有毁灭数学，反而将人类送上了月球。
今天，人类再次站在了历史的断崖边
AI用88小时攻破千禧难题，宣告了一个旧时代的终结：纯粹比拼“暴力推导”和“公式计算”的时代，彻底过去了。
但机器永远无法回答的是：哪些问题才具有根本价值？什么样的数学才是优美的？我们探索未知的终极意义究竟是什么？
正如陶哲轩所言，当解题的速度被无限压缩，人类唯一要做的，就是重新夺回“思考的定义权”。
走出盲目的跑分竞赛，追问更有温度的思想本质，这事关25万数学家的未来，也承载着人类智能面对算力海啸时必须守住的崇高尊严。