昨天，陶哲軒在他的個(gè)人博客上發(fā)布了一則論文更新。他在貼文中寫(xiě)道，“我很少寫(xiě)哲學(xué)性質(zhì)的長(zhǎng)篇文章，上一次大概是 2007 年?！边@位菲爾茲獎(jiǎng)得主、加州大學(xué)洛杉磯分校數(shù)學(xué)教授，剛在 arXiv 上傳了一篇題為《人工智能時(shí)代的數(shù)學(xué)方法與人類(lèi)思維》(Mathematical Methods And Human Thoughts In The Age Of AI) 的論文，論文的合著者是他的多年好友、跨學(xué)科學(xué)者 Tanya Klowden。

陶哲軒還補(bǔ)充道，這篇論文的撰寫(xiě)耗時(shí)超過(guò)一年，或許這聽(tīng)起來(lái)和當(dāng)今人工智能的發(fā)展速度相比有些滯后。但他們想跳出當(dāng)下人工智能與形式化工具帶來(lái)的具體技術(shù)問(wèn)題，而是想把視角聚焦在 AI 與人類(lèi)智能關(guān)系的深度思考：他們的話(huà)題非常的廣泛，從古希臘的歐幾里得講到當(dāng)下的大語(yǔ)言模型，從數(shù)學(xué)證明的“氣味”談到十九世紀(jì)盧德分子砸毀紡織機(jī)的往事。論文將作為即將出版的《布萊克威爾數(shù)學(xué)哲學(xué)指南》中的一個(gè)章節(jié)。

（來(lái)源：陶哲軒個(gè)人博客）

過(guò)去兩年，陶哲軒對(duì) AI 工具的態(tài)度經(jīng)歷了一次公開(kāi)的轉(zhuǎn)變。在2024 年，他曾把使用 AI 做數(shù)學(xué)比作“指導(dǎo)一個(gè)平庸但還算有點(diǎn)能力的研究生”。而到了 2026 年 2 月初，在 UCLA 舉辦的一場(chǎng)名為“用 AI 加速數(shù)學(xué)與理論物理”的會(huì)議上，他的措辭變成了“AI 現(xiàn)在可以正式上場(chǎng)了”，因?yàn)樗肮?jié)省的時(shí)間已經(jīng)超過(guò)了它浪費(fèi)的時(shí)間”。

但陶哲軒并沒(méi)有因此變成技術(shù)樂(lè)觀(guān)主義的布道者。他依然站在“人”的這一側(cè)。這篇新論文試圖回答的問(wèn)題是：當(dāng) AI 可以生成外表光鮮、邏輯上無(wú)可挑剔的數(shù)學(xué)證明時(shí)，我們還需要人類(lèi)數(shù)學(xué)家做什么？更廣泛地說(shuō)，當(dāng) AI 開(kāi)始自動(dòng)化創(chuàng)造過(guò)程本身，不只是通訊、計(jì)算、排版這些輔助環(huán)節(jié)，我們?cè)撊绾沃匦露x智識(shí)工作的價(jià)值？

論文的核心論點(diǎn)可以概括為一句話(huà)：AI 是人類(lèi)工具演進(jìn)的自然延續(xù)，但它的發(fā)展必須以人為中心。這聽(tīng)起來(lái)像是一句正確但空洞的口號(hào)，但陶哲軒和 Klowden 花了相當(dāng)篇幅來(lái)解釋他們所說(shuō)的“以人為中心”具體意味著什么。

首先是關(guān)于數(shù)學(xué)證明的“氣味”問(wèn)題。這里的“氣味”可以理解成一種直覺(jué)性的體驗(yàn)，任何一個(gè)有經(jīng)驗(yàn)的數(shù)學(xué)家在閱讀一篇論文時(shí)，往往在逐行檢查之前就已經(jīng)對(duì)論證的可信度有了直覺(jué)判斷。這種直覺(jué)來(lái)自于證明是否提供了“理解”，不只是顯示假設(shè)蘊(yùn)含結(jié)論，還能解釋為什么這種蘊(yùn)含是可能的，哪些步驟是關(guān)鍵的，哪些是常規(guī)的。論文引用了著名數(shù)學(xué)家瑟斯頓（William Thurston）的觀(guān)點(diǎn)：好的證明不僅正確，還要提供洞見(jiàn)。

