TL;DR：
数学大神陶哲轩，把自己的破旧网页（没错，就是1997年那种古董级HTML）交给AI智能体去“搬家”。结果AI一天搞定，还从大神20多年前亲手写的Java代码里，揪出了两个连他自己都不知道的bug。这事儿告诉我们：AI干不了证明定理的活儿？但干“数字家务”是真香。
不是去证明定理，而是去干“数字家政”
你以为数学家玩AI，就该让它去攻克黎曼猜想、证明千禧年难题？格局小了。
著名数学家、菲尔兹奖得主陶哲轩最近搞了个大新闻，但他不是让AI去“烧脑”，而是让它去“搬砖”——搬自己那个诞生于1997年、比很多读者年纪还大的个人主页。1
这个主页有多老？标准的Web 1.0画风：一页一个主题，满屏手打的外链，想看个数学小程序还得靠Java 1.0插件。改一行字都得开终端手敲HTML，一维护就是近三十年。这感觉，就像你家里还有台98年的老电脑，里面存着毕业论文，你还天天用它。
最近，陶哲轩终于受不了了，他决定把这个“数字古董”全部迁移到现代的GitHub Pages上。而执行这项艰巨任务的，不是他的博士生，而是一个AI智能体。
一天搬完560篇论文，顺便干了两件“大事”
结果，过程“相当无痛”。
这个AI智能体仅用了一天时间，就将560篇论文和预印本、374次旅行记录、68门课程、19本书、29个Java小程序，从老架构里一股脑儿搬了出来。1 这效率，堪比双十一的快递分拣员。
但比“搬家”更刺激的，是途中的“考古发现”：
-
揪出陈年旧账：AI在近三十年的旧站里，翻出了一堆自相矛盾的信息、过时的条目和失效的链接。这些错误，全是陶哲轩自己在三十年里一点点手打留下的“历史遗留问题”。1
-
在“大神”代码里挑刺：AI顺手把那批用Java 1.0写的、早已被浏览器淘汰的老小程序，移植成了JavaScript。更绝的是，它在陶哲轩二十多年前亲手写的代码里，找出了两个连他本人都不知道的bug。1
一个菲尔兹奖得主，被AI在自己二十多年前的代码里挑出两处错。这感觉，就像你翻出小学三年级的作文本，被AI揪出了两个错别字，你还得说：“哦，原来这里写错了。”
技术揭秘：AI是怎么给数学家“打工”的？
这次的核心不是AI有多聪明，而是“干活”的姿势对了。
陶哲轩并没有让AI去一行行重写HTML，而是让AI重建了一套数据流水线（也就是新仓库tao-web）。2 逻辑很简单：
- 底稿是YAML：所有内容（论文、课程、旅行记录等）都以结构化的YAML文件存储，这是唯一的“真相源”。
- 网页是打印件：网页只是根据YAML数据自动生成出来的“打印件”，随时可以重新打印。
- 两个Python脚本：一个负责校验数据，一个负责生成网页。数据不对，代码根本推不上去。
旧系统里，一个信息散落在五个页面上，改漏一个它们就开始“打架”。新系统里，改一行YAML，全站自动重建，再也不怕改漏了。1
这就是AI干“数字家政”的终极形态：它没有创造新知识，但它把一堆乱糟糟的文档，变成了一个结构清晰的数据库。一个人的知识库，从此从“文档”变成了“数据库”。
更可怕的是，他搁置27年的想法，两小时搞定了
搬家只是开胃菜。更让陶哲轩兴奋的是，他利用这次机会，实现了自己1999年的一个构想：一个能画“狭义相对论”的可视化工具。
当年他雄心勃勃，想在屏幕上画出不同观察者视角下的时空扭曲，最后被代码复杂度劝退，项目中断。27年后，他跟AI智能体“vibe coding”了两个小时，1999年的构想就被做了出来，并在7月11日上线。34
当年拦住他的并非数学，是代码复杂度。而现在，AI补上了这块短板。
陶哲轩对此的评价非常“直击灵魂”：“网页维护大概是学术工作流里最不迷人、最不令人兴奋的环节之一。” 1
翻译成人话就是：这破活，我早就不想干了。
结论：AI的真正价值，是让你从“亲手打字”变成“最后把关”
陶哲轩没有回避AI的幻觉问题。他明确说，AI可能引入新错误。但他认为，**“AI加人工复核”**的效率，远高于自己“纯人工维护三十年”。1
人工维护本身就是一台持续产错的机器，只不过它错了三十年，没人有精力去查。而现在，AI把“改一个信息要翻五个页面”的噩梦，变成了“改一行YAML，全站自动重建”的爽文。
多少实验室、期刊、研究机构，还压着几十年的HTML、Excel和本地目录？智能体的第一份现实工作，可能不是写论文，而是当这些“数字资产”的迁移工程师。
它真正改变的，是一个数学家和他三十年积累之间的关系：过去他要亲自打理维护这些积累，现在他是一个最后把关的人。
这种“数字家政”式的革命，或许比AI直接证明几个定理，来得更接地气，也更有趣。