达特茅斯会议 — 一门学科是怎么被「开」出来的
这一章讲三件事: 现在公认的起点 1956 年达特茅斯会议,当年其实是一场预算寒酸、 各怀心思的夏季项目;这门学科从第一天起就分裂成两条路线,后面的整本书都是这两条路线 的斗争史;以及一条更隐蔽的主线——AI 的预言有一条固定的生命周期,许诺、落空、 被嘲讽、几十年后兑现,这个循环到今天还在转。 读完这一章,你会拿到全书的地图:后面每一章都是两条路线在某一个战场上的回合。
1. 这是谁在什么时候写的
先认识作者,否则这本书会被读歪。
作者尼克,乌镇智库创始人,强化学习的奠基人之一巴托(Andrew Barto)的学生, 与另一位奠基人萨顿(Richard Sutton)是同门1。这个出身决定了本书的独特位置: 他不是旁观的外部史家,他是这个圈子里的人——书里大量轶事来自师友圈的口述, 作者自述为写此书听过近 100 小时的先驱采访录音2。
| 版次 | 第 3 版,2026 年;第 1 版 2017 年,第 2 版增加"派别梳理"章,第 3 版新增 3 章,其中两章讲大语言模型3 |
| 写作动机(第 3 版) | 主要动机是大语言模型,次要动机是强化学习——2025 年他的导师巴托和师兄萨顿刚拿了图灵奖4 |
| 文风 | 作者自己承认书里不少评论"夹枪带棒"5;第 1 版前言明说偏好"以人为本"的八卦式历史写法6 |
| 定位 | 兼有 AI 通史与作者个人点评;原书明言第 10 章(计算理论)最难,可以跳过7 |
读这本书要自带一个过滤器:作者常把考据和段子混在一起讲。 他写达特茅斯与会者塞弗里奇的爷爷——英国第二大百货店创始人——能从百货店写到泰国资本接盘8。 这些段落好看,但它们是轶事,不是论证。我们的拆解会把两者分开:史实归史实, 段子按段子处理。凡原书自己写了"江湖传说""很多人认为""据说"的,本文一律照实降级。
还要先记住作者给 AI 历史定的一把尺子:他用谷歌 Ngram(谷歌扫描三千多万本书统计出的 词频曲线)对比"人工智能"与"控制论"两个词的兴衰,来界定学科的起落9。 词频不是真理,但它是这本书反复使用的证据形态——宏观判断靠统计,具体事件靠口述。
2. 顶层全景:一门学科的成立流程
把第 1 章的内容抽象一下,达特茅斯会议其实演示了一门新学科从无到有的完整流程:
1955 前戏(学习机讨论会,两条路线已同台)
↓
1955 一份建议书(起名 + 圈地 + 要钱)
↓
1956 夏季会议(十来个人,预算 7500 美元)
↓
会议上的干货:纽厄尔-司马贺的"逻辑理论家"程序
↓
会后抢夺定义权:1956 IRE 信息论年会之争
↓
资助体系接手:ARPA 长期供养 → 政策收紧 → 寒冬
↓
预言的循环:许诺 → 落空 → 被嘲讽 → 几十年后兑现
图说:这 张图是本章的地图。下面每一节展开一格。
"人工智能"这门学科不是被发现的,是被组织出来的:有人起名、有人写建议书、 有人搞定了洛克菲勒基金会的钱、有人在会上拿出了真能跑的程序、会后又为谁代表正统吵了一架。 理解了这个流程,再看今天任何一场 AI 热潮,你都会认出同样的剧本。
3. 核心原理:五个关键步骤
3.1 1955 年的前戏:两条路线第一次同台
会议前一年,1955 年,美国西部计算机联合大会里套了个小会——"学习机讨论会"。 会上已经出现了后来斗了几十年的两派:
- 塞弗里奇:发表模式识别论文,代表模拟神经系统的一路;
- 纽厄尔:探讨计算机下棋,代表模拟心智的一路。
主持人是神经网络鼻祖之一的皮茨,他总结时说,一派试图模拟神经系统, 另一派试图模拟心智,"殊途同归"10。
这两句"殊途同归"是全书的总纲。 用逻辑和符号模拟心智的一 派,后来叫符号派; 模拟大脑神经结构的一派,后来叫神经网络派。作者给这两派起了绰号: 前者"想啥来啥"(从推理规则出发),后者"吃啥补啥"(照着大脑构造仿)11。 注意:这两个绰号是作者的私人说法,不是学界通用术语,你自己写东西别拿它们当行话用。
3.2 六君子与一份建议书
会议的召集者是当时达特茅斯学院的数学系助理教授麦卡锡,加上明斯基、塞弗里奇、 香农、纽厄尔、司马贺,这六个人被称为中坚12。但别把这场会想象成群英大会:
| 事实 | 参照 |
|---|---|
| 麦卡锡向洛克菲勒基金会申请 13500 美元 | 只批了 7500 美元,打了五五折13 |
| 预算按每人两个月薪水 1200 美元计 | 可推算出麦卡锡、明斯基当时年薪不到 8000 美元,折合 2025 年约 10 万美元——今天随便一个美国计算机系教授都远不止这个数13 |
| 纽厄尔和司马贺只待了一周 | 麦卡锡原计划是两个月闭门研讨14 |
建议书列了 7 个计划研究的领域:自动计算机、编程语言、神经网络、计算规模的理论、 自我改进、抽象、随机性和创见性15。对照后文你会发现一个惊人的事实: 这 7 项几乎预言了 AI 后来所有的子学科——"自我改进",说的就是机器学习(让机器自己从数据和试错里练出本事), "计算规模的理论"就是计算复杂性。
"人工智能"这个词是麦卡锡给这份建议书起的名。普遍的误解是这词是他发明的——不是。 麦卡锡晚年承认是从别人那里听来的;英国数学家伍德华写信给《新科学家》声称自己是原创; 而英国学术圈在此之前一直用的是另一个名字"机器智能"(源自图灵 1950 年那篇文章)16。 当事人全部过世,这事成了悬案。一段悬案能保留七十年,说明"谁命名了一门学科" 这件事在人们心里有多重——名字就是地盘。
3.3 命名之战:一门学科的身份是怎么定下来的
"人工智能"这个名字当时并非众望所归,它打败了三个竞争者:
| 竞争名字 | 主张者 | 为什么落败或退让 |
|---|---|---|
| 控制论 | 维纳 | 麦卡锡不喜欢维纳,既不想把维纳当老大,也不愿和他见面争执17 |
| 机器智能 | 英国学术圈 | 英国到 20 世纪 70 年代才逐渐接受"人工智能"的说法16 |
| 复杂信息处理 | 纽厄尔、司马贺 | 他们一开始颇不喜欢"人工"二字,他们发明的语言就叫 IPL(信息处理语言)18 |
转折点是 1958 年英国国家物理实验室的"思维过程机器化"会议:有人再提"人工思维", 司马贺等人由此逐渐接受了"人工智能"的叫法19。
这里有一个值得带走的观察(作者的观点,不是史实定论):一个共同体的形成, 有时靠的不是内部团结,而是外部的反对。 作者用哲学家德雷弗斯 1965 年的《炼金术与 人工智能》举例——这篇把整个 AI 当靶子的文章,反而促使"人工智能"这个词在 1965 年 前后被共同体广泛认可20。被打,有时候是立门户的仪式。
3.4 会议上的干货:逻辑理论家,以及它结下的梁子
会上给所有人留下最深印象的报告,是纽厄尔和司马贺的程序"逻辑理论家": 它能证明罗素《数学原理》中所谓命题逻辑部分——这种逻辑只管"并且、或者、非"的整句连接——的一个很大子集21。
先解释两个词。 命题逻辑是处理"并且、或者、非"这类整句之间推理的逻辑; 一阶逻辑则更进一步,能把"所有的人都会死"这种带"所有""存在"量词的句子也形式化, 表达力强得多,也更难处理。这个区分第 02 章还会展开,这里只需要知道: 逻辑理论家只能处理其中较简单的命题逻辑。
而一年之后的 1958 年夏天,逻辑学家王浩在一台 IBM 704 上,只用 9 分钟就证明了 《数学原理》一阶逻辑部分的全部定理(120 条,全部是 150 条中的一阶子集)22。 9 分钟对上一个暑假,这是一次碾压。 王浩对"逻辑理论家"一直持鄙视态度, 认为它"不专业";司马贺则在回忆录里喊冤:他们的初衷本来就不是高效证明定理, 而是研究人的行为22。
这场梁子牵出了一条影响至今的线:王浩的工作经他的学生库克发展,长出了 NP 完全性 理论——这个将在第 09 章讲计算理论时正面展开。
3.5 资助的风向:两次寒冬的开关
会议之后,真正决定学科生死的是钱。作者梳理的资助史分两段:
第一段是 ARPA(美国国防高级研究计划局)的黄金年代。 信息时代的预言家利克莱德 在 60 年代初创办了后来有权有势的信息科技办公室,人工智能跟着长期供养、宽裕自由23。 转机出现在 70 年代初:海尔梅尔主持 DARPA 期间,以"AI 不能帮助造武器打仗"为由大砍 AI 预算,却重金资助隐形飞机——AI 研究者把这之后的萧条期称为寒冬24。
第二段是两种资助哲学的对照,麻省理工学院的温斯顿(明斯基的学生、继任的实验室主任) 总结得很清楚25:
| ARPA(早期) | NSF | |
|---|---|---|
| 决策方式 | 头儿们说了算,精英制 | 同行评议,民主制 |
| 给钱 | 大额长期 | 小额分散 |
| 产出 | 能支持根本性的原创 | 越有成就的拿得越多,但少有根本性原创 |
这张表解释了一个反直觉的现象:为什么 AI 的重大突破总跟军方资助纠缠在一起。 作者还留了个刺:乔姆斯基晚年是著名的"反政府斗士",但他成名作《语言描述的三种模型》 的研究经费全部来自美国空军和海军26。科学与资助的关系,比任何一方的宣言都复杂。
4. 作者的判断与证据(史实与传说分开)
这一节把本章材料分成三堆:有据可查的史实、作者的观点、原书自己注明存疑的传说。
史实层(有会议记录、预算文件、当事人的口述录音支撑):1956 年会议的时间地点、 7500 美元预算、建议书 7 个领域、逻辑理论家的演示、1956 IRE 年会上米勒与乔姆斯基的报告。 其中 1956 年 IRE 信息论年会的分量值得单独说:心理学 家米勒宣读了后来题名《魔力数字七》 的论文,乔姆斯基宣读了证明有限状态文法不够用的《语言描述的三种模型》——乔姆斯基分层 就起源 于这篇文章27。不少与会者回忆,这次年会对他们的影响比达特茅斯会议本身更大28。
作者观点层(作者的判断,不是学界公论):
- 达特茅斯会议更多是"人工智能"这个词流行的源头,而不是这门学科的起点——机器翻译实验 比它还早(这一点第 07 章会再证)29;
- AI 像哲学:它不断分娩出子学科,子学科一旦成熟就独立,不再待见 AI——分时系统、 逻辑学都是例子30;
- 刺猬与狐狸的比喻:纽厄尔和司马贺是构建体系的"刺猬",麦卡锡和明斯基是解决问题的 "狐狸"31。
传说层(原书自己就写了存疑,拆解必须降级):明斯基 2016 年去世后"江湖传说" 他把遗体冷冻了,等待奇点;这条作者自己标明是传说32。皮茨晚年心灰意冷、 1969 年 46 岁去世是史实,但细节多来自圈内口述。读这本书的纪律:段子可以看, 引用时只引有出处的部分。
5. 主走查:一条预言的完整生命周期
这一章的机制不是算法,是一个社会过程:AI 的乐观预言如何变成把柄,又如何几十年后被兑现。 拿司马贺的下棋预言从头走到尾——每一步都有具体的年份和对象:
1957 司马贺预言:10 年内计算机下棋会击败人
(参照:当时的下棋程序每走一步要算 8 分钟,随便会下棋的人就能赢它)
↓ 落空
1965 司马贺改口:目标可以在 20 年内实现
↓ 被抓住把柄
1968 国际象棋大师列维和麦卡锡打赌:10 年内机器赢不了列维
→ 麦卡锡输了(赔了一大笔钱)
↓ 被嘲讽
德雷弗斯年年拿此事嘲讽 AI:"计算机下象棋连 10 岁的孩子都干不过"
↓ 兑现(分两步)
1996 马库恩的定理证明程序 EQP 证明了悬置 63 年的罗宾斯猜想(定理预言那半)
1997 IBM"深蓝"击败世界冠军卡斯帕罗夫(下棋预言那半)
→ 从许诺到兑现:39 年(原书口径;下棋那半到 1997,通算 40)。司马贺后来与人合写文章《人工智能的教训》
自嘲了这件事
图说:许诺(1957)→ 修正(1965)→ 打赌落空(1968)→ 长期嘲讽 →
分两路兑现(1996/1997)。每一格都有年份和对手,这就是 AI 预言的标准生命周期。
这个循环为什么重要?因为它是全书的节拍器。 后面每章都会重演一遍: 专家系统预言了(第 03 章)、五代机预言了(第 03 章)、机器翻译预言了(第 07 章)、 深度学习和强化 学习也都在预言里泡过(第 04、05 章)。而每一次兑现都来得比许诺晚 一二十年以上。 把这条约四十年的时间感装进脑子,再听今天的任何承诺,你就有了一个参照物。
作者还给这个循环补了一条机制解释,出自明斯基本人之口:一门年轻的学科, 一开始都需要一点"过度推销"(excessive salesmanship)34。 过度推销不是谎言,是筹资策略——但推销出去的预期,最后都会变成德雷弗斯手里的把柄。
6. 边界与局限
- 本章(以及这本书)是"以人为本"的历史,不是技术原理的历史。 人物轶事占比很高; 真正的机制(逻辑理论家怎么工作、感知机怎么学习)要等后面各章展开。
- 口述史料的先天偏差。 作者大量依赖当事人晚年回忆——他自己提醒: 接近生命末期的人"敞开了说",虽有夸张,但会流露真话;而功成名就时说的往往经过修饰35。 同一段往事(比如 1956 IRE 年会上谁协调了谁),明斯基、纽厄尔、司马贺的回忆互相矛盾36。
- 词频证据的局限。 Ngram 能显示"人工智能"何时压过"控制论",但显示不了为什么。 词频只是读数,不是病因。
- 作者立场偏符号派的批评者一侧。 他对费根鲍姆、明斯基等多有讥讽, 对王浩、所罗门诺夫明显偏爱。这不是缺陷,是立场——但要带着这个自觉去读。
7. 可带走的
- AI 的起点是一场组织行为,不是一个灵感:起名、建议书、7500 美元、十来个人、 一台能跑的程序——一门学科被"开"了出来;
- 两条路线从 1955 年就同台了:模拟心智(符号派)对模拟大脑(神经网络派), 这场斗争贯穿全书,到第 12 章才以"融合"收场;
- 命名即地盘:"人工智能"打败了"控制论""机器智能""复杂信息处理"; 谁的名字赢,谁就被记成创始人;
- 会议建议书的 7 个领域几乎预言了 AI 的全部子学科,包括机器学习和计算复杂性;
- 资助哲学决定学科节奏:ARPA 式精英制出原创,NSF 式同行评议出稳健; AI 的两次寒冬都跟着资助收紧走;
- 预言的生命周期是 40 年量级:1957 年"10 年内"的许诺,1997 年才兑现; 听到"10 年内"时,先默认它要乘以四;
- 过度推销是学科年轻的症状(明斯基自供),代价是把柄(德雷弗斯的专业);
- 作者身份要先于内容被记住:内部人写的史,考据一流,立场鲜明,段子要过滤。
8. 原文地图
| 主题 | 原书章 | 原文位置 |
|---|---|---|
| 作者师承与第 3 版动机 | 第3版 前言 | text/02-ch03.txt:11(搜「萨顿」) · text/02-ch03.txt:3(搜「大语言模型」) |
| 内容提要(作者与巴托的关系) | 内容提要 | text/01-fm.txt:11(搜「巴托」) |
| 夹枪带棒的文风自述 | 第2版 前言 | text/03-ch02.txt:7(搜「夹枪带棒」) |
| 以人为本的写法、口述录音 | 第1版 前言 | text/04-ch01.txt:5(搜「以人为本」) · text/04-ch01.txt:26(搜「100小时」) |
| 第 10 章可以跳过 | 第1版 前言 | text/04-ch01.txt:53(搜「跳过这一章」) |
| 1955 前戏与两条路线 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:11(搜「会中套了个小会」) · text/05-ch01.txt:16(搜「试图模拟神经系统」) |
| 想啥来啥 / 吃啥补啥 | 第5章 神经网络简史 | text/09-ch05.txt:11(搜「想啥来啥」) |
| 六君子与预算 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:23(搜「6个最关键的人」) · text/05-ch01.txt:258(搜「13 500美元」) |
| 命名悬案与机器智能 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:181(搜「悬案」) · text/05-ch01.txt:462(搜「机器智能」) |
| 控制论之争、复杂信息处理 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:147(搜「维纳当老大」) · text/05-ch01.txt:190(搜「复杂信息处理」) |
| 共同体靠外部反对形成 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:246(搜「外部的反对」) |
| 逻辑理论家与王浩 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:296(搜「逻辑理论家」) · text/05-ch01.txt:304(搜「9分钟」) |
| 利克莱德与 ARPA、海尔梅尔砍预算 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:402(搜「利克莱德」) · text/05-ch01.txt:421(搜「大砍」) |
| 温斯顿:ARPA 与 NSF 对照 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:426(搜「三个圈」) · text/05-ch01.txt:430(搜「同行评议」) |
| 乔姆斯基的军方经费 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:366(搜「美国空军和海军」) |
| IRE 年会:米勒与乔姆斯基 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:356(搜「IRE信息论年会」) · text/05-ch01.txt:359(搜「魔力数字七」) |
| 年会与达特茅斯孰重 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:368(搜「更重要」) |
| 会议是命名之源不是学科之源 | 第8章 自然语言处理 | text/12-ch08.txt:79(搜「命名」) |
| AI 像哲学、子学科独立 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:386(搜「没靠相对论」) |
| 刺猬与狐狸 | 第1章 达特茅斯会议：人工智能 的缘起 | text/05-ch01.txt:343(搜「刺猬与狐狸」) |
| 明斯基冷冻遗体(传说) | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:493(搜「冷冻」) |
| 司马贺 1957 预言与麦卡锡赌局 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:446(搜「列维」) · text/05-ch01.txt:450(搜「深蓝」) |
| 1996 EQP 证罗宾斯猜想 | 第2章 自动定理证明兴衰纪 | text/06-ch02.txt:293(搜「罗宾斯猜想」) |
| 预言延迟 39 年 | 第2章 自动定理证明兴衰纪 | text/06-ch02.txt:299(搜「39」) |
| 明斯基自供过度推销 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:465(搜「过度推销」) |
| 口述回忆的真话与夸张 | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:336(搜「敞开了说」) |
| 回忆互相矛盾(IRE 之争) | 第1章 达特茅斯会议：人工智能的缘起 | text/05-ch01.txt:331(搜「罗森布吕特」) |