新智元報(bào)道

編輯：犀牛

【新智元導(dǎo)讀】陶哲軒最新判斷，數(shù)學(xué)正在從「證明稀缺」進(jìn)入「證明過?！箷r(shí)代——數(shù)學(xué)家最值錢的工作已不再只是「做出證明」，而是驗(yàn)證它、消化它，并把一塊 AI 吐出的「生肉證明」變成人類真正吃得下的知識。

最近，陶哲軒在 Mastodon 拋出一記重磅判斷——

數(shù)學(xué)正在從證明稀缺時(shí)代，進(jìn)入證明過剩時(shí)代（from an era of proof scarcity to an era of proof abundance）！

在AI對Erd?s問題的貢獻(xiàn)Github頁面上，20多份 AI 提交的全部或部分解，正堆在「pending assessment」（待評估）那一欄。

而在此之前，這個(gè)分類常年只有1-2份。

一夜之間，AI 正在以令人窒息的速度瘋狂輸出數(shù)學(xué)證明。

問題是——沒人來得及看。

問題求解「三件套」

生成、驗(yàn)證、消化

陶哲軒把這次的思考建立在一個(gè)簡潔的框架上。

他說，數(shù)學(xué)問題求解從來不是一件事，而是三件事：

• Proof generation（證明生成）：把一個(gè)猜想從「未解決」推到「有解」。

• Proof verification（證明驗(yàn)證）：確認(rèn)這個(gè)解是對的，邏輯沒有漏洞。

• Proof digestion（證明消化）：把證明讀懂、講透、提煉出方法論，讓整個(gè)領(lǐng)域受益。

在過去的幾百年里，三件事基本由同一撥人完成——你證了一個(gè)定理，你自然理解它，你寫論文解釋它。

這三個(gè)環(huán)節(jié)之間不存在「瓶頸差」。

但 AI 來了之后，情況變了。

生成環(huán)節(jié)被 LLM 大幅加速，驗(yàn)證環(huán)節(jié)有 Lean、Coq 等形式化工具兜底，唯獨(dú)消化環(huán)節(jié)——那個(gè)需要人類大腦去理解「這個(gè)證明到底意味著什么」的環(huán)節(jié)——完全跟不上。

陶哲軒用了一個(gè)精確的工程術(shù)語來形容這種錯(cuò)位：impedance mismatch（阻抗失配）。

三個(gè)環(huán)節(jié)的速度不匹配了：證明像洪水一樣涌來，但理解的堤壩還是手工砌的。

他說，想象兩種社會。

食物稀缺的社會，最受尊敬的人是獵手和農(nóng)夫——是那些「bring home the bacon」（把食物帶回家）的人。

你獵回一頭鹿，不管肉質(zhì)如何，整個(gè)部落都會感激你，會有人主動(dòng)幫你清洗、烹飪、分配。幾乎任何沒有毒的食物貢獻(xiàn)都受歡迎。

食物過剩的社會則完全不同。

想象一個(gè) pot-luck 派對（每人帶一道菜的聚餐）。如果一個(gè)陌生人闖進(jìn)來，扔下一塊來路不明的生肉，讓大家自己去處理——沒有人會高興。

甚至超市買來的預(yù)包裝食品，也只是勉強(qiáng)算數(shù)。

真正受歡迎的，是社區(qū)里受信任的成員精心烹制的家常菜——不僅因?yàn)楹贸?，更因?yàn)閲@這道菜的對話本身就是社交的一部分，也是培養(yǎng)下一代廚師的機(jī)會。

回到數(shù)學(xué)——AI 跑出來的「生肉證明」（raw proof），就是那塊被陌生人扔在派對上的神秘肉。

它可能是正確的。它可能通過了形式化驗(yàn)證。

但沒有人清洗過它、烹飪過它、也沒有人能告訴你它到底好不好吃。

