AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug

最近，陶哲轩把自己的个人主页，交给了一个AI智能体。

仅用了一天时间，560篇论文和预印本、374次旅行记录、68门课程、19本书、29个数学小程序，就从一套近30年前的老架构里大批搬了出来，在GitHub Pages上重新安家。

AI在近三十年的旧站里，翻出了一堆自相矛盾的信息、过时的条目和失效的链接。这些错误，是他自己在三十年里一点点留下的。

它还顺手把那批Java 1.0写的老小程序移植成了JavaScript，并在陶哲轩二十多年前亲手写的代码里，找出了两个他自己都不知道的bug。

这一次，AI没有去证明定理，它替数学家干的，是他们最不想碰的「数字家务」。

近30年的老架构，他一直撑到了2026年

标准的Web 1.0。一页一个主题，满屏文字链接，全靠人手维护。

1997年5月21日，还是助理教授的陶哲轩，和他刚建好的主页。

近三十年，这套架构再没变过。陶哲轩不停往上加东西：三百多篇论文的详情子页、教学记录、旅行日程、简历、书籍勘误。做法始终是一页一页地改，改完手动上传，早年在Unix账户里手敲。 

他向21世纪做过唯一一次妥协，是改用现代网页编辑器生成HTML，代价是代码比他当年手打的版本臃肿得多。

当内容越积越厚，改动起来成本也越来越高，到了某个临界点，你会开始默许那些错误留在那里。

从1999年起，为了给复分析和线性代数课做可视化，他陆续用Java 1.0写了一批小程序。当年反响不错。后来，览器不再支持那个版本的Java，这批东西集体过时了。

现在，他让智能体把它们移植到了JavaScript上，20来个小程序，几个小时全部复活。

大模型写代码会制造各种明显或隐蔽的bug，在这些小程序的移植里，陶哲轩只找到一个：某个复分析小程序在拖拽出主显示框时，行为不太对。

反过来，智能体在他的原始代码里，找出了两个他自己从来没意识到的bug。

一进一出，他的判定是：代码质量净打平。一个菲尔兹奖得主，被AI在自己二十多年前的代码里挑出两处错。

拖拽出框，用户自己就发现了。而证明写错了，那就是职业事故。这个边界，正是陶哲轩这套方法论的关键。 

复分析程序原本是陶哲轩1998到2000年间用Java写的，如今每一条底下都标着：在Claude Code的协助下移植。（图源：teorth.github.io/tao-web）

一个搁置了27年的想法两小时做完了

移植完老程序，他决定再往前走一步。1999年，他曾有过一个雄心勃勃的构想：给狭义相对论做一个可视化工具。

他想要的是一块能画相对论的画板：摆一条运动轨迹上去，换个观察者的视角，整张图就按相对论的规则自己扭过来。用他的话说，「闵可夫斯基空间里的Inkscape」。

他跟智能体vibe coding了两个小时，那个1999年的构想被做了出来。7月11日，这个时空图模拟器上线，成了新站上第一个原创应用，他自己标明这还是alpha版。

1999年构想、27年后上线的时空图模拟器。同一趟星际旅行，左右两个参照系各画一遍。（图源：teorth.github.io/tao-web）

当年拦住他的并非数学，是代码复杂度，27年后，这一块被补上了。

他说，网页维护大概是学术工作流里最不迷人、最不令人兴奋的环节之一。而恰恰是这类枯燥的例行任务，特别适合现代平台，比如GitHub，也特别适合自动化工具，其中既包括现代AI，也包括传统的确定性脚本。

它真正被改变的，是一个数学家和他三十年积累之间的关系：过去他要亲自打理维护这些积累，现在他是一个最后把关的人。