AI爆改陶哲軒30年主頁，順手揪出兩個(gè)藏了20多年的bug

新智元報(bào)道

【新智元導(dǎo)讀】都以為AI應(yīng)該先去替數(shù)學(xué)家證定理，陶哲軒卻讓它搬30年前的舊網(wǎng)頁。一天遷走560篇論文，還從他二十多年前親手寫的老代碼里揪出兩個(gè)連他都不知道的bug。

1997年建站，改一行字都得開終端手敲HTML，一維護(hù)就是近三十年。

最近，陶哲軒把自己的個(gè)人主頁，交給了一個(gè)AI智能體。

僅用了一天時(shí)間，560篇論文和預(yù)印本、374次旅行記錄、68門課程、19本書、29個(gè)數(shù)學(xué)小程序，就從一套近30年前的老架構(gòu)里大批搬了出來，在GitHub Pages上重新安家。

比搬家更值得說的，是途中的發(fā)現(xiàn)。

AI在近三十年的舊站里，翻出了一堆自相矛盾的信息、過時(shí)的條目和失效的鏈接。這些錯誤，是他自己在三十年里一點(diǎn)點(diǎn)留下的。

它還順手把那批Java 1.0寫的老小程序移植成了JavaScript，并在陶哲軒二十多年前親手寫的代碼里，找出了兩個(gè)他自己都不知道的bug。

這一次，AI沒有去證明定理，它替數(shù)學(xué)家干的，是他們最不想碰的「數(shù)字家務(wù)」。

近30年的老架構(gòu)

他一直撐到了2026年

陶哲軒的主頁建于1997年，那時(shí)的他還是UCLA的Hedrick助理教授，頁面上掛著一長串手工整理的外鏈，從sci.math新聞組到他愛看的《時(shí)光之輪》。

標(biāo)準(zhǔn)的Web 1.0。一頁一個(gè)主題，滿屏文字鏈接，全靠人手維護(hù)。

1997年5月21日，還是助理教授的陶哲軒，和他剛建好的主頁。

近三十年，這套架構(gòu)再沒變過。

陶哲軒不停往上加?xùn)|西：三百多篇論文的詳情子頁、教學(xué)記錄、旅行日程、簡歷、書籍勘誤。做法始終是一頁一頁地改，改完手動上傳，早年在Unix賬戶里用vi手敲。

他向21世紀(jì)做過唯一一次妥協(xié)，是改用現(xiàn)代網(wǎng)頁編輯器生成HTML，代價(jià)是代碼比他當(dāng)年手打的版本臃腫得多。

內(nèi)容是線性增長的，維護(hù)成本卻是指數(shù)級的。中途他把書籍頁、職業(yè)建議搬到過博客，緩解了一點(diǎn)，依然笨拙。

當(dāng)內(nèi)容越積越厚，改動起來成本也越來越高，到了某個(gè)臨界點(diǎn)，你會開始默許那些錯誤留在那里。

那些Java小程序死得更徹底。瀏覽器拋棄了Java 1.0，他一個(gè)人也沒力氣把二十來個(gè)程序移植到新語言，頁面就那么掛著，一掛十年。

YAML才是真相

網(wǎng)頁只是一個(gè)「打印件」

陶哲軒說，他最近才反應(yīng)過來：有了AI智能體，遷移這套快三十年的老系統(tǒng)，本該是件例行公事。

然后，他嘗試了。過程「相當(dāng)無痛」，他這樣說道。

關(guān)鍵在于，他沒讓AI去重寫一批HTML，而是讓AI重建了一套數(shù)據(jù)流水線。

這個(gè)新倉庫叫tao-web，邏輯跟印刷廠差不多。

底稿是data目錄里的YAML，八類內(nèi)容各一個(gè)文件夾；schema管格式，規(guī)定每個(gè)字段應(yīng)該是什么樣。

兩個(gè)Python腳本，一個(gè)驗(yàn)貨一個(gè)印刷。驗(yàn)不過，代碼根本推不上去。印出來的網(wǎng)頁扔進(jìn)site目錄，不進(jìn)版本庫。

最后推一次main分支，GitHub Actions自動驗(yàn)一遍、印一遍、發(fā)一遍。

tao-web倉庫。README里寫明：YAML是唯一真相源，網(wǎng)頁是生成出來的。（圖源：GitHub teorth/tao-web）

倉庫README中的一句話，支撐起整套架構(gòu)：YAML是唯一真相源，網(wǎng)頁是生成出來的。

后面還跟著一句操作守則：改數(shù)據(jù)，永遠(yuǎn)別改site目錄里生成出來的HTML。

舊系統(tǒng)里，每個(gè)頁面都是一份獨(dú)立的事實(shí)。同一個(gè)信息散落在五個(gè)頁面上，改漏一個(gè)，它們就開始「打架」。

新系統(tǒng)里，事實(shí)只存在一份。網(wǎng)頁降級成了顯示層，好比一張隨時(shí)可以重新打印的紙。

一個(gè)人的知識庫，就這樣從一堆文檔變成了一個(gè)數(shù)據(jù)庫。

AI在他的老代碼里

挑出兩個(gè)bug

搬完數(shù)據(jù)，陶哲軒順手做了第二個(gè)實(shí)驗(yàn)。

從1999年起，為了給復(fù)分析和線性代數(shù)課做可視化，他陸續(xù)用Java 1.0寫了一批小程序。當(dāng)年反響不錯。

