陶哲轩开始 vibe coding:25 年的烂尾项目一个下午清完
陶哲轩上周在 vibe coding。7 月 11 日的博文今天冲上 Hacker News 头条,将近 400 点。这位菲尔兹奖得主把自己 1999 年写的二十多个 Java applet——那些浏览器杀死 Java 后就跑不起来的交互数学可视化——丢给现代 coding agent,几个小时拿回了能跑的 JavaScript 版本。最妙的细节:移植过程中 agent 在他 1999 年的原始代码里找出了两个 bug,自己只引入了一个小问题。
比移植更重要的是后面。陶哲轩把当年没做成的东西做出来了:一个 25 年前因为工作量太大而放弃的狭义相对论时空图工具,一个 Gilbreath 猜想的全新交互可视化。这些项目烂尾了四分之一个世纪,原因很简单——实现的成本超过了一个高产数学家能付出的时间。现在,一个下午的对话清完。
这可能是你能看到的最干净的 100X 样本,干净就干净在没有任何 benchmark。世界最强数学家的瓶颈从来不是数学能力,是每个想法头上那笔实现税。Agent 把这笔税砍到接近零,一个人积压 25 年的清单开始泄洪。陶哲轩毕竟是陶哲轩:他把编辑过的对话记录全部公开,措辞也克制——agent 还是会引 bug,这个风险对辅助性可视化可以接受,对承重结构还不行。数学界最严谨的人就该这么用 AI,这个示范本身也是新闻的一部分。
https://terrytao.wordpress.com/
← 返回所有文章
比移植更重要的是后面。陶哲轩把当年没做成的东西做出来了:一个 25 年前因为工作量太大而放弃的狭义相对论时空图工具,一个 Gilbreath 猜想的全新交互可视化。这些项目烂尾了四分之一个世纪,原因很简单——实现的成本超过了一个高产数学家能付出的时间。现在,一个下午的对话清完。
这可能是你能看到的最干净的 100X 样本,干净就干净在没有任何 benchmark。世界最强数学家的瓶颈从来不是数学能力,是每个想法头上那笔实现税。Agent 把这笔税砍到接近零,一个人积压 25 年的清单开始泄洪。陶哲轩毕竟是陶哲轩:他把编辑过的对话记录全部公开,措辞也克制——agent 还是会引 bug,这个风险对辅助性可视化可以接受,对承重结构还不行。数学界最严谨的人就该这么用 AI,这个示范本身也是新闻的一部分。
https://terrytao.wordpress.com/
评论