Джон Маккарти
1927–2011
Главный урок
Если хочешь создать новую область — дай ей имя. И организуй встречу, которая станет точкой отсчёта. Имя + встреча = сообщество.
Когда
1927 — родился в Бостоне. Еврейская семья иммигрантов из Ирландии и Литвы.
1948 — бакалавр математики, Калифорнийский технологический институт.
1951 — PhD в Принстоне по математике.
1952–1954 — постдок в Принстоне, потом в Стэнфорде. Работает над дифференциальными уравнениями и теорией игр.
1955 — работает в Дартмутском колледже. Пишет proposal для летнего семинара. Придумывает термин «Artificial Intelligence» (искусственный интеллект).
1956 — Дартмутский семинар. 2 месяца, 10 человек (Маккарти, Минский, Шеннон, Ньюэлл, Саймон и др.). Рождение ИИ как области.
1958 — изобретает Lisp — язык, который на 30 лет стал главным в ИИ.
1958–1962 — MIT, создаёт лабораторию ИИ вместе с Минским.
1962 — переходит в Стэнфорд, основывает Stanford AI Lab.
1966 — формулирует «AI Effect» — каждый раз, когда ИИ решает задачу, она перестаёт считаться «интеллектом».
1971 — пишет статью, предлагающую идею utility computing (предшественник cloud computing). За 40 лет до AWS.
2006 — Дартмутский юбилей, 50-летие ИИ.
2011 — умер.
Контекст
Изобрёл термин, организовал конференцию, изобрёл язык программирования — три вклада за 3 года (1955–1958). Это редкое сочетание: дать имя области, создать место для неё, дать ей инструменты.
Lisp — второй по возрасту язык высокого уровня (после Fortran). Главный язык ИИ на 30 лет. Сейчас вернулся в виде Clojure.
«AI Effect» — наблюдение, которое приписывают Маккарти: каждый раз, когда ИИ решает задачу, она перестаёт считаться «ИИ». OCR, шахматы, перевод — всё это «больше не ИИ», потому что мы это решили.
Логическая цепочка
- Идея: можно ли сделать машину, которая думает?
- Маккарти: чтобы это стало областью, нужно дать ей имя и место.
- Имя: «Artificial Intelligence». Не «machine thinking» или «automated reasoning» — «AI». Короткое, чёткое, спорное.
- Место: Дартмутский семинар. Собрал вместе людей, которые думали об этом. 2 месяца вместе.
- Семинар не решил задачу — но создал сообщество, которое будет её решать.
- Из этого сообщества выросли: Минский (MIT AI Lab), Ньюэлл и Саймон (CMU), Шеннон (Bell Labs), Маккарти (Stanford AI Lab).
- Три главные идеи следующего десятилетия: Lisp, AI-лаборатории, AI как академическая дисциплина.
Как ему это удавалось
- Дал имя области. Это не мелочь. До «ИИ» не было одной дисциплины, были разрозненные исследования.
- Организовал встречу. Семинар — это не «просто посидели». Это точка отсчёта.
- Изобрёл Lisp. Язык, который 30 лет был главным в ИИ.
- Перешёл в Стэнфорд и создал там лабораторию — конкуренцию MIT.
- Понял «AI Effect» — что успех ИИ обесценивает его в глазах публики.
- Думал на десятилетия вперёд (utility computing — 40 лет до AWS).
Что отсюда можно взять
- Дай имя области, которую ты создаёшь. «ИИ», «кибернетика», «экзистенциализм» — названия создают сообщества.
- Организуй встречу. Семинар, конференция, регулярный обед — это создаёт поле.
- Язык формирует мышление. Lisp сформировал ИИ. Python формирует современный ИИ. Выбирай язык осознанно.
- Создавай конкуренцию. Две лаборатории ИИ лучше одной.
- Предвиди эффект успеха. Когда ты решаешь задачу, её перестают считать «ИИ». Это нормально.
- Думай на десятилетия. Utility computing в 1961 году, cloud computing в 2000-х.