计算机科学与人工智能实验室（CSAIL）是麻省理工学院（MIT）的一个研究机构，由2003年计算机科学实验室（LCS）与人工智能实验室（AI Lab）合并而成。CSAIL坐落于雷和玛丽亚·斯塔塔中心内，按研究范围和成员规模衡量，是校内最大的实验室。它隶属于施瓦茨曼计算学院，同时也受MIT研究副校长监管。
CSAIL的研究活动围绕半自治的研究小组组织，每个小组由一位或多位教授或研究科学家领导。这些小组涵盖七个主要领域：人工智能、计算生物学、图形与视觉、语言与学习、计算理论、机器人学，以及系统（包括计算机架构、数据库、分布式系统、网络、操作系统、编程方法论和软件工程）。
起源与MAC项目
MIT的计算研究始于20世纪30年代范内瓦·布什的微分分析仪和克劳德·香农的电子布尔代数，随后是战时的MIT辐射实验室、战后的旋风项目和电子学研究实验室（RLE）。1963年7月1日，MAC项目在国防高级研究计划局（DARPA）200万美元的资助下启动。MAC这个名字代表“机器辅助认知”、“多路访问计算机”和“人与计算机”，反映了J. C. R. 利克利德1960年论文《人机共生》的愿景。
MAC项目的首任主任是罗伯特·法诺，他故意将其称为“项目”而非“实验室”，以便从MIT其他系招募人员。DARPA的项目经理是利克利德，他后来接替法诺担任主任。MAC项目因在操作系统、人工智能和计算理论方面的开创性工作而闻名。其同期项目包括伯克利的Genie项目、斯坦福人工智能实验室和南加州大学的信息科学研究所。
一个AI小组，包括马文·明斯基（主任）、约翰·麦卡锡（Lisp的发明者）和一个程序员社区，被纳入MAC项目。他们专注于视觉、机械运动、操作和语言，作为实现更智能机器的关键。在20世纪60年代和70年代，他们为PDP-6和PDP-10计算机开发了不兼容分时系统（ITS）。费尔南多·J·科巴托将兼容分时系统（CTSS）从MIT计算中心引入，使用DARPA资金购买了一台IBM 7094。CTSS支持约100个TTY终端和约30个同时用户。MAC项目还开发了Multics，作为CTSS的继任者，它成为第一个高可用性计算机系统，并成为安全内核的试验场，最初与通用电气和贝尔实验室合作，后来与霍尼韦尔合作。
AI实验室与计算机科学实验室
在20世纪60年代末，明斯基的AI小组寻求更多空间，但未能从项目主任利克利德那里得到满意答复。明斯基发现，分拆成立自己的实验室将使他有权获得额外的办公空间。因此，MIT AI实验室于1970年成立，许多AI同事离开了MAC项目。像理查德·斯托曼这样的程序员，使用TECO开发了EMACS，在那里蓬勃发展。AI实验室发明了Lisp机器，在20世纪80年代由Symbolics和Lisp Machines Inc.商业化。
MAC项目于1976年正式更名为计算机科学实验室（LCS）。LCS继续在操作系统、编程语言、分布式系统、安全内核和计算理论方面进行研究。两位教授哈尔·阿贝尔森和杰拉尔德·杰伊·萨斯曼在两个实验室之间成立了一个较小的组，正式名称为MIT数学与计算项目（“Project MAC”的逆缩写），并因其中立性而昵称为“瑞士”。
CSAIL的形成
2003年7月1日，即MAC项目四十周年之际，LCS和AI实验室合并组成CSAIL，成为MIT校园内最大的实验室，拥有超过600名人员。2018年，CSAIL与科大讯飞启动了为期五年的合作，该公司次年因涉嫌利用其技术在中国新疆进行监视和侵犯人权而受到制裁。2019年10月，MIT宣布将审查与科大讯飞和商汤科技等受制裁公司的合作伙伴关系。与科大讯飞的协议于2020年4月终止。到2020年2月，CSAIL从工程学院迁至新成立的施瓦茨曼计算学院。
显著研究与贡献
CSAIL及其前身在机器学习、神经网络和深度学习的发展中发挥了核心作用。AI实验室和LCS的研究人员为分时系统、Lisp机器和Transformer（现代大型语言模型的基础架构）的基础工作做出了贡献。该实验室在生成式AI和机器人学方面的持续工作继续影响学术界和工业界。CSAIL与科技公司保持紧密联系，包括OpenAI、Google DeepMind和Anthropic，通过合作和校友网络。
设施与影响
CSAIL位于由弗兰克·盖里设计的雷和玛丽亚·斯塔塔中心内。该实验室的研究小组每年产出数百篇出版物，其校友在学术界和工业界担任领导职务。CSAIL的跨学科方法，将理论与实践系统相结合，带来了操作系统、编程语言、计算机视觉和机器人学方面的创新。截至21世纪20年代初，CSAIL仍然是计算机科学研究领域的领先机构，专注于解决AI安全、人类兼容AI和可扩展系统方面的挑战。