用现代AI编码智能体复活旧应用：陶哲轩的数学可视化新尝试

背景与动机

陶哲轩自1999年起就对机器辅助教学和数学研究充满兴趣，当时他使用Java 1.0编写了多个小程序，用于复分析、线性代数课程，以及可视化蜂巢（honeycomb）、Besicovitch集等数学对象。这些小程序在当时取得了不错的效果，但编写过程非常耗时。随着Web标准不再支持Java 1.0，这些小程序逐渐失效。

旧代码迁移过程

在最近几天，陶哲轩开始将旧网页和博客数据迁移到更易维护的仓库，并利用现代AI智能体做了一个实验：让智能体将旧Java小程序移植到现代语言（最终选择了JavaScript）。结果令人惊讶：智能体仅用数小时就完成了所有移植工作，并且所有旧小程序都重新恢复功能，甚至获得了图形上的升级（例如，Besicovitch集小程序从黑白变为彩色）。

特别值得一提的是1999年与Allen Knutson合作编写的蜂巢小程序，它重新复活了。这个程序当初手工编写时极其复杂。尽管LLM编码智能体以产生各种明显或微妙bug而闻名，但在移植这二十多个小程序的过程中，陶哲轩只发现了一个小bug（涉及复分析小程序中拖拽事件在框外的不当行为），而且智能体还发现了原代码中两个他从未意识到的bug。因此，代码质量总体上是净收益。

新应用的创建

移植过程如此轻松，以至于陶哲轩决定尝试用AI编写一些新应用，而不仅仅是移植旧程序。1999年他曾有一个雄心勃勃的想法：为狭义相对论制作一个可视化工具。当时Inkscape尚未发布，他的想法是“在闵可夫斯基空间中实现Inkscape”。他最初尝试用Java编写代码，但代码复杂性过高，最终放弃了该计划。

然而，经过与AI智能体几个小时的“氛围编码”（vibe coding），他终于生成了一个符合1999年愿景的应用，现在可以访问。陶哲轩还提供了与智能体对话的摘要（已去除大量繁琐的技术实现报告）。他欢迎对这个“alpha”版本的应用提供反馈，因为LLM生成的代码难免存在一些bug和粗糙之处。

在当天早些时候发表关于Gilbreath猜想的论文后，陶哲轩意识到可以请AI智能体为论文和博客文章编写一个Gilbreath猜想可视化工具。经过另外几个小时的对话，这个工具也完成了，并且可以试用。整个过程同样轻松，他认为未来可以在论文中加入此类交互式可视化作为补充。

对AI辅助编程的思考

陶哲轩强调，这些可视化工具是辅助性的，而不是数学论证的关键组成部分，因此使用LLM生成代码的下行风险相对较低。他总结道，使用AI智能体引导交互来生成可视化工具，这种风险是可以接受的。未来他可能会在更多的论文中加入这样的交互式可视化，作为辅助材料。

原标题：Old and new apps, via modern coding agents。 HN 原始发布时间：2026年7月12日星期日。当前记录为 419 分、122 条评论。

阅读原文 · 查看 HN 讨论