{
"title": "陶哲轩用AI搬30年老站，意外揪出20年bug",
"summary": "菲尔兹奖得主陶哲轩将运行近30年的个人主页交给AI智能体迁移，仅用一天就把560篇论文、374次旅行记录等全部内容从旧架构搬到GitHub Pages。更令人意外的是，AI在迁移过程中不仅修复了过时链接和矛盾信息，还从陶哲轩二十多年前亲手写的Java代码中找出两个他本人都不知的bug。这次实践展示了AI在数字家务中的巨大潜力，为学者维护老旧数字资产提供了新思路。",
"content": "当大多数人还在讨论AI能否证明数学定理时，菲尔兹奖得主陶哲轩已经让它干起了最接地气的活——搬网站。这位数学大师将自己的个人主页迁移任务交给了AI智能体，结果不仅一天之内完成了560篇论文、374次旅行记录、68门课程、19本书和29个数学小程序的搬家，还意外从自己二十多年前写的代码里揪出了两个连他自己都不知道的bug。\n\n陶哲轩的主页建于1997年，是标准的Web 1.0架构。一页一个主题，满屏文字链接，全靠手工维护。近三十年来，这套架构从未改变，他不断往上加内容：论文详情子页、教学记录、旅行日程、简历、书籍勘误。早期用vi手敲HTML，后来改用现代网页编辑器生成HTML，但代码反而更臃肿。随着内容越积越厚，维护成本指数级上升，许多错误和失效链接就这样被默许留在了那里。那些用Java 1.0写的小程序更是死得彻底，浏览器早已不支持，整整挂了十年。\n\n这次迁移的关键在于，陶哲轩没有让AI去重写HTML，而是重建了一套数据流水线。新仓库tao-web的逻辑类似印刷厂：YAML文件作为唯一真相源，schema规定字段格式，两个Python脚本分别负责验证和生成网页。验证不过的代码根本推不上去，生成的网页不进版本库。每次推main分支，GitHub Actions自动验证、生成、发布。旧系统里每个页面都是独立的事实，同一个信息散落在五个页面上容易打架；新系统里事实只存一份，网页降级成了显示层。一个人的知识库就这样从一堆文档变成了一个数据库。\n\n搬完数据后，陶哲轩又做了第二个实验：让AI把1999年起用Java 1.0写的二十来个小程序移植到JavaScript。结果几个小时全部复活，AI只发现了一个拖拽行为异常的小bug。反过来，AI在陶哲轩的原始代码里找出了两个他从未意识到的bug。一进一出，陶哲轩判定代码质量净打平。不过他立刻划了条边界：这些小程序是辅助性视觉工具，并非数学论证的关键部分，出bug的风险后果不高。拖拽出框用户自己就发现了，而证明写错了那就是职业事故。这次实践告诉我们，AI在数字家务领域已经相当可靠，学者们那些被遗忘在角落里的老代码、老网站，终于有了重获新生的机会。"