新智元报道
编辑：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/