陶哲軒直言：這種「貢獻(xiàn)」不僅沒有推進(jìn)問題的實(shí)際進(jìn)展（do not measurably advance the progress），反而可能產(chǎn)生一個(gè)「負(fù)面效果」——它殺死了人們繼續(xù)研究這個(gè)問題的興趣。

問題被宣告「已解決」了，但沒人懂這個(gè)解。

好比一道菜被端上桌，但沒人敢動(dòng)筷子。

于是這道菜——連同圍繞它可能產(chǎn)生的所有對話和靈感——就這樣涼了。

Erd?s #1196，唯一跑通「三件套」的案例

理論都需要一個(gè)切片去檢驗(yàn)。

陶哲軒反復(fù)提到的那個(gè)切片，就是 Erd?s 問題 #1196。

這是一個(gè)關(guān)于「primitive sets」（本原集）的猜想：在一個(gè)整數(shù)集合中，如果沒有任何元素整除另一個(gè)元素，那么對所有元素 a 按 1/(a·log a) 求和，當(dāng)集合元素趨于無窮大時(shí)，這個(gè)和是否趨近于1？

1968年，Erd?s、Sárk?zy 和 Szemerédi 提出了這個(gè)猜想。

此后將近60年，數(shù)學(xué)家們不斷逼近——斯坦福數(shù)學(xué)家 Jared Lichtman 花了數(shù)年證明了一個(gè)相關(guān)的上界（約1.399），但最終的漸近猜想始終懸而未決。

2026年4月的某個(gè)周一下午，23歲的 Liam Price 把這道題丟進(jìn)了 GPT-5.4 Pro。

Price 沒有數(shù)學(xué)博士學(xué)位，沒有多年的專業(yè)訓(xùn)練。他用的是一個(gè)20美元/月的 ChatGPT Pro 訂閱——任何人都能用的工具。

80分鐘。

模型走通了一條數(shù)學(xué)界忽視了近90年的路徑：用von Mangoldt 函數(shù)（一種經(jīng)典的解析數(shù)論權(quán)重函數(shù)）結(jié)合馬爾可夫過程理論，構(gòu)造出了一個(gè)全新的證明框架。

這個(gè)技術(shù)組合已經(jīng)存在了幾十年，但從未有人想到把它用在本原集問題上。

證明出來了。

但如果故事到這里就結(jié)束，它只不過又是一塊「神秘肉」。

關(guān)鍵在于接下來發(fā)生的事：陶哲軒親自下場。

他在24小時(shí)內(nèi)驗(yàn)證了證明的核心思路，隨后將其擴(kuò)展、重組、打磨，最終揭示出這個(gè)證明背后隱藏著一條更深層的聯(lián)系——整數(shù)解剖學(xué)（integeranatomy）與馬爾可夫過程理論之間一條此前未被描述的全新橋梁。

這就是證明消化（proof digestion）。

不只是「對不對」的問題，而是「它意味著什么」的問題。

陶哲軒稱 #1196 是目前唯一一個(gè)三階段——生成、驗(yàn)證、消化——都基本跑通的案例。

也正因如此，他反復(fù)強(qiáng)調(diào)一個(gè)原則：理想狀態(tài)是同一撥人完成全部三件事。

而現(xiàn)實(shí)中，越來越多的人在用 AI 生成證明后，沒時(shí)間去驗(yàn)證和消化，就直接提交了。

這正是 Erd?s 問題近20多份待評估方案堆積的直接原因。

三處表態(tài)，同一判斷

陶哲軒不是在一個(gè)地方隨口說說。

他在幾乎同一時(shí)期，通過三個(gè)不同渠道發(fā)出了同一個(gè)信號。

4月27日，Mastodon 長帖：正式提出「證明稀缺→證明過?！沟姆妒脚袛?。

