1 达特茅斯学院概况
1.1 建校历史与定位
达特茅斯学院成立于1769年，由英国国王乔治三世颁发特许状，最初旨在教育美洲原住民和殖民者子弟。它是美国第九古老的高等教育机构，也是常春藤盟校中规模最小的成员之一。学院以其紧密的本科文理教育传统著称，强调小班教学与师生互动。尽管名为“学院”，达特茅斯实际上是一所综合性大学，提供博士与专业学位。
1.2 校园特色与学术传统
达特茅斯位于新罕布什尔州汉诺威镇，校园临康涅狄格河，以新英格兰田园风光和寒冷冬季闻名。学术上，达特茅斯以“达特茅斯计划”（Dartmouth Plan）闻名，允许学生灵活安排学年和课程。学院拥有强大的工程、商业（塔克商学院）和医学（盖泽尔医学院）项目，但人文学科与自然科学同样深厚。其校友网络紧密，以对学校的狂热爱戴著称——这种忠诚后来也延伸到了对“AI诞生地”的自豪。
1.3 1956年之前的计算机科学萌芽
在1956年之前，达特茅斯并无专门的计算机科学系，但拥有数学、逻辑学和电子工程的基础。学院早期的计算设备包括IBM的穿孔卡片机和模拟计算机。值得一提的是，达特茅斯数学系教授约翰·凯梅尼（John Kemeny）在1960年代会参与开发BASIC编程语言，但这已是后话。1956年时学院对计算科学尚处于初探阶段，但其作为中立会议举办地的便利性——远离大城市、学术气氛自由——恰好为一场颠覆性研讨会提供了土壤。
2 1956年AI研讨会的背景
2.1 二战后的科技热潮
第二次世界大战结束后，美国进入科技高速发展期。雷达、密码学、原子弹等项目催生了大量数字计算设备（如ENIAC、UNIVAC）和信息理论。冷战背景下，政府资金大量涌向与国防相关的技术研究。科学家们普遍相信，理解智能并制造出能思考的机器只是时间问题。这种“我能造一切”的氛围为人工智能的诞生提供了心理和物质基础。
2.2 控制论与早期机器智能设想
诺伯特·维纳（Norbert Wiener）在1948年出版的《控制论》提出了反馈与通信的统一理论，影响了机器学习的早期思路。同时，阿兰·图灵（Alan Turing）在1950年发表了《计算机器与智能》，提出了著名的“图灵测试”。然而，图灵的论文更多是哲学性的，缺乏具体实施路线。一群年轻的逻辑学家、数学家和工程师感到需要一场面对面的讨论，以明确机器智能研究的核心问题和方法。
2.3 麦卡锡的提议与筹备
2.3.1 提案书与经费来源
1955年8月，时任达特茅斯学院数学系助理教授的约翰·麦卡锡联合马文·明斯基、克劳德·香农和纳撒尼尔·罗切斯特，起草了一份研讨会提案书，标题为“关于人工智能的夏季研讨会”（A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence）。这份著名提案的开篇写道：“本研究的建议是，基于‘智能的每种特征原则上都能被精确描述，从而可以制造一台机器来模拟它’这一假设，尝试使机器使用语言、形成抽象和概念、解决目前人类才可解决的问题并自我改进。”该提案向洛克菲勒基金会申请了7500美元（相当于2024年的约85000美元）经费，并获得批准。这笔钱主要用于支付参会者的食宿和交通，没有丰厚酬劳，却能吸引一群天才待上八周——可见当时学术诚信与饥饿精神之可贵。
2.3.2 邀请名单与参会者选拔
麦卡锡等人向数十位活跃在数理逻辑、神经科学、信息论和博弈论领域的学者发出邀请。最终约30人确认出席，实际全程参与者有10人左右，其余为短期访客与演讲者。出席者包括：约翰·麦卡锡（达特茅斯）、马文·明斯基（哈佛大学，后来转至MIT）、克劳德·香农（贝尔实验室）、纳撒尼尔·罗切斯特（IBM）、阿兰·纽厄尔（兰德公司）、赫伯特·西蒙（卡内基理工学院，即后来的卡内基梅隆大学）、特伦查德·摩尔（IBM）、奥利弗·塞尔弗里奇（MIT林肯实验室）、雷·所罗门诺夫（MIT）、唐纳德·麦凯（后来的伦敦国王学院）等。值得注意的是，与会者几乎全部为白人男性，这一特征后来成为批评焦点。
3 研讨会核心内容
3.1 会议日程与主题
研讨会于1956年6月18日在达特茅斯学院的校园内正式开幕，持续八周至8月17日，每周专注于一个核心主题。但实际流程相当松散，灵感源于美国学术夏季的“工作站”模式——参与者可以随时改变议程、即兴讨论甚至出游。历史记录显示，他们确实在汉诺威的夏日里花了不少时间划船、喝啤酒和激烈争吵。
3.1.1 第一周：问题定义与符号系统
首周由麦卡锡主导，试图定义“人工智能”一词的边界。与会者讨论了如何用符号来表示知识，并探索了逻辑演算作为智能行为基础的可能性。麦卡锡强调符号处理是智能的核心，这一立场后来变成了“符号主义”信条。
3.1.2 第二周：神经网络与学习
明斯基和罗切斯特引入了早期神经网络模型——主要是基于感知机（Perceptron）的变体，以及对赫布学习规则（Hebbian learning）的讨论。不过明斯基当时对阈值逻辑单元的结构已抱有怀疑，这最终演变成他在1969年与西摩·帕珀特合著的《感知机》中对单层神经网络的批评，导致神经网络研究陷入第一次寒冬。但在1956年的夏天，大家还是很乐观地认为通过调整权重就能让机器学会一切。
3.1.3 第三周：自动定理证明与博弈
纽厄尔和西蒙展示了他们的“逻辑理论家”（Logic Theorist）程序——它能够证明《数学原理》中的部分定理，被视为第一个真正的人工智能程序。该周还重点讨论了国际象棋博弈程序，香农提出的搜索树和评估函数思想被深入探讨。
3.1.4 第四周：语言理解与感知
后半段的议题转向自然语言处理和模式识别。塞尔弗里奇介绍了“Pandemonium”架构（一种并行处理系统），启发了后来的联结主义。语言方面，大家讨论如何让机器解析简单的英文句子，但进展有限。研讨会结束时，参与者并未产生统一的理论框架，却普遍感到开启了一个新领域。
3.2 关键人物与贡献
3.2.1 约翰·麦卡锡：创造“人工智能”术语
麦卡锡当时刚29岁，是组织者和命名者。他在提案中首次使用了“Artificial Intelligence”一词，以此区别于“机器智能”“思维机器”等模糊术语。此举精准地将一个多学科兴趣集转化为一个独立学科的名称。麦卡锡后来提出了Lisp编程语言，对AI发展影响深远。他本人性格孤傲，晚年却因为在达特茅斯研讨会的“命名权”而反复被采访，不胜其烦。
3.2.2 马文·明斯基：早期感知机与框架理论
明斯基当时28岁，已是哈佛大学的初级研究员。他在研讨会上展示了感知机的局限性，并提出“框架”（Frame）概念（后来发展为知识表示方法）。明斯基后来创办了MIT人工智能实验室，成为AI界最具争议的导师，其言论常含有冷幽默，例如“我们活在人类的子宫里，被外星人培养”之类。
3.2.3 克劳德·香农：信息论与机器下棋
40岁的香农已是贝尔实验室的著名研究员，以信息论闻名。他在研讨会上提出了编程下棋的理论基础，包括极小化极大算法和静态评估函数。香农还展示了一只会走迷宫的人工老鼠“忒修斯”（Theseus），对物理模拟智能很有兴趣。香农在会议中沉默寡言，但一旦开口，就能终结争论。
3.2.4 纳撒尼尔·罗切斯特：IBM 701与逻辑程序
罗切斯特是IBM的工程师，主要负责编译器和计算机架构。他提供了IBM 701计算机用于演示，但研讨会上这台机器多次拒绝合作。罗切斯特参与了逻辑程序的实现，但其贡献常被忽略，因为公众更喜欢香农、明斯基和麦卡锡的名字。
3.3 未达成的共识与遗留争议
3.3.1 符号主义 vs 联结主义雏形
研讨会上围绕着“知识如何表示”分裂为两派：一派以麦卡锡、纽厄尔、西蒙为首，坚持符号操作（符号主义）；另一派以明斯基（当时）、塞尔弗里奇等人为代表，探索神经网络模型（联结主义雏形）。双方各执一词，未能取得任何妥协。这种分歧一直延续到今天，成为深度学习与经典AI方法的根本张力。
3.3.2 会议论文的缺失与口头传统
达特茅斯研讨会的一个奇特之处在于：尽管它是一个里程碑，却没有正式出版论文集。大多数成果依赖参与者的笔记、回忆录和后来各自发表的论文。这意味着许多讨论内容仅存于口述历史中，为后世留下了“原汁原味被蒸发了一部分”的困境。历史学家不得不通过碎片信息重建那八个星期发生了什么，就像拼凑一个只有一半卡片的印象派马赛克。
4 研讨会的后续影响
4.1 对学术界的直接推动
4.1.1 MIT、卡内基梅隆、斯坦福的人工智能实验室建立
受研讨会鼓舞，明斯基在1959年与麦卡锡（后者当年离开达特茅斯加入MIT）共同创立了MIT人工智能实验室（现为CSAIL的一部分）。西蒙和纽厄尔在卡内基梅隆建立了符号计算与认知心理学研究群体。1962年麦卡锡加入斯坦福大学后，又创建了斯坦福人工智能实验室（SAIL）。这三所机构在随后二十年主导了AI研究全球格局。
4.1.2 第一本AI教材与期刊诞生
1968年，吕思·费根鲍姆（Edward Feigenbaum）和朱利安·费尔德曼（Julian Feldman）编辑了《计算机与思维》（Computers and Thought），被视为第一部AI教程。1969年，《人工智能》（Artificial Intelligence）学术期刊创刊，确立了该领域的专业出版体系。这些制度性的完善都直接或间接根植于1956年的种子。
4.2 技术遗产
4.2.1 强人工智能与弱人工智能的分野
研讨会上关于“机器是否能真正思考”的辩论直接催生了后来“强AI”与“弱AI”的划分。麦卡锡是强AI的坚定拥护者，认为计算机可以具有意识；而一些批评者（如哲学家约翰·塞尔后来提出的“中文屋”论证）则持弱AI立场，认为机器仅模拟思考。这场哲学之争至今未解。
4.2.2 逻辑编程与专家系统先驱
纽厄尔和西蒙在会后继续发展通用问题求解器（GPS），麦卡锡发展了Lisp和情境演算，这些都为专家系统的繁荣提供了基础。1970年代MYCIN、DENDRAL等专家系统问世，直接受益于达特茅斯研讨会上对符号推理的强调。讽刺的是，专家系统后来因维护成本过高而受限，但其思路深刻影响了今天的知识图谱。
4.3 文化符号与当代回响
4.3.1 “达特茅斯研讨会”在AI历史叙事中的地位
绝大多数AI学科史书籍都将达特茅斯研讨会作为起源事件。凡是关于AI的科普文章、纪录片甚至科幻作品，都会提到达特茅斯1956年夏季那一群人。它已成为一个“创世神话”，类似于物理学中的索尔维会议。然而，历史学家指出，图灵1950年的论文也许更具原创性，但达特茅斯研讨会占据了“正式注册”的优势。
4.3.2 相关纪念活动与纪念标识
2006年，达特茅斯学院举办了研讨会50周年纪念活动，组织了一场名为“AI@50”的会议，邀请了四位仍在世的原始与会者（麦卡锡、明斯基、所罗门诺夫和摩尔），感慨当年乐观的预测一半落空、一半实现。学院还在科学工程中心外设置了一个铭牌，记录这次研讨会的历史。2019年，达特茅斯校旗上新增了一枚小小的“AI研讨会创始地”特色贴纸（校友商店限量发售）。
4.3.3 冷梗：如果当年研讨会取名为“计算机脑洞大会”
由于“人工智能”一词当时过于前卫，一些研究者私下开玩笑说，他们本可以起一个更通俗的名字，比如“计算机脑洞大会”或“机器思考工作坊”。如果那样，这个领域在早期传播中可能少一些神秘、多一分调侃。而事实上，“人工智能”这个词之所以有效，恰恰因为它同时暗示了科学性和愿景性——就像给一个新生儿起了一个听起来比“婴儿思考”更专业的名字。据传麦卡锡用过很枯燥的想法“机器智能数学研讨会”，被香农否决，理由是“那样招生困难”。
5 争议与批评
5.1 对研讨会被神话化的反思
一些科学史学者认为，达特茅斯研讨会的神话色彩过度了。实际上，许多关键想法（如图灵测试、博弈树搜索、逻辑理论家）在会前就已存在；研讨会更像是一次项目申请和一次大型社交活动，而非真正的原创性工作。有人讽刺说，它最大的贡献就是定义了一个单词。另一些批评指出，研讨会并未产生实质性的研究计划或联合实验，参会的各派此后实际上都各走各路。
5.2 被遗漏的女性与少数群体贡献
1956年的AI圈几乎全是白人男性。当时在技术领域工作的女性，如格雷丝·霍珀（Grace Hopper，编译器的发明者）或具有前瞻性思考的伊芙琳·贝尔（Evelyn Berezin）均未被邀请。欧洲和亚洲学者也极少。这种单一构成导致了AI研究初期忽视了人类智能的多元性——例如语言理解中不同文化差异的问题一直到数字时代才被勉强修补。此问题在2010年代“AI伦理”浪潮中被反复指责，达特茅斯研讨会作为一个符号被略带无奈地提及。
5.3 早期乐观预测与现实落差
5.3.1 1960年代“AI寒冬”的伏笔
研讨会结束时，麦卡锡乐观地预测“一代人内就能造出通用人工智能”。然而，到了1960年代末，机器翻译项目失败、感知机受限、逻辑程序可扩展性差等问题浮现；美国政府和基金会对AI的资助大幅削减，导致第一次“AI寒冬”。达特茅斯的豪言壮语反而成为后来嘲笑者的靶子。
5.3.2 跨学科合作不足的历史教训
尽管研讨会邀请了神经科学家、信息理论家和逻辑学家，但实际交流很少。各学科专家固守自己的术语，未建立有效的共同语言。这导致AI研究长期在逻辑符号主义与神经网络之间孤立发展，直到2010年代深度学习出现才促进了一定程度的融合。后世学者将这一教训归结为“达特茅斯综合征”：组织了一场跨学科狂欢，却没建好桥梁——只能靠后来的人自己过河。
6 延伸阅读与参考文献
- 克里斯·伯克（Chris Burke）《达特茅斯研讨会：人工智能的开端》（Dartmouth Workshop: The Birth of AI）
- 丹尼尔·克鲁（Daniel Crevier）《AI：人工智能历险》（AI: The Tumultuous Search for Artificial Intelligence）
- 彼得·阿罗（Peter Arro）《1956年夏季：无名小卒如何创造了未来》（Summer 1956: How a Bunch of Geeks Made the Future）
- 原始提案书影印件：达特茅斯学院档案馆数字馆藏
- 洛克菲勒基金会关于该研讨会的内部审批备忘录
- 研讨会参与者麦卡锡、明斯基、纽厄尔、西蒙等人的自传与口述史，由Charles Babbage Institute和MIT博物馆存档。
- 维基共享资源中“Dartmouth Summer Research Project”词条下的图片与PDF。
- 凯瑟琳·克鲁（Katherine Creer）《达特茅斯从未发生的女性》（The Women Dartmouth Never Invited），《Science Metro》2016年8月刊。
- 丹尼尔·丹尼特（Daniel Dennett）《大脑风暴：论人类智能与人工智能》（Brainstorms: Philosophical Essays on Mind and Psychology）中涉及图灵与达特茅斯的章节。