問(wèn)題在于，當(dāng)前的形式化驗(yàn)證系統(tǒng)（如 Lean 或 Rocq）只能檢查證明的邏輯正確性，無(wú)法捕捉這種“氣味”。一個(gè) AI 可能產(chǎn)出“無(wú)味”的證明，在技術(shù)上完美無(wú)瑕，卻讓讀者感到莫名不滿(mǎn)，因?yàn)樗鼪](méi)有告訴你任何關(guān)于更廣泛數(shù)學(xué)領(lǐng)域的信息。

2024 年國(guó)際數(shù)學(xué)奧林匹克（International Mathematical Olympiad，簡(jiǎn)稱(chēng) IMO）上，DeepMind 的 AlphaProof 系統(tǒng)解出了包括最難的第六題在內(nèi)的三道題目，獲得銀牌水平的成績(jī)。但陶哲軒在論文中指出，那些 AI 生成的證明“包含大量冗余或難以解釋的步驟”，盡管它們都通過(guò)了 Lean 的形式化驗(yàn)證。

這就引出了論文的第二個(gè)關(guān)鍵論點(diǎn)：形式化驗(yàn)證是必要的，但遠(yuǎn)遠(yuǎn)不夠，翻譯錯(cuò)誤的風(fēng)險(xiǎn)始終存在。費(fèi)馬大定理陳述中隱含的假設(shè)是自然數(shù)從 1 開(kāi)始而非從 0 開(kāi)始，一個(gè)不加注意的 AI 可能因此“證明”費(fèi)馬大定理是錯(cuò)的。更微妙的是，即使在純粹抽象的數(shù)學(xué)領(lǐng)域，只有一部分論證可以被形式化；圍繞這個(gè)核心的是一圈啟發(fā)式、經(jīng)驗(yàn)性、元數(shù)學(xué)的推理，這些推理提供了關(guān)于論證為何有效、是否可推廣、動(dòng)機(jī)何在的寶貴信息。

這些問(wèn)題在數(shù)學(xué)領(lǐng)域已經(jīng)足夠復(fù)雜，推廣到現(xiàn)實(shí)世界就更加棘手了。論文用了相當(dāng)篇幅討論 AI 的社會(huì)成本：數(shù)據(jù)中心的能源和水資源消耗、入門(mén)級(jí)工作崗位的消失、訓(xùn)練數(shù)據(jù)的知識(shí)產(chǎn)權(quán)爭(zhēng)議、以及“數(shù)字鴻溝”。不僅是有 AI 和沒(méi)有 AI 的人群之間的差距，還包括被鎖定在不同 AI 生態(tài)系統(tǒng)中的研究者之間能力的不均衡。

Tanya Klowden 的加入則讓論文有了更加廣泛的關(guān)切。

圖 | 陶哲軒與 Tanya 合照（來(lái)源：Instagram）

她的背景頗為豐富精彩：首先是物理學(xué)碩士（研究課題是石墨烯的催化刻蝕）、藝術(shù)史碩士（研究 16 世紀(jì)西班牙宮廷肖像畫(huà)中的合作關(guān)系），曾是舞臺(tái)設(shè)計(jì)師，現(xiàn)在是倫敦考陶爾德藝術(shù)學(xué)院的博士研究生。陶哲軒在博客中稱(chēng)她為“博學(xué)者”（polymath），兩人還合作撰寫(xiě)了一本關(guān)于天文學(xué)距離階梯的科普書(shū)籍，即將由耶魯大學(xué)出版社出版。這種跨學(xué)科的組合使得論文能夠在技術(shù)細(xì)節(jié)和人文關(guān)懷之間自如切換：從 Lean 證明助手的語(yǔ)法講到十九世紀(jì)諾丁漢紡織工人的絕望反抗。

