达特茅斯会议
达特茅斯人工智能夏季研究项目召开，标志着"人工智能"作为一门学科的诞生。
事件概述
1956年夏天，约翰·麦卡锡、马文·明斯基、纳撒尼尔·罗切斯特和克劳德·香农组织了达特茅斯人工智能夏季研究项目。这次会议首次提出了"人工智能"(Artificial Intelligence)这一术语，并汇集了当时对机器智能感兴趣的顶尖研究者。达特茅斯会议被认为是人工智能领域的奠基性事件，开启了此后数十年的AI研究。
深度学习笔记
背景、原理、影响与要点，一次读懂这个事件
背景与脉络
1956 年夏，达特茅斯学院举办「人工智能夏季研究项目」，常被视为 AI 作为独立学科的诞生地。会议由 John McCarthy、Marvin Minsky、Claude Shannon 与 IBM 的 Nathan Rochester 共同发起，研究计划书于 1955 年 8 月提交洛克菲勒基金会，并首次正式使用「人工智能」一词。彼时神经网络、自动机、信息论等思想已成熟，却缺乏统一旗帜；会议旨在把分散的研究者聚拢，共同攻关「让机器模拟智能」这一宏大目标。
核心要点
- 1四名发起人：McCarthy、Minsky、Shannon 与 IBM 的 Rochester，1955 年撰写计划书。
- 2「人工智能」一词出自该计划书，意在聚焦「让机器表现智能」的研究。
- 3计划书提出核心假说：智能的各个方面都可被精确描述并由机器模拟。
- 4Newell 与 Simon 在会上展示了 Logic Theorist，常被视作首个 AI 程序。
- 5约十位研究者参会，催生了 MIT、斯坦福、CMU 等首批 AI 研究中心。
- 6会议未产生统一理论，却确立了 AI 的名称、使命与共同体。
原理与技术细节
达特茅斯会议本身不是一项技术，而是一次研究议程的「立项」。其计划书把智能拆解为若干可计算的子问题：语言使用、抽象与概念形成、各类迄今由人完成的问题求解，以及机器自我改进。它宣称这些能力「原则上」都能被精确形式化并由机器模拟——这是一种方法论信念，而非算法。会议期间展示的代表性技术包括 Newell 与 Simon 的 Logic Theorist（用启发式搜索证明逻辑定理）以及 Samuel 的跳棋程序（通过自对弈提升棋力）。换言之，达特茅斯确立了「用符号与搜索模拟心智」的符号主义纲领。
影响与后续
达特茅斯会议把 AI 从哲学思辨变为有名称、有共同体的科学事业，开启了约二十年的乐观期：Lisp 语言、感知机、专家系统等相继涌现。但会议也固化了符号主义的自上而下路线，相对忽视了神经网络与具身认知。其过度乐观的承诺在 1970 年代落空，直接酿成第一次「AI 寒冬」。
学习要点
- 一个领域的命名与共同体，往往比某篇论文更能推动范式形成。
- 把宏大目标拆成可计算子问题，是 AI 研究的经典动员方式。
- 警惕「原则可行」与「工程可行」之间的落差，过度承诺会反噬整个领域。
术语表
以符号、规则与搜索来模拟心智的 AI 路线，达特茅斯会议后长期占主导地位。
资助达特茅斯会议提案的机构，其拨款促成了「人工智能」这一学科名称的诞生。
在巨大组合空间中借助经验规则高效寻找解的方法，Newell 与 Simon 以此证明定理。