MIT计算机科学与人工智能实验室(CSAIL)是麻省理工学院(MIT)的一个研究机构,由2003年计算机科学实验室(LCS)与人工智能实验室(AI Lab)合并而成。CSAIL位于雷和玛丽亚·斯塔塔中心内,是校园内研究范围和成员规模最大的实验室。它隶属于施瓦茨曼计算学院,同时也受MIT研究副校长监督。
CSAIL的研究活动围绕半自治的研究小组组织,每个小组由一位或多位教授或研究科学家领导。这些小组分为七个主要领域:人工智能、计算生物学、图形与视觉、语言与学习、计算理论、机器人学以及系统(包括计算机体系结构、数据库、分布式系统、网络、操作系统和软件工程)。
历史
MIT的计算机研究始于20世纪30年代范内瓦·布什的微分分析仪和克劳德·香农的电子布尔代数,随后是战时MIT辐射实验室、战后旋风项目和电子研究实验室(RLE)。MIT林肯实验室在20世纪50年代初的SAGE系统也做出了贡献。MIT的人工智能研究始于20世纪50年代末。
MAC项目
1963年7月1日,MAC项目在国防高级研究计划局(DARPA)200万美元的资助下启动。名称MAC代表“机器辅助认知”、“多路访问计算机”和“人与计算机”,反映了项目的目标。首任主任是来自RLE的罗伯特·法诺;此前在RLE的J. C. R. 利克利德是DARPA项目经理,后来成为主任。MAC项目以操作系统、人工智能和计算理论的研究而闻名,与伯克利的Genie项目和斯坦福人工智能实验室等同时代机构齐名。
一个AI小组,包括马文·明斯基(主任)和约翰·麦卡锡(Lisp的发明者),被纳入MAC项目。在20世纪60年代和70年代,他们为PDP-6和PDP-10计算机开发了不兼容分时系统(ITS)。早期社区成员包括费尔南多·J·科巴托,他带来了MIT计算中心的兼容分时系统(CTSS)。CTSS支持约100个终端和大约30个同时用户。MAC项目还与通用电气和贝尔实验室合作开发了Multics,这是一个早期的高可用性系统;在贝尔和通用电气退出后,开发工作通过Honeywell持续到20世纪70年代。
AI实验室与计算机科学实验室
20世纪60年代末,明斯基的AI小组寻求更多空间,并于1970年分离出来成立了MIT AI实验室。像理查德·斯托曼这样使用TECO开发EMACS的程序员在那里活跃。AI实验室发明了Lisp机器,在20世纪80年代由Symbolics和Lisp Machines Inc.商业化。MAC项目于1976年更名为计算机科学实验室(LCS),继续在操作系统、编程语言和理论方面的研究。哈尔·阿贝尔森和杰拉尔德·杰伊·萨斯曼成立了MIT数学与计算项目,因其中立性而被称为“瑞士”。
CSAIL
2003年7月1日,即MAC项目四十周年之际,LCS和AI实验室合并成立了CSAIL,成为校园内最大的实验室,拥有超过600名人员。2018年,CSAIL与科大讯飞启动了为期五年的合作,该公司后来因涉嫌监控滥用而受到制裁。2019年10月,MIT宣布对与受制裁公司的合作伙伴关系进行审查;与科大讯飞的协议于2020年4月终止。CSAIL于2020年2月迁入施瓦茨曼计算学院。
显著贡献
CSAIL及其前身在人工智能方面做出了基础性工作,包括早期神经网络、符号推理和机器人学。机器学习和深度学习的研究仍在继续,应用于自然语言处理和计算机视觉。该实验室还为操作系统、分时和编程语言做出了贡献,影响了现代计算。
合作与影响
CSAIL与工业界和政府合作,包括与Google DeepMind、OpenAI及其他AI研究组织的项目。其校友和教师创立或领导了主要科技公司和研究实验室。该实验室在机器人学和计算机视觉方面的工作推动了自主系统的发展,而其计算理论研究支撑了算法和密码学。
当前方向
进入2020年代,CSAIL专注于生成式人工智能、大型语言模型和神经网络架构。研究人员探索多头注意力和变换器模型,为AI安全性和效率的进步做出贡献。该实验室还处理AI的伦理和社会影响,包括偏见和隐私。