新智元報道
編輯論文：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年，他也坦承：
「重新發明」這種說法有些誇張了論文。
我指的是表2
展示了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正在看到人類視網膜漏掉的真理。
論文連結：
陶哲軒的轉變
在這個程序中，當代最偉大的數學家陶哲軒（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%的「答案」。
你以為自己贏了，其實輸掉了成為高手的根論文。
參考資料論文：
秒追ASI
