Das Computer Science and Artificial Intelligence Laboratory (CSAIL) ist ein Forschungsinstitut am Massachusetts Institute of Technology (MIT), das 2003 durch den Zusammenschluss des Laboratory for Computer Science (LCS) und des Artificial Intelligence Laboratory (AI Lab) entstand. Untergebracht im Ray and Maria Stata Center ist CSAIL das größte Labor auf dem Campus, gemessen an Forschungsumfang und Mitgliederzahl. Es ist Teil des Schwarzman College of Computing, wird aber auch vom Vizepräsidenten für Forschung des MIT beaufsichtigt.
Die Forschungsaktivitäten von CSAIL sind in halbautonomen Forschungsgruppen organisiert, die jeweils von einem oder mehreren Professoren oder Forschungswissenschaftlern geleitet werden. Diese Gruppen umfassen sieben allgemeine Bereiche: künstliche Intelligenz, Computerbiologie, Grafik und Vision, Sprache und Lernen, Berechnungstheorie, Robotik sowie Systeme (einschließlich Computerarchitektur, Datenbanken, verteilte Systeme, Netzwerke, Betriebssysteme, Programmiermethodik und Softwaretechnik).
Ursprünge und Project MAC
Die Computerforschung am MIT begann mit Vannevar Bushs Differentialanalysator und Claude Shannons elektronischer Boolescher Algebra in den 1930er Jahren, gefolgt vom MIT Radiation Laboratory während des Krieges, dem Nachkriegsprojekt Whirlwind und dem Research Laboratory of Electronics (RLE). Am 1. Juli 1963 wurde Project MAC mit einem Zuschuss von 2 Millionen Dollar der Defense Advanced Research Projects Agency (DARPA) gestartet. Der Name MAC stand für „Machine-Aided Cognition", „Multiple-Access Computer" und „Men and Computers" und spiegelte die Vision von J. C. R. Lickliders Papier „Man-Computer Symbiosis" von 1960 wider.
Der erste Direktor von Project MAC war Robert Fano, der es bewusst als „Projekt" und nicht als „Labor" bezeichnete, um die Rekrutierung von Personal aus anderen MIT-Abteilungen zu erleichtern. Der DARPA-Programmmanager war Licklider, der später Fano als Direktor ablöste. Project MAC wurde berühmt für bahnbrechende Arbeiten in Betriebssystemen, künstlicher Intelligenz und Berechnungstheorie. Zu seinen Zeitgenossen gehörten Project Genie in Berkeley, das Stanford Artificial Intelligence Laboratory und das Information Sciences Institute der University of Southern California.
Eine KI-Gruppe, darunter Marvin Minsky (Direktor), John McCarthy (Erfinder von Lisp) und eine Gemeinschaft von Programmierern, wurde in Project MAC integriert. Sie konzentrierten sich auf Vision, mechanische Bewegung, Manipulation und Sprache als Schlüssel zu intelligenteren Maschinen. In den 1960er und 1970er Jahren entwickelten sie das Incompatible Timesharing System (ITS) für PDP-6- und PDP-10-Computer. Fernando J. Corbató brachte das Compatible Time-Sharing System (CTSS) vom MIT Computation Center ein und nutzte DARPA-Mittel, um einen IBM 7094 zu kaufen. CTSS unterstützte etwa 100 TTY-Terminals und ungefähr 30 gleichzeitige Benutzer. Project MAC entwickelte auch Multics, einen Nachfolger von CTSS, das das erste Hochverfügbarkeits-Computersystem und ein Testgelände für Sicherheitskernel wurde, zunächst mit General Electric und Bell Laboratories und später mit Honeywell.
AI Lab und Laboratory for Computer Science
In den späten 1960er Jahren suchte Minskys KI-Gruppe nach mehr Platz, konnte aber vom Projektleiter Licklider keine Zufriedenheit erlangen. Minsky stellte fest, dass die Abspaltung zur Gründung eines eigenen Labors ihm zusätzlichen Büroraum verschaffen würde. So wurde 1970 das MIT AI Lab gegründet, wobei viele KI-Kollegen Project MAC verließen. Programmierer wie Richard Stallman, der TECO zur Entwicklung von EMACS nutzte, blühten dort auf. Das AI Lab erfand Lisp-Maschinen, die in den 1980er Jahren von Symbolics und Lisp Machines Inc. kommerzialisiert wurden.
Project MAC wurde 1976 offiziell in Laboratory for Computer Science (LCS) umbenannt. LCS setzte die Forschung in Betriebssystemen, Programmiersprachen, verteilten Systemen, Sicherheitskerneln und Berechnungstheorie fort. Zwei Professoren, Hal Abelson und Gerald Jay Sussman, bildeten eine kleinere Gruppe zwischen den beiden Laboren, offiziell als MIT Project on Mathematics and Computation bezeichnet (ein Backronym für „Project MAC") und wegen seiner Neutralität „Switzerland" genannt.
Bildung von CSAIL
Am 1. Juli 2003, dem vierzigsten Jahrestag von Project MAC, fusionierten LCS und das AI Lab zu CSAIL und schufen damit das größte Labor auf dem MIT-Campus mit über 600 Mitarbeitern. Im Jahr 2018 startete CSAIL eine fünfjährige Zusammenarbeit mit iFlytek, einem Unternehmen, das im folgenden Jahr sanktioniert wurde, weil es seine Technologie angeblich für Überwachung und Menschenrechtsverletzungen in Xinjiang eingesetzt hatte. Im Oktober 2019 kündigte MIT an, Partnerschaften mit sanktionierten Firmen wie iFlytek und SenseTime zu überprüfen. Die Vereinbarung mit iFlytek wurde im April 2020 beendet. CSAIL wechselte bis Februar 2020 von der School of Engineering zum neu gegründeten Schwarzman College of Computing.
Bemerkenswerte Forschung und Beiträge
CSAIL und seine Vorgänger waren zentral für die Entwicklung von maschinellem Lernen, neuronalen Netzen und Deep Learning. Forscher am AI Lab und LCS trugen zu grundlegenden Arbeiten in Time-Sharing-Systemen, Lisp-Maschinen und Transformatoren bei - der Architektur, die modernen großen Sprachmodellen zugrunde liegt. Die laufende Arbeit des Labors in generativer KI und Robotik beeinflusst weiterhin sowohl die akademische Welt als auch die Industrie. CSAIL unterhält starke Verbindungen zu Technologieunternehmen, darunter OpenAI, Google DeepMind und Anthropic, durch Kooperationen und Alumni-Netzwerke.
Einrichtungen und Auswirkungen
CSAIL ist im Ray and Maria Stata Center untergebracht, das von Frank Gehry entworfen wurde. Die Forschungsgruppen des Labors produzieren jährlich Hunderte von Veröffentlichungen, und seine Alumni bekleiden Führungspositionen in Wissenschaft und Industrie. Der interdisziplinäre Ansatz von CSAIL, der Theorie mit praktischen Systemen verbindet, hat zu Innovationen in Betriebssystemen, Programmiersprachen, Computer Vision und Robotik geführt. Ab den frühen 2020er Jahren bleibt CSAIL eine führende Institution in der Informatikforschung mit einem Fokus auf die Bewältigung von Herausforderungen in KI-Sicherheit, menschenkompatibler KI und skalierbaren Systemen.