陶哲轩用AI迁移30年老主页,AI在其旧代码中发现两个bug
陶哲轩演示了AI如何高效处理枯燥的网站迁移和代码清理,甚至在自己20多年前的代码中揪出隐藏bug。
数学家陶哲轩用AI智能体将1997年建站的个人主页迁移到GitHub Pages,一天搬走560篇论文。AI不仅修复了过期链接和矛盾信息,还在他1999年用Java写的小程序中找出两个他自己都不知道的bug,并将20多个Java小程序移植为JavaScript。
正文摘录
 新智元报道  【新智元导读】 都以为 AI 应该先去替数学家证定理,陶哲轩却让它搬 30 年前的旧网页。一天迁走 560 篇论文,还从他二十多年前亲手写的老代码里揪出两个连他都不知道的 bug。 1997 年建站,改一行字都得开终端手敲 HTML,一维护就是近三十年。 最近,陶哲轩把自己的个人主页,交给了一个 AI 智能体。 仅用了一天时间,560 篇论文和预印本、374 次旅行记录、68 门课程、19 本书、29 个数学小程序,就从一套近 30 年前的老架构里大批搬了出来,在 GitHub Pages 上重新安家。  比搬家更值得说的,是途中的发现。 AI 在近三十年的旧站里,翻出了一堆自相矛盾的信息、过时的条目和失效的链接。这些错误,是他自己在三十年里一点点留下的。 它还顺手把那批 Java 1.0 写的老小程序移植成了 JavaScript,并在陶哲轩二十多年前亲手写的代码里,找出了两个他自己都不知道的 bug。 这一次,AI 没有去证明定理,它替数学家干的,是他们最不想碰的「数字家务」。