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