陶哲轩用AI编程代理写App

陶哲轩用AI编程代理写App的实践心得

背景:一位数学家的编程之旅

菲尔兹奖得主、UCLA 教授陶哲轩(Terence Tao)近日在其博客上分享了一个引人注目的实验:用现代 AI 编程代理将 1999 年用 Java 1.0 编写的数学可视化小程序,迁移到现代 JavaScript。

这是令人惊叹的一幕——一位世界顶级数学家,在 AI 编程工具的辅助下,仅用数小时就完成了当年需要大量手工编码的工作。那些沉睡二十余年的 Java applet,包括复分析、线性代数教学工具以及他与 Allen Knutson 合作编写的蜂窝(honeycomb)可视化,全部复活了。

核心实践:从 Java 1.0 到 JavaScript

陶哲轩描述了这个过程:他要求 AI 代理将旧的 Java applet 移植到现代支持的编程语言(最终选择了 JavaScript)。代理在数小时内完成了这项工作,所有旧小程序重新运行,甚至还有一些图形上的升级——例如 Besicovitch 集合可视化的单色版本现在变成了彩色版本。

他特别提到了 1999 年与 Allen Knutson 编写的蜂窝 applet,称其为”手工编码特别棘手的一个”。看到它在 AI 帮助下复活,陶哲轩表达了一种令人动容的喜悦。

这次实验是他正在进行的更大迁移项目的一部分——他正在将大量旧的网页和博客数据转移到更易维护的仓库中,全程使用现代 AI 辅助。

AI 在数学研究中的角色

陶哲轩对 AI 的态度是实用且平衡的。他在博客中写道,AI 生成的交互式补充材料虽然不足以改变研究论文的核心数学内容,但有助于提升论文的可读性和传播效果。由于这些补充材料”对论文核心并非任务关键”,他”觉得使用 LLM 代理辅助生成这类可视化的下行风险是可以接受的”。

这种态度反映了一个重要趋势:顶尖学者正在将 AI 编程工具纳入自己的工具箱,不是为了取代核心研究工作,而是为了增强研究的传播和可视化效果。

社区反响

HN 社区的评论既幽默又深刻。最高赞评论说:”陶哲轩用编程代理构建应用意味着,我们离菲尔兹奖得主问 LLM ‘为什么我的 Docker 容器启动不了’只差一步了,就和我们其他人一样。”

另一位评论者赞赏他平衡的视角:”由于这些 AI 编码的交互式补充材料对论文核心并非任务关键,使用 LLM 代理辅助生成这类可视化的下行风险是可以接受的。这是一个工具,很好。”

但也有声音质疑陶哲轩是否与 AI 公司存在未公开的利益关系。整体而言,社区对一位顶尖数学家公开拥抱 AI 编程工具持积极态度,认为这标志着 AI 辅助编程正在进入主流学术圈。

原文链接:terrytao.wordpress.com · HN 讨论

Leave a Reply

Your email address will not be published. Required fields are marked *