新智元報道

編輯：KingHZ

【新智元導讀】AI之下，數(shù)學大爆發(fā)！陶哲軒反擊：證明在批量生產(chǎn)，可沒人消化得了——數(shù)學正在「消化不良」。

2024年12月，Meta的研究科學家、日內(nèi)瓦大學教授Fran?ois Fleuret給數(shù)學宣判了死刑，緩期3年執(zhí)行：

最近，菲爾茲獎得主Timothy Gowers用GPT-5.5 Pro，花了不到兩個小時，獨立完成了一項博士論文級別的數(shù)學研究。

而他不過提供了幾個沒有任何數(shù)學深層含義的提示詞！

某種意義上，這是數(shù)學版的「Vibe Research」，就像Vibe Coding一樣，研究人員動動嘴就能做研究了！

所以，F(xiàn)ran?ois Fleuret認為，數(shù)學死期可能還會比他過去的預期還要更早！

他所說的「崩塌」，并非指數(shù)學消失，而是指人類在數(shù)學發(fā)現(xiàn)領(lǐng)域的絕對主導權(quán)徹底喪失。

Fleuret押下的賭注極其精確——36個月，即到2027年底。

這是一個業(yè)內(nèi)頂級研究者對AI演進速度、自動定理證明器（ITP）以及大模型推理能力極限推演后的結(jié)果。

他認為AI可能重新發(fā)明數(shù)學，就像AlphaZero重新發(fā)現(xiàn)了國際象棋開局。

但在2024年，他也坦承：

「重新發(fā)明」這種說法有些夸張了。

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

展示了AlphaZero偏好的開局，這些開局是它從基本原理中重新發(fā)明的，因為它無法接觸人類棋局。

AI沒有「重新發(fā)明數(shù)學」，但趨勢已成！

證據(jù)正在加速堆積

在過去的一年里，證據(jù)逐級遞增。

第一級：職業(yè)賽場的淪陷

2026年2月，首場AI挑戰(zhàn)職業(yè)數(shù)學家的公開賽事「First Proof」落下帷幕。

在這場被視為數(shù)學界「深藍之戰(zhàn)」的比賽中，AI系統(tǒng)在規(guī)定的研究級問題中破掉了超過半數(shù)。

這意味著，AI已經(jīng)從只能做奧數(shù)題的「解題機器」，進化到了能與人類職業(yè)數(shù)學家在未解決問題上一較高下的水平。

第二級：生產(chǎn)力的代差

如果說比賽是點狀突破，AlphaEvolve則是系統(tǒng)性的推土機。

2025年至2026年間，該系統(tǒng)展示了令人絕望的效率：它僅用四個月就搞定了人類專家數(shù)月才能完成的推導工作。

在一項針對67道前沿數(shù)學難題的測試中，AlphaEvolve暴力破掉了23道，這種產(chǎn)出速度讓傳統(tǒng)的研究小組感到窒息。

第三級：40年懸案的三天終結(jié)

最扎心的證據(jù)來自Ernest Ryu。

他利用ChatGPT僅僅用了三天時間，就徹底證完了數(shù)學家Nesterov在1983年留下的凸優(yōu)化領(lǐng)域懸案。

四十年來無數(shù)數(shù)學家試圖補齊的拼圖，在AI輔助下變得如同拼圖游戲般簡單。

隨后，Ryu官宣跳槽OpenAI——這一舉動被視為學術(shù)界向工業(yè)界最有力的「投降」宣言。

甚至在基礎幾何領(lǐng)域，AI也挖出了50年沒人注意到的Bruhat區(qū)間超立方體結(jié)構(gòu)。AI正在看到人類視網(wǎng)膜漏掉的真理。

論文鏈接：https://arxiv.org/abs/2601.01235

陶哲軒的轉(zhuǎn)變

在這個進程中，當代最偉大的數(shù)學家陶哲軒（Terence Tao）的表現(xiàn)，成了全文最鋒利的反轉(zhuǎn)。

