麻省理工学院人工智能实验室

一个独立出来的实验室

1970年，麻省理工学院（MIT）人工智能实验室成立。明斯基（Marvin Minsky）的许多人工智能同事离开Project MAC，加入了这个新实验室^[1]。在实验室的主任名单上，排在第一位的就是明斯基，任期从1970年到1972年^[1]。

这个年份标记的是一次行政上的分立，而不是MIT人工智能研究的起点。MIT的人工智能研究始于1950年代末，这与实验室1970年成立是两件不同的事^[1]；MIT计算机科学与人工智能实验室（CSAIL）的历史页面则把人工智能项目的起点定在1959年^[2]。

从Project MAC中分出

1960年代初，一个「AI小组」被并入Project MAC，主任是明斯基，成员中包括Lisp语言的发明人约翰·麦卡锡（John McCarthy）^[1]。Project MAC于1963年7月1日启动，获得美国国防部高级研究计划局（ARPA）200万美元的资助^[1]。它的首任主任是罗伯特·法诺（Robert Fano），任期列为1963年至1968年，J. C. R. 利克莱德（J. C. R. Licklider）当时是该局的项目主管^[1]。CSAIL的历史页面把Project MAC描述为国防部资助的项目，目标是开发一套可供大量用户使用的计算机系统^[2]，也就是分时（time-sharing）系统：一台机器的处理时间被切分给许多用户，而不是一次只交给一个人。

空间问题与分立

到1960年代末，明斯基的人工智能小组需要更多空间，却无法从Project MAC的主任利克莱德那里得到^[1]。明斯基发现，Project MAC作为一个整体申请不到额外的空间，但如果分出去成立自己的实验室，他就有资格获得更多办公空间^[1]。按这一说法，新实验室起初是为了争取到可供工作的场所，而当时MIT的计算研究正在扩张。

系统与机器

在1960年代和1970年代，AI小组开发了不兼容分时系统（Incompatible Timesharing System，ITS），它运行在PDP-6以及后来的PDP-10计算机上^[1]。这类分时系统让许多程序员可以同时使用一台机器，各自守着一个终端，这正是实验室共享式研究得以运转的技术条件。

实验室还发明了Lisp机器（Lisp machine），即围绕运行Lisp而设计的计算机——Lisp正是麦卡锡设计的语言。1980年代，这种机器由Symbolics和Lisp Machines Inc.两家公司推向市场^[1]。把语言做进硬件之后，用Lisp写的程序跑得足够快，可以支持交互式的工作方式。

并入CSAIL

Project MAC于1976年正式更名为计算机科学实验室（Laboratory for Computer Science）^[1]。随着两个实验室之间的合作增多，它们在2003年7月1日合并，组成MIT计算机科学与人工智能实验室，即CSAIL^[1][2]。CSAIL的历史页面称，新实验室的根源在于MIT的两个计算重镇——计算机科学实验室和人工智能实验室^[2]；该页面还说，今天的CSAIL有60多个研究组，从事数百个各类项目^[2]。

在整段历史中的位置

从1970年到2003年合并，人工智能实验室一直是一个独立建制的机构。在它内部做出来的东西里，包括面向PDP-6和PDP-10系列的分时操作系统，以及后来由Symbolics和Lisp Machines Inc.在1980年代商业化的Lisp机器^[1]。它的历史也显示，研究的组织方式与背后的资助方式紧紧缠在一起：先是一个由国防部门资助的共享计算项目里的AI小组，然后是部分为了争取办公空间而独立出来的实验室，最后是在双方已经开始合作之后与更名后的Project MAC合并^[1][2]。三个时间点——1950年代末开始的人工智能研究、1970年成立的实验室、2003年的合并——在转述中常被连成一件事，但它们标记的是不同的东西。