麻省理工计算机科学与人工智能实验室（CSAIL）

是什么

麻省理工学院的计算机科学与人工智能实验室（Computer Science and Artificial Intelligence Laboratory，CSAIL）是 MIT 校园里规模最大的实验室，有 600 多人 ^[2]。它于 2003 年 7 月 1 日成立，这一天正是 Project MAC 启动 40 周年；成立的办法，是把人工智能实验室（AI Lab）与计算机科学实验室（Laboratory for Computer Science，LCS）合并起来 ^[2]。

两条源头

MIT 的人工智能研究是在两位研究者到来前后成形的。1958 年，John McCarthy 在 MIT 建立了第一个人工智能研究项目 ^[4]；同年，Marvin Minsky 加入 MIT 电子工程与计算机科学系 ^[3]。1959 年，MIT 设立了 AI Project，并把 Minsky 与 McCarthy 记为共同创始人——这个后来变成 CSAIL 的人工智能实验室，就是从这条线长出来的 ^[1][3]。

1962 年，McCarthy 离开 MIT，去了斯坦福 ^[4]。1963 年 7 月 1 日，Project MAC 靠一笔 200 万美元的 ARPA 资助启动；它下面的 AI Group 由 Minsky 任主任，Lisp 的发明者 McCarthy 也并入其中 ^[1][2]。

此后两条线分开。1970 年，Minsky 从 Project MAC 中分出来，组建了 MIT 人工智能实验室 ^[2]；Project MAC 剩下的部分在 1976 年改名为计算机科学实验室（LCS）^[2]。所以关于这个实验室的起点有 1959 年和 1970 年两种说法：前者是 MIT 对 AI Project 的追溯，后者是独立的 AI Lab 真正分出来的时间 ^[1][2]。

做了什么

AI Lab 开发了不兼容分时系统（Incompatible Timesharing System，ITS），并发明了 Lisp 机器 ^[2]。分时系统让一台计算机同时供多人使用，每个人都像独占一台机器；Lisp 机器则是把 Lisp 这门语言直接跑在专门硬件上的工作站。以聊天程序 ELIZA 闻名的 Joseph Weizenbaum，也是与该实验室相关的人物之一 ^[2]。

合并与所在地

2003 年 7 月 1 日，也就是 Project MAC 40 周年当天，LCS 与 AI Lab 合并为 CSAIL，成为 MIT 校园里最大的实验室，有 600 多人 ^[2]。合并把 MIT 的两条计算机研究传统——一条偏人工智能，一条偏系统与理论——重新放回同一个机构里。2004 年起，CSAIL 坐落在 Ray and Maria Stata 中心（32 号楼）；在那之前，从 1963 年到 2004 年，这些研究组一直在 545 Technology Square 办公 ^[2]。

主任与校友

Rodney Brooks 在 1997 至 2003 年任 AI Lab 主任，2003 至 2007 年任 CSAIL 主任；Daniela Rus 自 2012 年起担任主任 ^[2]。实验室的校友中有 iRobot 的联合创始人 Colin Angle 与 Helen Greiner（与 Brooks 一起），以及创办 Boston Dynamics 的 Marc Raibert ^[2]。