一方面，陶哲軒曾把當前的AI比作「廉價勞動力」，是一個「只會跳過6尺墻的機器人」。

言下之意，對于需要更高維度邏輯跳躍的「10尺高墻」，AI無能為力。他甚至直言，AI在數(shù)學研究中往往只能扮演初級助理的角色。

然而，嘴上說著「廉價」，身體卻異常誠實。

三個月前，正是陶哲軒親自帶領(lǐng)團隊，利用AlphaEvolve在那場震撼的測試中，從67道難題里生生摳出了23道解。

最終，陶哲軒的口風變了。

在最近的一次分享中，他不得不承認：「數(shù)學的面貌將與傳統(tǒng)截然不同。」

這種反差背后隱藏著一個細思極恐的事實：如果連數(shù)學之神都需要AI來維持領(lǐng)先，那么普通數(shù)學家與AI的界限在哪里？

業(yè)內(nèi)共識在浮現(xiàn)

Fleuret并不孤單。

頂級數(shù)學家Daniel Litt也給出了極強的判斷：「這項技術(shù)（AI）的影響力可能超過計算機本身。」（this technology may be greater than the computer itself）。

越來越多的業(yè)內(nèi)聲音開始匯聚：AI不再是一個輔助計算的「高級計算器」，它正在生成直覺，正在通過大規(guī)模搜索和邏輯自我演化，觸碰人類大腦從未抵達的邏輯盲區(qū)。

一種隱性共識正在頂級研究者之間形成：數(shù)學這塊人類智慧的「試金石」，可能真的要先碎了。

這是人類作為「唯一真理發(fā)現(xiàn)者」身份的倒計時。

要么，AI在接下來的半年內(nèi)攻陷最后幾道標志性的數(shù)學防線，徹底確立其統(tǒng)治地位；要么，F(xiàn)leuret作為一個「瘋狂預言家」被同行釘在歷史的恥辱柱上。

但看看最近半年證據(jù)堆積的速度，看看陶哲軒手中的AlphaEvolve，押注前者的人，已經(jīng)占據(jù)了壓倒性的多數(shù)。

沒有痛苦的領(lǐng)域

智力將被空心化

AI把「過程」干掉了，把「直覺」干掉了，把下一代人最值錢的東西——那種踩過無數(shù)坑、撞過無數(shù)墻后突然開竅的底層能力——全干掉了。

你還在用AI寫代碼、做作業(yè)、刷題、備考，以為效率拉滿？

醒醒吧。陶哲軒說，你現(xiàn)在就像坐直升機飛過整座山，山頂風景確實看得到，可你再也畫不出地圖，再也標不出路標，更別說教會別人怎么走。別人以后再遇到類似難題，找不到你的「腳印」，只能再叫一次直升機。

AI可以幫助去掉「人為造成的閱讀困難」（比如表述混亂），但不應該把「自然的難度」也一并消除。

就像高級廚師做的菜遠勝于機器加工的流食一樣，數(shù)學的真正理解需要人主動思考，而不是被AI徹底「喂」到嘴邊。

波爾加更狠。

她是國際象棋史上最強女王，親眼見過引擎把整個棋界掀翻。

朱迪特·波爾加（Judit Polgár），匈牙利國際象棋女棋手，國際棋聯(lián)名譽副主席。

最新采訪里，她直接點明：

直覺不是天生的，是經(jīng)驗堆出來的。AI給年輕人省掉了那90%的苦練時間，他們就永遠拿不到那10%的神級洞察。

數(shù)據(jù)錘來了——反復記住這個數(shù)字：90%。

波爾加說，90%的直覺來自「投入的時間不夠多」。AI把這90%直接砍掉，只剩10%的「答案」。

你以為自己贏了，其實輸?shù)袅顺蔀楦呤值母?/p>

參考資料：

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/