論文中有一個(gè)引人注目的類(lèi)比，現(xiàn)代 AI 的出現(xiàn)類(lèi)似于天文學(xué)中的哥白尼革命，這在陶哲軒在近日接受 Dwarkesh Podcast 采訪(fǎng)也有所提及。在古代地心說(shuō)模型中，地球享有宇宙中心的特殊本體論地位；歷經(jīng)幾個(gè)世紀(jì)的天文學(xué)和物理學(xué)進(jìn)步，這種特權(quán)被逐步瓦解，取而代之的是哥白尼原理。地球只是無(wú)數(shù)行星中的一顆，不受自然法則的任何特殊對(duì)待。類(lèi)似地，人類(lèi)智能長(zhǎng)期以來(lái)被視為認(rèn)知宇宙的中心，但現(xiàn)在我們正在發(fā)現(xiàn)（或創(chuàng)造）其他與我們?cè)诤芏喾矫婵杀鹊纸厝徊煌摹爸悄苄行恰薄?/p>

（來(lái)源：Youtube）

這個(gè)類(lèi)比的微妙之處在于：接受地球在宇宙中的平凡地位，并不妨礙我們繼續(xù)高度關(guān)心地球上發(fā)生的事情。同樣，承認(rèn)人類(lèi)智能不再是唯一的智能形式，也不意味著我們要放棄對(duì)人類(lèi)認(rèn)知活動(dòng)的重視。論文引用了國(guó)際象棋的例子：自從 1990 年代人類(lèi)棋手再也無(wú)法戰(zhàn)勝象棋引擎之后，國(guó)際象棋非但沒(méi)有消亡，反而作為一項(xiàng)人類(lèi)活動(dòng)繼續(xù)繁榮。棋手們把引擎整合進(jìn)訓(xùn)練中，用它來(lái)重新審視舊理論、探索新戰(zhàn)術(shù)、尋找即使是“不可戰(zhàn)勝”的 AI 也可能存在的弱點(diǎn)。

但論文也承認(rèn)，這種樂(lè)觀(guān)的共存場(chǎng)景有賴(lài)于一些條件，而這些條件目前遠(yuǎn)未得到滿(mǎn)足。作者們明確拒絕了三種極端立場(chǎng)：純粹形式主義（只要符號(hào)操作正確就行，不需要理解），人類(lèi)沙文主義（人類(lèi)創(chuàng)造力有某種不可言喻的特質(zhì)是 AI 永遠(yuǎn)無(wú)法復(fù)制的），以及 AI 至上主義（人類(lèi)認(rèn)知活動(dòng)是一種苦差事，應(yīng)該盡快被自動(dòng)化取代）。他們認(rèn)為，在這些極端之間存在哲學(xué)上的中間地帶，可以為人與 AI 之間的互補(bǔ)共存提供有用的視角。

具體到當(dāng)下的實(shí)踐建議，論文提出了一個(gè)逐步演進(jìn)的框架。短期內(nèi)，AI 應(yīng)該像烘焙中的香草精，適量添加可以提升風(fēng)味，過(guò)量則會(huì)毀掉整道菜。中期內(nèi)，AI 適合扮演“紅隊(duì)”角色，負(fù)責(zé)測(cè)試、驗(yàn)證、檢查人類(lèi)生成的內(nèi)容，但不應(yīng)該在“藍(lán)隊(duì)”，即核心創(chuàng)作環(huán)節(jié)和承擔(dān)結(jié)構(gòu)性職責(zé)。至于長(zhǎng)期，論文只是提出了問(wèn)題而沒(méi)有給出答案：如果未來(lái)某一天，AI 在所有實(shí)際維度上都超越了人類(lèi)專(zhuān)家，我們將如何應(yīng)對(duì)那些關(guān)于智識(shí)勞動(dòng)價(jià)值的根本性哲學(xué)問(wèn)題？

