MIT 公开课 6.S950 第 4 讲：AI 时代的抽象阶梯
MIT 这节课把 1957 年的 FORTRAN 论文改几个词，就变成了对 Claude 写代码的预言，还讲清了 prompt 和编译器最关键的区别，讲义免费公开。
MIT 公开课 6.S950 Agency with AI 更新第 4 讲，主题为 The Abstraction Ladder (of Programming)。开场用 1957 年 FORTRAN 论文（Backus 等，WJCC 1957）做对照：把其中的“FORTRAN 语句”替换成“prompts”、“FORTRAN 小组”替换成“Claude 团队”后，那段描述与当下 vibe coding 的争论逐行吻合。讲座核心命题是“你描述问题，机器写代码”的愿望与编译器历史一样古老。课程同时指出决定性差异：编译器翻译是确定性的，而自然语言经过采样器后，同样的 prompt 每次会得到不同的程序。
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，每次得到不同的程序。 第四讲讲义原文 agencyai.mit.edu/w4/ meng shao @shao__meng x.com/i/article/2103… 🔗 View Quoted Tweet 💬 0 🔄 4 ❤️ 12 👀 482 📊 4 ⚡