4月27日，Nature 訪談（The job description is changing）：他對記者 Davide Castelvecchi 說，數(shù)學(xué)家的「崗位描述」正在改變。一個(gè)拒絕碰 AI 工具、只想用傳統(tǒng)方式做證明的研究生，未來可能會發(fā)現(xiàn)自己的機(jī)會越來越少。

能在傳統(tǒng)數(shù)學(xué)功底之上熟練運(yùn)用新工具的人，才會真正繁榮。

3月29日，博客長文《Mathematical methods and human thought in the age of AI》：他和 Klowden 花了超過一年寫成這篇論文，試圖超越眼前的技術(shù)細(xì)節(jié)，直面更根本的哲學(xué)問題——數(shù)學(xué)證明的本質(zhì)是什么？論文的目的是什么？我們這個(gè)職業(yè)存在的意義是什么？

他在博客中寫道：如果我們自己不回答這些問題，它們就會被科技公司或經(jīng)濟(jì)激勵(lì)機(jī)制替我們回答。

三處表態(tài)，同一個(gè)內(nèi)核：數(shù)學(xué)家的核心競爭力正在遷移——從「誰先生成證明」，轉(zhuǎn)向「誰能選對問題、設(shè)計(jì)工作流、驗(yàn)證并消化結(jié)果」。

稀缺的不再是答案，而是理解。

更大的震蕩：學(xué)術(shù)評價(jià)體系要重寫

如果只是數(shù)學(xué)家的工作方式變了，那還只是一個(gè)學(xué)科內(nèi)部的事。

但陶哲軒看到的遠(yuǎn)不止此。

當(dāng)證明的成本被 AI 壓到接近于零，當(dāng)證明驗(yàn)證被 Lean/Coq 等形式化引擎大幅自動(dòng)化——證明消化這個(gè)環(huán)節(jié)的價(jià)值就會被重估。

過去，消化證明是「免費(fèi)的」。

你證了一個(gè)定理，你自然會理解它，會在論文里解釋它。這個(gè)勞動(dòng)從未被單獨(dú)計(jì)價(jià)。

但當(dāng)證明的生產(chǎn)者（AI）和理解者（人類）被拆開之后，消化就從隱性勞動(dòng)變成了顯性稀缺資源。

這意味著整個(gè)學(xué)術(shù)聲望的分配邏輯要變。

Citation 體系、論文評審標(biāo)準(zhǔn)、獎(jiǎng)項(xiàng)評選規(guī)則、甚至招聘和晉升的依據(jù)——所有這些圍繞「誰先證了什么」建立起來的激勵(lì)結(jié)構(gòu)，都將面臨重構(gòu)。

陶哲軒預(yù)測：就像現(xiàn)代社會不再把生食原料當(dāng)作一頓飯一樣，數(shù)學(xué)研究文化將不再把「未消化的裸證明」（raw, undigested proofs）視為對一個(gè)問題的解決方案。

未來的評判標(biāo)準(zhǔn)，將聚焦于一個(gè)貢獻(xiàn)究竟在多大程度上豐富了整個(gè)領(lǐng)域，而非僅僅「解決」了問題本身。

而且這不只是數(shù)學(xué)一個(gè)學(xué)科的事。

AI for Math 的范式漂移，將成為所有強(qiáng)證明型學(xué)科的預(yù)演——理論物理中的計(jì)算驗(yàn)證、密碼學(xué)中的安全性證明、軟件工程中的形式化驗(yàn)證——所有依賴「正確性論證」作為核心產(chǎn)出的領(lǐng)域，都將面臨同樣的「阻抗失配」。

證明會越來越多，越來越快，越來越便宜。

證明的時(shí)代沒有結(jié)束。

但「證明即一切」的時(shí)代，正在落幕。

未來屬于那些不僅能「算出來」，更能「講明白」的人。

參考資料：

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

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

https://www.nature.com/articles/d41586-026-01246-9

https://terrytao.wordpress.com/2026/03/29/mathematical-methods-and-human-thought-in-the-age-of-ai/