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