MIT更新AI课程，讨论AI写代码老问题

MIT 公开课 6.S950 Agency with AI AI 时代工程判断力课程「第 4 讲」已更新 第四讲的名字是：The Abstraction Ladder (of Programming)，分四部分，A. 梯子本身 B. 何时以及为何向下一层看 C. AI agent 改变了什么 D. 守住命令行 以一个精心设计的 trick 开场：程序员上了一天培训课，随后用 47 条 “prompts” 在四小时内完成约 1000 行代码，系统六分钟内将其转换为程序……听起来是 2026 年某人的 Claude 使用心得。然后揭晓答案：这是 1957 年 FORTRAN 论文（Backus 等，WJCC 1957��的原文，只是把 “FORTRAN 语句” 换成了 “prompts”、“FORTRAN 小组” 换成了 “Claude 团队”，一字不差地成立。这个开场也表明了全讲的核心命题：“你描述问题，机器写代码” 这个愿望和围绕它的争论，与编译器的历史一样古老。

今年对 vibe coding 的批评，与 1957 年程序员们“编译器只会生成臃肿代码、真正的程序员永远需要汇编”的反对意见逐行押韵。但讲座随即指出一个决定性差异（这是全课存在的理由）：此前每一级的翻译都是确定性的，同样的源码，每次得到同样的机器码；而自然语言这一级“编译”经过采样器，同样的 prompt，每次得到不同的程序。第四讲讲义原文