麻省理工学院计算机科学与人工智能实验室（CSAIL）是麻省理工学院（MIT）的一个研究机构，由2003年计算机科学实验室（LCS）与人工智能实验室（AI Lab）合并而成。CSAIL坐落于雷和玛丽亚·斯塔塔中心内，是校园内按研究范围和成员规模计算最大的实验室。它隶属于施瓦茨曼计算学院，同时也受麻省理工学院研究副校长监管。
CSAIL的研究活动围绕半自治的研究小组组织，每个小组由一位或多位教授或研究科学家领导。这些小组分为七个主要领域：人工智能、计算生物学、图形与视觉、语言与学习、计算理论、机器人学，以及系统（包括计算机体系结构、数据库、分布式系统、网络、操作系统、编程方法论和软件工程）。
历史
麻省理工学院的计算研究始于20世纪30年代万尼瓦尔·布什的微分分析仪和克劳德·香农的电子布尔代数，随后是战时的麻省理工学院辐射实验室、战后的旋风计划、电子学研究实验室（RLE），以及20世纪50年代初麻省理工学院林肯实验室的SAGE系统。麻省理工学院的人工智能研究始于20世纪50年代末。
项目MAC
1963年7月1日，项目MAC在国防高级研究计划局（DARPA）200万美元的资助下启动。MAC这一名称代表“机器辅助认知”、“多路访问计算机”和“人与计算机”，反映了J. C. R. 利克利德1960年论文《人机共生》的愿景。RLE的罗伯特·法诺担任首任主任，利克利德后来接任。项目MAC以在操作系统、人工智能和计算理论方面的开创性工作而闻名。其同期项目包括伯克利的Project Genie、斯坦福人工智能实验室和南加州大学的信息科学研究所。
一个包括马文·明斯基和约翰·麦卡锡（Lisp的发明者）在内的人工智能小组被纳入项目MAC。他们专注于视觉、机械运动、操作和语言。在20世纪60年代和70年代，该小组为PDP-6和PDP-10计算机开发了不兼容分时系统（ITS）。费尔南多·J·科巴托从麻省理工学院计算中心引入了兼容分时系统（CTSS），利用DARPA资金购买了一台IBM 7094。CTSS支持约30个同时用户，连接约100个终端。项目MAC还与通用电气和贝尔实验室合作开发了Multics，作为CTSS的继任者；在贝尔于1969年退出和通用电气于1970年退出后，开发工作继续与霍尼韦尔合作进行。
AI实验室与计算机科学实验室
20世纪60年代末，明斯基的人工智能小组寻求更多空间，但未能从主任利克利德那里得到满意答复，遂于1970年分裂出来，成立了麻省理工学院AI实验室。理查德·斯托曼等程序员在此蓬勃发展，他使用TECO开发了EMACS。AI实验室发明了Lisp机器，并在20世纪80年代由Symbolics和Lisp Machines Inc.商业化。项目MAC于1976年正式更名为计算机科学实验室（LCS），继续在操作系统、编程语言、分布式系统、安全内核和计算理论方面进行研究。哈尔·阿贝尔森和杰拉尔德·杰伊·萨斯曼在两者之间形成了一个较小的团体，因其中立性而被昵称为“瑞士”。
CSAIL
2003年7月1日，即项目MAC成立四十周年之际，LCS和AI实验室合并为CSAIL，成为麻省理工学院校园内最大的实验室（超过600名人员）。2018年，CSAIL与科大讯飞启动了为期五年的合作，该公司在次年因涉嫌在新疆进行监视和侵犯人权行为而受到制裁。2019年10月，麻省理工学院宣布对与受制裁公司的合作关系进行审查；科大讯飞协议于2020年4月终止。CSAIL于2020年2月从工程学院迁至新成立的施瓦茨曼计算学院。
重要研究与贡献
CSAIL及其前身在计算领域做出了开创性贡献。早期关于分时系统的工作，包括CTSS和Multics，为现代操作系统奠定了基础。AI实验室对Lisp机器的开发影响了早期人工智能硬件和软件。在机器学习、神经网络和深度学习方面的研究一直是核心，并与生成式人工智能和大型语言模型的更广泛努力相关联。CSAIL还对机器人学、计算机视觉和计算理论做出了贡献，经常与工业界及其他学术机构如斯坦福人工智能实验室、伯克利人工智能研究和卡内基梅隆大学合作。
人员与文化
CSAIL是许多有影响力的研究者的家园。著名人物包括艾伦·佩利斯，编程语言先驱；伯纳德·威德罗，以自适应信号处理闻名；以及托马斯·迪特里希，机器学习领域的领导者。现任教师包括亚历山大·马德里、阿列克谢·埃弗罗斯和约书亚·特南鲍姆等。实验室的文化强调跨学科合作，并催生了众多塑造计算行业的初创公司和技术。
影响与未来
CSAIL继续在计算研究中保持领先地位，应对人工智能安全、人机交互和可扩展系统方面的挑战。其工作影响医疗保健、交通和教育等多个领域。作为施瓦茨曼计算学院的一部分，CSAIL定位于将计算与其他学科相结合，推动定义下一个技术时代的创新。