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/