2小时搞定博士论文，3天终结40年悬案：AI宣判数学「死刑」？

新智元报道

编辑：KingHZ

【新智元导读】AI之下，数学大爆发！陶哲轩反击：证明在批量生产，可没人消化得了——数学正在「消化不良」。

2024年12月，Meta的研究科学家、日内瓦大学教授François Fleuret给数学宣判了死刑，缓期3年执行：

最近，菲尔兹奖得主Timothy Gowers用GPT-5.5 Pro，花了不到两个小时，独立完成了一项博士论文级别的数学研究。

而他不过提供了几个没有任何数学深层含义的提示词！

某种意义上，这是数学版的「Vibe Research」，就像Vibe Coding一样，研究人员动动嘴就能做研究了！

所以，François Fleuret认为，数学死期可能还会比他过去的预期还要更早！

他所说的「崩塌」，并非指数学消失，而是指人类在数学发现领域的绝对主导权彻底丧失。

Fleuret押下的赌注极其精确——36个月，即到2027年底。

这是一个业内顶级研究者对AI演进速度、自动定理证明器（ITP）以及大模型推理能力极限推演后的结果。

他认为AI可能重新发明数学，就像AlphaZero重新发现了国际象棋开局。

但在2024年，他也坦承：

「重新发明」这种说法有些夸张了。

我指的是表2https://arxiv.org/pdf/1712.01815.pdf

展示了AlphaZero偏好的开局，这些开局是它从基本原理中重新发明的，因为它无法接触人类棋局。

AI没有「重新发明数学」，但趋势已成！

证据正在加速堆积

在过去的一年里，证据逐级递增。

第一级：职业赛场的沦陷

2026年2月，首场AI挑战职业数学家的公开赛事「First Proof」落下帷幕。

在这场被视为数学界「深蓝之战」的比赛中，AI系统在规定的研究级问题中破掉了超过半数。

这意味着，AI已经从只能做奥数题的「解题机器」，进化到了能与人类职业数学家在未解决问题上一较高下的水平。

第二级：生产力的代差

如果说比赛是点状突破，AlphaEvolve则是系统性的推土机。

2025年至2026年间，该系统展示了令人绝望的效率：它仅用四个月就搞定了人类专家数月才能完成的推导工作。

在一项针对67道前沿数学难题的测试中，AlphaEvolve暴力破掉了23道，这种产出速度让传统的研究小组感到窒息。

第三级：40年悬案的三天终结

最扎心的证据来自Ernest Ryu。

他利用ChatGPT仅仅用了三天时间，就彻底证完了数学家Nesterov在1983年留下的凸优化领域悬案。

四十年来无数数学家试图补齐的拼图，在AI辅助下变得如同拼图游戏般简单。

随后，Ryu官宣跳槽OpenAI——这一举动被视为学术界向工业界最有力的「投降」宣言。

甚至在基础几何领域，AI也挖出了50年没人注意到的Bruhat区间超立方体结构。AI正在看到人类视网膜漏掉的真理。

论文链接：https://arxiv.org/abs/2601.01235

陶哲轩的转变

在这个进程中，当代最伟大的数学家陶哲轩（Terence Tao）的表现，成了全文最锋利的反转。

一方面，陶哲轩曾把当前的AI比作「廉价劳动力」，是一个「只会跳过6尺墙的机器人」。

言下之意，对于需要更高维度逻辑跳跃的「10尺高墙」，AI无能为力。他甚至直言，AI在数学研究中往往只能扮演初级助理的角色。

然而，嘴上说着「廉价」，身体却异常诚实。

三个月前，正是陶哲轩亲自带领团队，利用AlphaEvolve在那场震撼的测试中，从67道难题里生生抠出了23道解。

最终，陶哲轩的口风变了。

在最近的一次分享中，他不得不承认：「数学的面貌将与传统截然不同。」

这种反差背后隐藏着一个细思极恐的事实：如果连数学之神都需要AI来维持领先，那么普通数学家与AI的界限在哪里？

业内共识在浮现

Fleuret并不孤单。

顶级数学家Daniel Litt也给出了极强的判断：「这项技术（AI）的影响力可能超过计算机本身。」（this technology may be greater than the computer itself）。

越来越多的业内声音开始汇聚：AI不再是一个辅助计算的「高级计算器」，它正在生成直觉，正在通过大规模搜索和逻辑自我演化，触碰人类大脑从未抵达的逻辑盲区。

一种隐性共识正在顶级研究者之间形成：数学这块人类智慧的「试金石」，可能真的要先碎了。

这是人类作为「唯一真理发现者」身份的倒计时。

要么，AI在接下来的半年内攻陷最后几道标志性的数学防线，彻底确立其统治地位；要么，Fleuret作为一个「疯狂预言家」被同行钉在历史的耻辱柱上。

但看看最近半年证据堆积的速度，看看陶哲轩手中的AlphaEvolve，押注前者的人，已经占据了压倒性的多数。

没有痛苦的领域

智力将被空心化

AI把「过程」干掉了，把「直觉」干掉了，把下一代人最值钱的东西——那种踩过无数坑、撞过无数墙后突然开窍的底层能力——全干掉了。

你还在用AI写代码、做作业、刷题、备考，以为效率拉满？

醒醒吧。陶哲轩说，你现在就像坐直升机飞过整座山，山顶风景确实看得到，可你再也画不出地图，再也标不出路标，更别说教会别人怎么走。别人以后再遇到类似难题，找不到你的「脚印」，只能再叫一次直升机。

AI可以帮助去掉「人为造成的阅读困难」（比如表述混乱），但不应该把「自然的难度」也一并消除。

就像高级厨师做的菜远胜于机器加工的流食一样，数学的真正理解需要人主动思考，而不是被AI彻底「喂」到嘴边。

波尔加更狠。

她是国际象棋史上最强女王，亲眼见过引擎把整个棋界掀翻。

朱迪特·波尔加（Judit Polgár），匈牙利国际象棋女棋手，国际棋联名誉副主席。

最新采访里，她直接点明：

直觉不是天生的，是经验堆出来的。AI给年轻人省掉了那90%的苦练时间，他们就永远拿不到那10%的神级洞察。

数据锤来了——反复记住这个数字：90%。

波尔加说，90%的直觉来自「投入的时间不够多」。AI把这90%直接砍掉，只剩10%的「答案」。

你以为自己赢了，其实输掉了成为高手的根。

参考资料：

https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/

https://terrytao.wordpress.com/2025/11/05/mathematical-exploration-and-discovery-at-scale/

https://www.daniellitt.com/blog/2026/2/20/mathematics-in-the-library-of-babel

https://www.theatlantic.com/technology/2026/02/ai-math-terrance-tao/686107/

https://mathstodon.xyz/@tao/116551624228986501

https://www.forbes.com/sites/danfitzpatrick/2026/05/07/the-queen-of-chess-on-what-schools-are-getting-wrong-about-ai/