后來，瀏覽器不再支持那個(gè)版本的Java，這批東西集體過時(shí)了。

現(xiàn)在，他讓智能體把它們移植到了JavaScript上，20來個(gè)小程序，幾個(gè)小時(shí)全部復(fù)活。

大模型寫代碼會制造各種明顯或隱蔽的bug，在這些小程序的移植里，陶哲軒只找到一個(gè)：某個(gè)復(fù)分析小程序在拖拽出主顯示框時(shí)，行為不太對。

反過來，智能體在他的原始代碼里，找出了兩個(gè)他自己從來沒意識到的bug。

一進(jìn)一出，他的判定是：代碼質(zhì)量凈打平。

一個(gè)菲爾茲獎得主，被AI在自己二十多年前的代碼里挑出兩處錯。

他緊接著給這個(gè)結(jié)論劃了條邊界：這些小程序是輔助性的視覺工具，并非數(shù)學(xué)論證的關(guān)鍵部分，出bug的風(fēng)險(xiǎn)后果本來就不高。

拖拽出框，用戶自己就發(fā)現(xiàn)了。而證明寫錯了，那就是職業(yè)事故。

這個(gè)邊界，正是陶哲軒這套方法論的關(guān)鍵。

復(fù)分析程序原本是陶哲軒1998到2000年間用Java寫的，如今每一條底下都標(biāo)著：在Claude Code的協(xié)助下移植。（圖源：teorth.github.io/tao-web）

錯不可怕

修不動才可怕

陶哲軒沒有回避幻覺問題。

他明確說，現(xiàn)代AI依然有幻覺傾向，遷移過程中有可能引入了新的錯誤。

但經(jīng)過他本人檢查，現(xiàn)在的錯誤率「看上去確實(shí)比以前低了」。而且更重要的是，大規(guī)模糾錯變得容易多了。

當(dāng)然，這是他人工復(fù)核之后的印象，不是跑過評測得出的數(shù)字。

陶哲軒并沒有拿AI去和「完美」比，而是拿「AI加人工復(fù)核」，去和自己「純?nèi)斯ぞS護(hù)三十年」比。

人工維護(hù)本身就是一臺持續(xù)產(chǎn)錯的機(jī)器，只不過它錯了三十年，沒人有精力去查。

大多數(shù)關(guān)于AI的爭論，卡在「它會不會出錯」這一個(gè)問題上。陶哲軒主要衡量的是誰的錯誤率更低，誰的糾錯成本更小。

存量的錯誤并不可怕，可怕的是修不動。舊站改一個(gè)信息要翻五個(gè)頁面，新站改一行YAML，全站自動重建。

一個(gè)擱置了27年的想法

兩小時(shí)做完了

移植完老程序，他決定再往前走一步。

1999年，他曾有過一個(gè)雄心勃勃的構(gòu)想：給狹義相對論做一個(gè)可視化工具。

他想要的是一塊能畫相對論的畫板：擺一條運(yùn)動軌跡上去，換個(gè)觀察者的視角，整張圖就按相對論的規(guī)則自己扭過來。用他的話說，「閔可夫斯基空間里的Inkscape」。

他甚至已經(jīng)動手寫了Java代碼，最后被代碼復(fù)雜度勸退，項(xiàng)目中斷。

他跟智能體vibe coding了兩個(gè)小時(shí)，那個(gè)1999年的構(gòu)想被做了出來。

7月11日，這個(gè)時(shí)空圖模擬器上線，成了新站上第一個(gè)原創(chuàng)應(yīng)用，他自己標(biāo)明這還是alpha版。

1999年構(gòu)想、27年后上線的時(shí)空圖模擬器。同一趟星際旅行，左右兩個(gè)參照系各畫一遍。（圖源：teorth.github.io/tao-web）

當(dāng)年攔住他的并非數(shù)學(xué)，是代碼復(fù)雜度，27年后，這一塊被補(bǔ)上了。

陶哲軒給整件事下了一個(gè)注腳。

他說，網(wǎng)頁維護(hù)大概是學(xué)術(shù)工作流里最不迷人、最不令人興奮的環(huán)節(jié)之一。而恰恰是這類枯燥的例行任務(wù)，特別適合現(xiàn)代平臺，比如GitHub，也特別適合自動化工具，其中既包括現(xiàn)代AI，也包括傳統(tǒng)的確定性腳本。

多少實(shí)驗(yàn)室、期刊、研究機(jī)構(gòu)，還壓著幾十年的HTML、Excel和本地目錄。智能體的第一份現(xiàn)實(shí)工作，可能就是當(dāng)這些「數(shù)字資產(chǎn)」的遷移工程師。

當(dāng)然，這件事證明的是AI適合做資料遷移、結(jié)構(gòu)化和自動化維護(hù)，并不意味著AI已經(jīng)能可靠處理所有學(xué)術(shù)數(shù)據(jù)，更不意味著人工校驗(yàn)可以省掉。

它真正被改變的，是一個(gè)數(shù)學(xué)家和他三十年積累之間的關(guān)系：過去他要親自打理維護(hù)這些積累，現(xiàn)在他是一個(gè)最后把關(guān)的人。

參考資料：

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

https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/

https://github.com/teorth/tao-web

https://teorth.github.io/tao-web/https://news.ycombinator.com/item?id=48880170

編輯：元宇