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

新智元報道

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

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

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

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

比搬家更值得說的，是途中的發現。

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

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

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

近30年的老架構

他一直撐到了2026年

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

標準的Web 1.0。一頁一個主題，滿屏文字鏈接，全靠人手維護。

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

近三十年，這套架構再沒變過。

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

他向21世紀做過唯一一次妥協，是改用現代網頁編輯器生成HTML，代價是代碼比他當年手打的版本臃腫得多。

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

當內容越積越厚，改動起來成本也越來越高，到了某個臨界點，你會開始默許那些錯誤留在那里。

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

YAML才是真相

網頁只是一個「打印件」

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

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

關鍵在于，他沒讓AI去重寫一批HTML，而是讓AI重建了一套數據流水線。

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

底稿是data目錄里的YAML，八類內容各一個文件夾；schema管格式，規定每個字段應該是什么樣。

兩個Python腳本，一個驗貨一個印刷。驗不過，代碼根本推不上去。印出來的網頁扔進site目錄，不進版本庫。

最后推一次main分支，GitHub Actions自動驗一遍、印一遍、發一遍。

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

倉庫README中的一句話，支撐起整套架構：YAML是唯一真相源，網頁是生成出來的。

后面還跟著一句操作守則：改數據，永遠別改site目錄里生成出來的HTML。

舊系統里，每個頁面都是一份獨立的事實。同一個信息散落在五個頁面上，改漏一個，它們就開始「打架」。

新系統里，事實只存在一份。網頁降級成了顯示層，好比一張隨時可以重新打印的紙。

一個人的知識庫，就這樣從一堆文檔變成了一個數據庫。

AI在他的老代碼里

挑出兩個bug

搬完數據，陶哲軒順手做了第二個實驗。

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

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

現在，他讓智能體把它們移植到了JavaScript上，20來個小程序，幾個小時全部復活。

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

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

一進一出，他的判定是：代碼質量凈打平。

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

他緊接著給這個結論劃了條邊界：這些小程序是輔助性的視覺工具，并非數學論證的關鍵部分，出bug的風險后果本來就不高。

拖拽出框，用戶自己就發現了。而證明寫錯了，那就是職業事故。

這個邊界，正是陶哲軒這套方法論的關鍵。

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

錯不可怕

修不動才可怕

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

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

但經過他本人檢查，現在的錯誤率「看上去確實比以前低了」。而且更重要的是，大規模糾錯變得容易多了。

當然，這是他人工復核之后的印象，不是跑過評測得出的數字。

陶哲軒并沒有拿AI去和「完美」比，而是拿「AI加人工復核」，去和自己「純人工維護三十年」比。

人工維護本身就是一臺持續產錯的機器，只不過它錯了三十年，沒人有精力去查。

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

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

一個擱置了27年的想法

兩小時做完了

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

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

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

他甚至已經動手寫了Java代碼，最后被代碼復雜度勸退，項目中斷。

他跟智能體vibe coding了兩個小時，那個1999年的構想被做了出來。

7月11日，這個時空圖模擬器上線，成了新站上第一個原創應用，他自己標明這還是alpha版。

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

當年攔住他的并非數學，是代碼復雜度，27年后，這一塊被補上了。

陶哲軒給整件事下了一個注腳。

他說，網頁維護大概是學術工作流里最不迷人、最不令人興奮的環節之一。而恰恰是這類枯燥的例行任務，特別適合現代平臺，比如GitHub，也特別適合自動化工具，其中既包括現代AI，也包括傳統的確定性腳本。

多少實驗室、期刊、研究機構，還壓著幾十年的HTML、Excel和本地目錄。智能體的第一份現實工作，可能就是當這些「數字資產」的遷移工程師。

當然，這件事證明的是AI適合做資料遷移、結構化和自動化維護，并不意味著AI已經能可靠處理所有學術數據，更不意味著人工校驗可以省掉。

它真正被改變的，是一個數學家和他三十年積累之間的關系：過去他要親自打理維護這些積累，現在他是一個最后把關的人。

參考資料：

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

編輯：元宇