数学家们慌得不行，丘成桐笑了：海啸来了，正好洗牌

丘成桐一句话点破AI数学海啸：躲的人会被淹死，冲的人能上岸

2026年10月6日傍晚，OpenAI干了一件让整个数学界睡不着觉的事。

GitHub上一次性甩出722篇数学手稿，归成372组研究成果，覆盖数论、几何、理论计算机科学等17个领域。平均每个结果耗费约3小时算力，其中162篇附带了Lean形式化证明。

什么意思？传统数学家花几年甚至几十年啃不下来的东西，AI三个小时给你摆桌上了。

匈牙利概率论学家Renyi说过一句名言：数学家是一台把咖啡变成定理的机器。现在真有一台这样的机器了，它不喝咖啡，它吃电。‌

但最戏剧性的不是AI有多猛。

是数学家们读不懂。

一个让所有人沉默的事实

OpenAI用内部模型搞定了纳维-斯托克斯方程的反例证明，困扰人类一百年的千禧年难题之一。西班牙数学家团队用纸笔做到了99%，AI用算力补上了最后那1%。‌

按理说该开香槟了对吧？

结果，MIT工程教育副院长Justin Solomon翻开那份证明，读完前两页，大脑直接宕机。他说：“那份证明读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值。”‌

主持人问：优雅吗？

Solomon苦笑：大概毫无优雅可言。

主持人又问：那它正确吗？

Solomon沉默了一下：大概是对的。‌

“它是对的”和“人类看懂了它”，在数学几千年的历史里几乎是同一件事。欧几里得的几何、牛顿的微积分，真理降临的时候，带着人类理性的温度。但这一次，真理来了，用的是外星语言。

数学家一觉醒来，发现自己的研究可能被终结了，但终结它的人，自己看不懂终结的成果。‌

这就是当下数学界最荒诞的画面。

25位菲尔兹奖得主联名，但丘成桐说了不一样的话

9月11日，陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主联名发表公开声明，标题就火药味十足：《人工智能在数学中的严重错位》。核心指控是：AI公司把攻克数学难题当成大模型的“跑分竞赛”，这种做法正在损害数学研究的生态。‌

陶哲轩用了一个词：“剧透”。

他的逻辑很清楚。数学难题的价值从来不是那个最终答案。费马大定理被攻克的350年里，真正推动数学前进的，是人们为了找答案而发明的工具、方法、思路。你直接剧透了，过程就死了。‌这个担心不是杞人忧天。MIT教授读不懂证明这件事本身就说明问题：AI给了你答案，但没给你理解答案的路径。一个靠穷举得出的定理，正确的，但也是冰冷的。

但丘成桐的态度不太一样。

10月11日，清华大学，丘成桐数学与人工智能实验室联盟成立仪式上，这位菲尔兹奖得主说了一句让很多人意外的话。

“AI的冲击如同海啸，我们要冲浪，而不是躲起来、避开它。”

他不是在打圆场。他看的东西比“抵制还是拥抱”更深一层。

丘成桐说：“于我们而言，探寻宇宙客观真理是压倒一切的优先目标。黑猫白猫，只要能得到真理，结果最重要。得到真理之后，我们再来讨论用什么手段去消化理解它。”‌

这句话翻译成人话就是：数学家几千年来的职业自豪感建立在“我能理解”上面，但真理不关心你有没有理解。真理就在那里。你能找到它，你就是赢家，不管你是人还是机器。

这跟陶哲轩的“剧透论”形成了真正的观点碰撞。

陶哲轩在乎的是过程的价值。数学不只是答案，是通向答案的路。路修好了，后人能走得更远。

丘成桐在乎的是答案本身。路可以后修，答案先拿到手。真理优先于理解。

谁对？

都对。但站在不同位置。

丘成桐的真正动作，比他说的话更重要

丘成桐不只是喊了一句“冲浪”。

同一天，丘成桐数学与人工智能实验室联盟在清华成立，联合八家一流数学研究机构，目标明确：数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能。

注意最后那个词：可解释。

丘成桐看得很清楚，AI现在最大的问题不是“能不能做出来”，是“做出来了人类看不懂”。纳维-斯托克斯那份证明，数学家翻两页就放弃，这东西再正确，也没法变成学科知识。它躺在那里，像一本用外星文写的天书。

所以他要做的事，不是抵制AI，不是躺平接受，是把AI的产出变成人能消化的东西。

这个思路的聪明之处在于：它承认了AI的解算能力已经超越了人类的阅读速度，但拒绝让“看不懂”成为终点。数学家的工作从“我来解题”变成了“我来翻译和验证”。

中国科学院院士席南华的判断更直接：本来推动数学发展的主要力量是数学家，现在有数学家之外的一股力量来推动了，出现不适应是必然的，但规则还没建立起来。‌

“规则还没建立起来”这七个字，才是问题的核心。

AI公司不是学术机构，不受同行评审约束。OpenAI发了722篇，隔天撤回了3篇，因为发现其中一个论证有错，另外两篇依赖它。这在传统学术出版里是不可想象的。但你拿它没办法，因为人家没投期刊，是在GitHub上发的。‌

学术圈的规矩管不住硅谷的节奏。

年轻数学家的真实处境：慌，但没必要慌

丘成桐说了一句实话：“机器的宏大势力让许多人不想再做了，尤其是年轻的学者们感到灰心。”‌

这不是危言耸听。博士生花三年啃一个开放问题，AI三小时出结果。你让他怎么想？

但换个角度看。AI三小时出的结果，人类读不懂。这个“读不懂”本身就是巨大的机会。谁来翻译？谁来验证？谁来把AI的碎片拼成体系？谁来判断哪些结果是真正有价值的，哪些只是算力堆出来的噪音？

经济学家早就发现过一个规律：当一项技术让某个环节的成本归零时，瓶颈会转移到下一个环节。

AI让“解题”的成本趋近于零。那么瓶颈就变成了“理解”和“判断”。这两个环节，恰恰是人类的强项，也是年轻数学家可以建立新能力的地方。

丘成桐说得很清楚：“这是一个学者们最兴奋的时代，也是最危险的时代。”‌

兴奋在哪？危险又在哪？

兴奋在：你有一个不知疲倦的解题机器，可以帮你遍历人类永远走不完的可能性空间。危险在：如果你只会解题，你就不再被需要了。

最后说一句

AI不是在杀死数学。

它在杀死“只会做题”的数学。

丘成桐的“冲浪”论，本质上是一个赌注：赌人类的价值不在于比机器算得快，而在于比机器看得远。机器给你一万个答案，你得知道哪个值得深挖。机器给你一份读不懂的证明，你得有本事把它嚼碎了喂给整个学科。

陶哲轩的“剧透”论，本质上是一个提醒：如果数学只剩下“找答案”这一个功能，那数学确实死了。因为答案本身没有生命，是寻找答案的过程让这门学科活着。

两个人说的都对。区别在于，丘成桐选择先拿到答案，再讨论怎么消化。陶哲轩选择先保护过程，怕消化不了。

现实是，答案已经摆在桌子上了，你讨论要不要拿，已经晚了。

现在的问题只剩下一个：你打算当冲浪的人，还是被浪拍在沙滩上的人。