【新智元导读】都以为AI应该先去替数学家证定理，，陶哲轩却让它搬30年前的旧网页。
。一天迁走560篇论文，，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
。 仅用了一天时间，，560篇论文和预印本、374次旅行纪录、68门课程、19本书、29个数学小程序，，就从一套近30年前的老架构里大批搬了出来，，在GitHub Pages上重新安家。
。 AI在近三十年的旧站里，，翻出了一堆自相矛盾的信息、过时的条目和失效的链接。
。这些过失，，是他自己在三十年里一点点留下的。
。 陶哲轩一直往上加工具：三百多篇论文的详情子页、教学纪录、旅行日程、简历、书籍勘误。
。做法始终是一页一页地改，，改完手动上传，，早年在Unix账户里用vi手敲。
。 大模子写代码会制造种种显着或隐藏的bug，，在这些小程序的移植里，，陶哲轩只找到一个：某个复剖析小程序在拖拽出主显示框时，，行为不太对。
。 他紧接着给这个结论划了条界线：这些小程序是辅助性的视觉工具，，并非数学论证的要害部分，，出bug的风险效果原来就不高。
。 他想要的是一块能画相对论的画板：摆一条运动轨迹上去，，换个视察者的视角，，整张图就按相对论的规则自己扭过来。
。用他的话说，，「闵可夫斯基空间里的Inkscape」。
。 他说，，网页维护或许是学术事情流里最不迷人、最不令人兴奋的环节之一。
。而恰恰是这类死板的例行使命，，特殊适合现代平台，，好比GitHub，，也特殊适合自动化工具，，其中既包括现代AI，，也包括古板简直定性剧本。
。 几多实验室、期刊、研究机构，，还压着几十年的HTML、Excel和外地目录。
。智能体的第一份现实事情，，可能就是当这些「数字资产」的迁徙工程师。
。 虽然，，这件事证实的是AI适合做资料迁徙、结构化和自动化维护，，并不料味着AI已经能可靠处理所有学术数据，，更不料味着人工校验可以省掉。
。 它真正被改变的，，是一个数学家和他三十年积累之间的关系：已往他要亲自打理维护这些积累，，现在他是一个最后把关的人。
。