陶哲軒在 Dwarkesh 那里接受采訪(fǎng)時(shí)曾說(shuō)，他在 2023 年預(yù)測(cè)“到 2026 年 AI 將成為數(shù)學(xué)研究中值得信賴(lài)的合著者”，現(xiàn)在他對(duì)這個(gè)預(yù)測(cè)感到滿(mǎn)意。但他也坦言，AI 讓他的論文更豐富了，核心突破仍然要靠紙筆完成。AI 擅長(zhǎng)廣度，人類(lèi)擅長(zhǎng)深度，二者高度互補(bǔ)；他認(rèn)為人機(jī)混合將在數(shù)學(xué)領(lǐng)域占據(jù)主導(dǎo)地位的時(shí)間會(huì)比很多人預(yù)期的更長(zhǎng)。

論文的最后一部分坦率地討論了知識(shí)產(chǎn)權(quán)和責(zé)任歸屬的困境。當(dāng) AI 被應(yīng)用于一個(gè)問(wèn)題時(shí)，誰(shuí)對(duì)錯(cuò)誤負(fù)責(zé)？誰(shuí)獲得洞見(jiàn)的榮譽(yù)？這兩者可能并不是同一方，甚至可能根本沒(méi)有明確定義的“方”。傳統(tǒng)的學(xué)術(shù)引用系統(tǒng)是否足以處理一個(gè)可能有數(shù)百或數(shù)千個(gè)“隱藏”貢獻(xiàn)者的場(chǎng)景？?jī)H僅引用 AI 模型本身是否足夠？論文沒(méi)有給出答案，但它指出，隱藏 AI 使用的做法已經(jīng)在學(xué)術(shù)界引發(fā)了類(lèi)似于抄襲的強(qiáng)烈反應(yīng)，這反過(guò)來(lái)又導(dǎo)致一些從工具中受益的研究者更加隱蔽地使用它們。

在采訪(fǎng)和博客中，陶哲軒反復(fù)強(qiáng)調(diào)一個(gè)觀(guān)點(diǎn)：AI 的能力不是一個(gè)單一的量。同一個(gè)任務(wù)，根據(jù)你給它多少資源、多少輔助、如何報(bào)告結(jié)果，AI 的表現(xiàn)可以相差幾個(gè)數(shù)量級(jí)。用他在 Mastodon 上的帖子來(lái)說(shuō)，這就像評(píng)估一個(gè)人類(lèi)學(xué)生的能力。是讓他在考場(chǎng)上閉卷作答四小時(shí)，還是讓他和導(dǎo)師、同學(xué)討論幾天再提交論文？?jī)煞N場(chǎng)景測(cè)試的是完全不同的東西。

這篇論文或許不會(huì)改變?nèi)魏握谶M(jìn)行中的 AI 開(kāi)發(fā)路線(xiàn)圖，但它代表了一種聲音：來(lái)自一個(gè)在 AI 應(yīng)用于數(shù)學(xué)方面走在最前沿的實(shí)踐者，卻也愿意停下來(lái)問(wèn)一些不那么容易回答的問(wèn)題。

在結(jié)尾，陶哲軒和 Tanya 在腳注中寫(xiě)道：“一個(gè)著名的 Tumblr 思想實(shí)驗(yàn)得出結(jié)論，一塊香草精含量達(dá)到 44% 的蛋糕是無(wú)法食用的?！北M管我們總是幻想著它更多一點(diǎn)更美味。這就好像目前的 AI 使用，適量添加可以增強(qiáng)和豐富作品，但如果 AI 內(nèi)容成為核心組成部分，將不會(huì)產(chǎn)生理想、有效或有價(jià)值的結(jié)果。

當(dāng)前 AI 的使用量或許大概還遠(yuǎn)沒(méi)到 44%，但在某些領(lǐng)域，例如學(xué)生作業(yè)、低質(zhì)量論文、社交媒體內(nèi)容……這個(gè)比例正在快速攀升。因此，論文的立場(chǎng)是，精靈已經(jīng)出了瓶子，試圖把它塞回去既不現(xiàn)實(shí)也可能弊大于利；現(xiàn)在的問(wèn)題是如何與它共處，同時(shí)確保人類(lèi)的需求、人類(lèi)的創(chuàng)造力、人類(lèi)的理解始終處于等式的核心。

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

2.https://arxiv.org/abs/2603.26524

運(yùn)營(yíng)/排版：何晨龍