1 会议背景与筹备
1.1 二战后科技氛围与早期智能机器探索
第二次世界大战结束后，全球科技领域迎来了前所未有的繁荣期。电子计算机从军用密码破译与弹道计算领域进入学术视野，真空管计算机（如ENIAC）已能完成比人力快上万倍的数值运算。与此同时，控制论创始人诺伯特·维纳在1948年出版的《控制论》中提出，反馈机制使机器与生物行为具有共通性，这为“机器能否思考”提供了理论土壤。早期探索包括阿兰·图灵1950年的经典论文《计算机器与智能》及他设计的“模仿游戏”（即后来的图灵测试），以及基思·戈登·奥古斯塔·弗伦奇等人对感知机模型的初步构思。这些分散的研究虽未形成统一学科，但已表明：让机器模拟人类智能的想法已具备初步技术基础与社会关注。
1.2 关键人物及其动机
1.2.1 麦卡锡的“达特茅斯夏季研究提案”
约翰·麦卡锡时任达特茅斯学院数学助理教授，此前曾在贝尔实验室与IBM工作。1955年8月，他起草了一份名为“达特茅斯夏季人工智能研究提案”的文件（即著名的“提案”），明确主张“学习与智能的每一个方面原则上都可以被如此精确地描述，以至于机器可以被制造出来模拟它”。该提案获得洛克菲勒基金会的批准，提供约7500美元经费（相当于2020年代约7万美元），资助十名研究者工作八周。麦卡锡的动机在于：他认为当时计算机科学各个分支——信息论、博弈论、逻辑学、控制论——缺少一个统一的名称与方向，亟需一场“脑力风暴”来凝聚共识。
1.2.2 香农的信息论与图灵测试的间接影响
克劳德·香农是贝尔实验室的信息论创始人，1948年发表的《通信的数学理论》为信号处理与编码理论奠定了基础。他对智能机器的兴趣源自对国际象棋编程与迷宫求解的研究。阿兰·图灵虽未出席达特茅斯会议，但他在1950年提出的图灵测试已成为衡量机器智能的默认标杆。香农在会前与麦卡锡通信时明确表示，图灵的“模仿游戏”是最接近“可操作定义”的智能标准，建议将其作为讨论起点。这一立场间接影响了会议对“智能”一词的界定：与会者普遍将“通过自然语言进行人机对话”视为核心目标之一。
1.3 经费来源与达特茅斯学院的角色
经费由洛克菲勒基金会提供，属于该基金会“行为科学”项目的一部分（当时人工智能被归入跨学科行为研究）。达特茅斯学院为会议提供了场地、黑板、会议室以及少量办公耗材。学院数学系主任罗伯特·麦克诺顿虽未直接参与研究，但以行政支持确保了会议不受干扰。值得注意的是，会议没有正式住宿安排，部分与会者借宿在当地教师家中，或住在College Inn旅店。
2 会议过程与参与者
2.1 会议时间与地点
会议于1956年6月18日开幕，持续约六周至8月17日结束。地点位于达特茅斯学院校园内的“博尔多姆大厅”（Boulder Hall）一楼会议室。会议并非全日制持续讨论，而是每两周进行一次“整周研讨会”，中间穿插自由阅读与小型小组讨论。这一松散安排在后世常被误读为“连续六周封闭式会议”。
2.2 正式参与者名单
2.2.1 核心组织者：麦卡锡、明斯基、香农、罗切斯特
- 约翰·麦卡锡：会议发起人与主要联系人。
- 马文·明斯基：哈佛大学博士候选人（后成为MIT教授），专攻神经网络与感知机，但会前已对纯连接主义产生怀疑。
- 克劳德·香农：贝尔实验室资深研究员，因信息论成就在学界享有极高声望。
- 纳撒尼尔·罗切斯特：IBM公司工程师，是当时少数拥有实际编程经验的研究者（参与设计IBM 704计算机），他为会议提供了IBM公司的技术支持与部分资金赞助。
2.2.2 其他重要参会者：艾伦·纽厄尔、赫伯特·西蒙等
会议还邀请了约10位核心学者（允许部分成员旁听几日后离开），其中包括：
- 艾伦·纽厄尔：兰德公司研究员，即将转入卡内基理工学院（现卡内基梅隆大学）。
- 赫伯特·西蒙：卡内基理工学院教授（后获诺贝尔经济学奖），与纽厄尔共同开发了“逻辑理论家”程序。
- 阿瑟·塞缪尔：IBM公司研究员，以西洋跳棋程序闻名，被视为“机器学习”原型贡献者。
- 约翰·麦卡锡的博士生雷伊·雷特曼以及肯尼斯·克拉克（早期批评者之一）等人。
2.3 会议议程与讨论形式
2.3.1 每日研讨与自由辩论
会议没有预设议程，组织者仅列出“学习”、“定理证明”、“语言处理”、“视觉感知”、“抽象与创造力”五个主题方向。每日上午由一位主讲人做90分钟报告，下午进行自由辩论。辩论氛围激烈但保持学者风度，参与者常在白板上画满公式与图示，甚至出现午餐时因争论“机器能否有情感”而打翻咖啡杯的场面。
2.3.2 未能达成共识的议题（如符号 vs 统计）
尽管会议以“统一”为名，但内部已暴露出根本分歧：
- 符号主义阵营（麦卡锡、纽厄尔、西蒙）主张用逻辑公理与规则表示知识，机器通过符号操作实现推理。
- 统计/概率方法支持者（香农、萨缪尔、部分IBM工程师）认为学习可以来自于数据与概率模型，而非完全依靠手工编写规则。
- 连接主义萌芽：明斯基虽以神经网络研究起步，但会上对“感知机”表达了悲观，认为单层神经网络局限性太大（这一观点后来在1969年的《感知机》一书中系统化，间接导致神经网络研究第一次低潮）。
这些分歧并未在会议期间解决，而是被礼貌搁置，但已为日后学派的正式分裂埋下伏笔。
3 会议成果与历史意义
3.1 “人工智能”术语的正式确立
麦卡锡在会议提案中使用了“Artificial Intelligence”一词，会议期间全体参会者接受这一术语，此前该领域常被称为“机器智能”“思维机器”或“符号系统”。会议结束后，麦卡锡在公开发布的研究报告中将该术语固定下来，并拒绝使用更通俗的“计算机智能”或“仿生智能”，他认为“artificial”一词暗示了人类智能的“非自然模仿”——恰好符合会议初衷。
3.2 宣言式设想：从定理证明到语言处理
3.2.1 对当时计算机能力的乐观预估
与会者普遍认为，只要解决“表示问题”与“搜索问题”，十年内机器就能实现人类水平的常识推理。会议报告称“可望在20年内，机器将能完成人类所能做的任何智力工作”。这一极端乐观情绪——源于“逻辑理论家”的成功（见下文）——直接推动了20世纪60年代大量政府资金涌入符号学派项目。
3.2.2 逻辑理论家（Logic Theorist）的展示
纽厄尔与西蒙在会议期间展示了他们与克利夫·肖合作开发的程序“逻辑理论家”（Logic Theorist）。该程序运行在RAND公司的JOHNNIAC计算机上（实际运行时间在会后几个月，会议期间仅进行书面演示），能证明《数学原理》中的前38个定理。这是第一个被公认为“人工智能程序”的软件，其核心是通过逆向链搜索（sub-goaling）来匹配公理。西蒙后来回忆称：“我们演示完那个定理的证明过程时，会议室里至少有五个人同时发出了惊叹声……我们并非在做模拟，而是在做真正的思维。”
3.3 学科分水岭效应
3.3.1 符号学派的主导地位
达特茅斯会议使符号主义（Symbolic AI）成为此后二十年人工智能的主流范式。美国国防部高级研究计划局、IBM、MIT、卡内基梅隆大学等都以此为基础设立实验室。1958年麦卡锡发明LISP语言，专门用于符号表达式处理，成为第一个AI编程语言。1959年明斯基与麦卡锡在MIT创立“人工智能实验室”（今MIT CSAIL的前身）。
3.3.2 连接主义被边缘化的起点
尽管会议中有关于神经网络（当时称“感知机”）的讨论，但明斯基会后的悲观评论（加上1969年他与帕佩特合著的《感知机》一书）被视为连接主义寒冬的导火索。达特茅斯会议上未被充分讨论的统计方法与分布式表征，直到二十世纪八十年代才重新回归。
4 后续影响与争议
4.1 直接推动的早期研究项目（如LISP语言、MIT AI实验室）
达特茅斯会议的直接遗产包括：1958年麦卡锡发明LISP语言，成为AI领域符号处理的标准工具；1960年明斯基与麦卡锡在MIT成立“人工智能实验室”；纽厄尔与西蒙在卡内基梅隆大学创立“将人类认知编码为产生式系统”的研究路线；王浩、莫里斯·弗赖登塔尔等人受其启发开展定理证明研究。
4.2 未兑现的预言与第一次AI寒冬的暗线
4.2.1 肯尼斯·克拉克的早期批评
卡内基梅隆大学的哲学家肯尼斯·克拉克（非科幻作家）于1957年发表文章《数字计算理论对心灵哲学的意义》，指出达特茅斯会议将“智能”等同于“符号操作”是一种还原主义谬误，认为“语义理解无法还原为语法规则”。这一批评在当时影响有限，但为后来的“中文房间论证”（1980年约翰·塞尔提出）埋下了伏笔。
4.2.2 “达特茅斯精神”与实际落地之间的鸿沟
会议预言过于乐观：到1950年代末，已有多个符号学派项目遭遇“组合爆炸”——程序在小型玩具式问题上表现优异，但无法缩放至现实问题。1966年的“机器翻译报告”直接导致自动翻译研究资金冻结；1973年的“莱特希尔报告”谴责英国AI研究未能兑现承诺，引发第一轮AI寒冬。达特茅斯会议上的过度承诺被后世视为这轮寒冬的风险起点。
4.3 历史评价的演变
4.3.1 作为“神话起点”的叙事重构
21世纪以来，科技史学家指出达特茅斯会议在当时的实际影响力被过度神话。会议本身几乎没有产出正式论文集（仅有一份22页的临时报告），与会者人数不超过15人，多数时间处于“脑力激荡”而非系统性研究。某种意义上，“1956年达特茅斯会议＝人工智能诞生”是麦卡锡本人及AI早期学家在1960年代为寻求学科合法性而主动构建的叙事。2016年正值会议60周年，MIT出版社等机构举办的纪念活动中，学者们普遍承认这一“神话”对学科动员具有积极价值，但需要历史修正。
4.3.2 近期学界对会议多元性的再发现（如被忽略的女性参与者）
历史学家通过对洛克菲勒基金会档案与私人信件的挖掘发现，达特茅斯会议至少还有两位女性科学家的名字被遗漏：一位是卡内基理工学院（现卡内基梅隆大学）的博士候选人玛丽·李·伍兹（Mary Lee Woods，后成为雷达系统分析师），曾协助纽厄尔与西蒙调试逻辑理论家代码；另一位是麦卡锡的秘书海伦·史密斯（Helen Smith），她承担了会议记录的整理工作。这些发现引发了学界对早期AI性别史的重新审视。
5 相关轶事与通俗文化
5.1 麦卡锡的“办公用品预算”趣闻
据明斯基晚年回忆，麦卡锡在申请洛克菲勒经费时，将“办公用品”预算估算为500美元，实际只花了187美元购买粉笔、笔记本和额外三把椅子。会议结束后，麦卡锡用结余经费请全体与会者吃了一顿波士顿龙虾大餐（但每人仅限一只），并留下“余款可用于出版论文集”的承诺，可惜论文集终生未出版。
5.2 会议期间的黑板涂鸦与内部梗
会议的黑板上常出现麦卡锡画的“微笑的图灵机”与香农标注的“熵值分析：讨论效率 vs 讨论深度函数”。最为著名的梗是西蒙某日在报告结束时用粉笔写下“我们已经证明了上帝存在的逻辑必然性”（意指逻辑理论家成功证明《数学原理》中关于上帝存在的定理——实际上是玩笑，该定理并非神学命题）。这个涂鸦被保留照片流传，成为AI早期“万物皆可证明”的乐观象征。
5.3 在影视作品中的映射（如《模仿游戏》的旁白提及）
2014年电影《模仿游戏》（The Imitation Game）中，在图灵战后生活片段里，背景音播放着一份虚拟的广播节目，其中旁白提到“新罕布什尔州的夏季学术讨论会上，一群人正在使用‘人工智能’这个词”。虽然该电影主要聚焦于二战时期，但这一闪回式旁白是达特茅斯会议在主流影视中的唯一直接提及。其他影视作品如《银翼杀手》中虽然未直接引用，但其“智能测试”的元素可追溯到达特茅斯会上对图灵测试的讨论。