概述
1956年夏，一小群数学家和科学家聚集在新罕布什尔州汉诺威市的达特茅斯学院，参加一场为期十周的研讨会。正是在这次聚会中，一门新的科学学科诞生了——并有了一个新名字：人工智能。
会议由约翰·麦卡锡（时任达特茅斯学院）组织，联合召集人包括马文·明斯基（哈佛大学）、克劳德·香农（贝尔实验室）和纳撒尼尔·罗切斯特（IBM）。他们向洛克菲勒基金会提交的申请简洁地描述了这一计划：“尝试探究如何让机器使用语言、形成抽象概念、解决目前只有人类才能解决的问题，并实现自我改进。”
那份提案
最初的资助申请包含了科学史上最大胆的赌注之一：人类智能的每个方面原则上都可以由机器模拟——并且在一个夏天内就能取得重大进展。
麦卡锡特意选用"人工智能"这一名称，部分原因是为了将这一计划与早期的控制论研究区分开来，并标志着一个全新科学纲领的开始。这个名字就此沿用至今。
参会者
参会者堪称计算机时代即将来临的群英谱：
- 约翰·麦卡锡：后来发明了Lisp编程语言（1958年），并荣获图灵奖
- 马文·明斯基：MIT人工智能实验室联合创始人，神经网络与框架理论先驱
- 克劳德·香农：信息论创立者，所有数字通信的数学基础
- 艾伦·纽厄尔与赫伯特·西蒙：发表了逻辑理论家——第一个能够证明数学定理的程序，堪称第一个真正意义上的AI程序
- 阿瑟·塞缪尔：开发了一个能自我提升棋力的跳棋程序，三年后创造了"机器学习"一词
成就
达特茅斯会议并没有产生一个统一的重大突破——那个夏天的雄心远远超出了实际成果。但它实现了一件更重要的事：将AI确立为一个合法的科学研究领域，明确了其核心问题，并形成了将推动此后数十年进步的研究者共同体。
艾伦·纽厄尔和赫伯特·西蒙的逻辑理论家是最突出的演示成果。它能够证明《数学原理》中的定理——甚至在一个案例中找到了比怀特海和罗素原著更优雅的证明。西蒙豪言：“我们发明了一台会思考的机器。”
历史遗产
达特茅斯会议是人工智能的创世神话。它所命名的问题——推理、语言理解、学习、感知——至今仍是AI研究的核心问题。它所确立的雄心（机器能够媲美人类智能）依然是这一领域七十年来的精神图腾。
达特茅斯会议深刻把握到的，并非时间表（那种乐观主义大错特错），而是问题的框架：智能是一种计算现象，通过机器来研究它在科学上是合理的，并且可能具有变革性的力量。