AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug

发布时间：2026-07-17 07:07:10 来源：安智兰德资讯网 作者：百科

新智元报道

【导读】公众常期待AI介入数学定理证明，爆改但陶哲轩选择让AI处理其个人主页的陶哲数字化迁移。在短短一天内，轩年560篇论文、主页374次旅行记录及大量课程资料从近30年前的顺手老旧架构中迁移至GitHub Pages。更为关键的揪出是，AI在重构过程中识别出两个潜伏二十余年的藏多代码缺陷，展现了AI在“数字资产维护”领域的爆改独特价值。

一、陶哲 近30年技术债务的轩年终结

陶哲轩的个人主页始建于1997年，彼时他担任UCLA Hedrick助理教授。主页该网站采用典型的顺手Web 1.0架构：单页主题、纯文本链接、揪出手动HTML编辑。藏多近三十年来，爆改尽管内容从最初的新闻组链接扩展至书籍勘误、教学记录及简历，但维护方式始终未变——通过Unix终端使用vi编辑器逐页修改并上传。

这种线性增长的内容积累导致了指数级上升的维护成本。尽管曾尝试引入现代网页编辑器以简化HTML生成，但代码臃肿问题加剧。此外，早期基于Java 1.0开发的数学可视化工具因浏览器兼容性淘汰而失效，长期处于搁置状态。

1997年5月21日，陶哲轩与其初建的个人主页。

二、 架构重构：YAML作为唯一真相源

此次迁移的核心并非简单的HTML重写，而是建立了一套基于数据驱动的内容管理系统（CMS）。新仓库命名为tao-web，其核心逻辑如下：

1. 数据层（Data）：data目录下包含八类内容的YAML文件，由schema定义严格的数据格式规范。
2. 处理层（Processing）：两个Python脚本分别负责数据验证（Linting）与静态站点生成。验证未通过则禁止提交，确保数据一致性。
3. 输出层（Site）：生成的HTML文件存入site目录，不纳入版本控制。
4. 自动化（CI/CD）：通过GitHub Actions实现自动验证、生成与部署。

tao-web仓库结构。README明确声明：“YAML是唯一真相源，网页是生成出来的。”

架构优势对比：
* 旧系统：事实分散于多个独立HTML页面，修改易导致数据不一致（“打架”）。
* 新系统：单一数据源（Single Source of Truth），网页仅作为显示层，修改YAML即可全站同步更新。

三、 代码审计：AI发现历史遗留Bug

在迁移数据的同时，陶哲轩利用AI智能体对其1999年至2000年间使用Java 1.0编写的20余个数学可视化工具进行了移植。

• 移植成果：AI在数小时内将Java小程序重构为JavaScript，恢复了其功能。
• Bug发现：
• AI引入的问题：在复分析小程序中，发现拖拽操作超出主显示框时的行为异常。
• 历史遗留问题：AI在原始Java代码中识别出两个陶哲轩本人未曾察觉的逻辑错误。
• 质量评估：陶哲轩认为，经过AI辅助修正，代码质量净变化持平。但他强调，这些可视化工具属于辅助性工具，其错误风险远低于数学证明本身。

复分析程序由Claude Code协助移植，代码注释中标注了AI参与过程。

四、 效率验证：27年构想的快速实现

陶哲轩进一步测试了AI在复杂逻辑实现上的能力。1999年，他曾构想开发一个狭义相对论可视化工具（“闵可夫斯基空间里的Inkscape”），但因代码复杂度放弃。

• 实施过程：通过“Vibe Coding”（自然语言编程交互），陶哲轩在2小时内完成了该模拟器的开发。
• 上线状态：2026年7月11日，时空图模拟器上线，成为新站首个原创应用（Alpha版）。

1999年构想，27年后实现。同一星际旅行在不同参照系下的时空图模拟。

五、 结论：AI在学术工作流中的定位

陶哲轩指出，网页维护是学术工作中最枯燥但必要的环节。AI在此场景下的价值不在于替代人类进行创造性思维，而在于：

1. 降低纠错成本：从“人工逐页检查”转变为“自动化验证+人工复核”，显著降低错误率。
2. 激活数字资产：帮助学术界清理积压的HTML、Excel及本地目录数据，实现结构化迁移。
3. 角色转变：数学家从“内容维护者”转变为“最终审核者”。

核心观点：AI并非完美无缺，但“AI+人工复核”的模式优于“纯人工维护”。存量错误的修复难度远高于引入新错误的风险，自动化使得大规模纠错成为可能。

参考资料：
* Mathstodon Post
* Terry Tao's Blog
* GitHub Repository
* Live Site
* Hacker News Discussion

编辑：元宇

相关文章