Зима искусственного интеллекта
Материал из MachineLearning.
| Статья написана с использованием LLM DeepSeek-V4 и проверена участником Alfina Iamaeva |
|
Зима́ иску́сственного интелле́кта (англ. AI winter) — период сокращения финансирования и интереса к исследованиям в области искусственного интеллекта (ИИ). Для этого феномена характерна смена завышенных ожиданий и активных инвестиций («лето ИИ») глубоким разочарованием в технологии, критикой, сворачиванием государственных и частных программ, что приводит к стагнации в области. Термин был введён по аналогии с «ядерной зимой», подчёркивая масштаб и разрушительность последствий для научного сообщества.
Для специалистов в области машинного обучения (Machine Learning, ML) понимание природы «зим» имеет не только историческое, но и практическое значение. Анализ циклов спада позволяет оценить риски современных проектов, отделить реальные прорывы от маркетингового шума и выработать устойчивую стратегию развития в периоды неопределённости. История ИИ знает как минимум две масштабные «зимы», каждая из которых была обусловлена фундаментальными ограничениями доминирующей на тот момент парадигмы.
История и происхождение термина
Впервые термин «зима ИИ» прозвучал в 1984 году на ежегодной конференции Американской ассоциации искусственного интеллекта (AAAI). Два видных исследователя, переживших предыдущий спад, Роджер Шэнк и Марвин Минский, предупредили бизнес-сообщество о неизбежном крахе «пузыря» инвестиций в экспертные системы, который надулся к началу 1980-х годов. Они описали цепную реакцию, схожую с «ядерной зимой»: пессимизм в среде учёных подхватывается прессой, что вело к сокращению бюджетов и остановке серьёзных исследований. Прогноз сбылся спустя три года, когда индустрия ИИ потеряла миллиарды долларов.
Основные периоды «зимы»
Принято выделять две основные «зимы» в истории ИИ, хотя некоторые исследователи упоминают и более мелкие кризисы.
Первая «зима» (1974–1980)
Этот период стал реакцией на чрезмерный оптимизм 1960-х годов, когда считалось, что создание полноценного ИИ — вопрос ближайшего десятилетия. Кризис был спровоцирован несколькими факторами:
- Отчёт Лайтхилла (1973). Британский математик Джеймс Лайтхилл представил доклад для Парламента Великобритании, в котором подверг жёсткой критике достижения ИИ. Главным аргументом стала комбинаторная проблема: большинство успешных алгоритмов того времени «зависали» при попытке решить реальные, а не игрушечные задачи из-за экспоненциального роста числа переборов вариантов. Например, при синтаксическом разборе предложения из 10 слов число возможных деревьев грамматического разбора может достигать десятков тысяч, а для предложения из 20 слов — исчисляться миллиардами. Любая попытка перебрать все варианты требовала нереалистичных вычислительных ресурсов. Отчёт привёл к практически полному прекращению финансирования ИИ в Великобритании.
- Сокращение бюджетов DARPA. В США DARPA (Агентство передовых оборонных исследовательских проектов), ранее щедро финансировавшее абстрактные исследования, столкнулось с требованием Конгресса доказывать практическую пользу разработок. Разочаровавшись в обещаниях учёных, к 1974 году агентство резко урезало гранты на академические исследования ИИ. В частности, была закрыта программа по распознаванию речи в Университете Карнеги — Меллон из-за невыполнения обещанных показателей.
- Критика перцептронов. В 1969 году вышла книга Минского и Пейперта «Перцептроны», где математически доказывались ограничения однослойных нейронных сетей, в частности их неспособность решить задачу исключающего «ИЛИ» (XOR). Эта задача является простейшим примером, где точки данных расположены по углам квадрата: в противоположных углах находятся объекты одного класса, а в двух других — другого. Однослойный перцептрон может разделять точки только прямой линией, но в квадрате ни одна прямая не может разделить эти два класса без ошибки. Это вызвало разочарование в нейросетевом подходе на долгие годы.
Этот период характеризовался глубоким скепсисом в отношении символьного ИИ — подхода, который доминировал в те годы. Символьный ИИ пытался закодировать знания в виде явных логических правил вида «если А, то Б». Такой подход провалился из-за колоссальной сложности реального мира: для описания даже ограниченной предметной области требовались миллионы правил, которые к тому же вступали в противоречия при появлении исключений.
Вторая «зима» (1987–1993)
Вторая «зима» оказалась связана с крахом рынка экспертных систем, которые стали главным коммерческим продуктом ИИ в 1980-х годах.
- Коллапс рынка LISP-машин (1987). Экспертные системы чаще всего писались на языке Lisp, для которого требовалось специализированное и крайне дорогое оборудование — Lisp-машины. С приходом на рынок мощных и недорогих рабочих станций от Sun Microsystems, а затем и персональных компьютеров Apple и IBM, необходимость в дорогом нишевом «железе» отпала. Рынок Lisp-машин, оцениваемый в полмиллиарда долларов, рухнул в течение одного года.
- Проблемы экспертных систем. Несмотря на ранний успех (например, система XCON для Digital Equipment Corporation, экономившая миллионы долларов), экспертные системы оказались «хрупкими». Они не могли обучаться на новых данных, требовали огромных усилий по поддержке и обновлению базы базы знаний, причём именно сбор и формализация знаний становились самым узким местом — медленным и дорогим этапом, который ограничивал всё развитие, а при нестандартных входных данных экспертные системы давали абсурдные ошибки. К началу 1990-х годов многие крупные корпорации свернули свои программы по внедрению экспертных систем.
- Неудача японского проекта «Пятое поколение». В 1981 году Япония запустила амбициозный проект стоимостью $850 млн по созданию компьютеров пятого поколения, способных вести диалог и рассуждать на уровне человека. Проект основывался на логическом программировании и должен был решать задачи методом перебора. Однако к 1991 году стало ясно, что грандиозные цели не достигнуты: проект не справился с комбинаторным взрывом — при увеличении сложности запроса число вариантов вывода в логической системе росло экспоненциально, делая решение практических задач невозможным. Это вызвало дополнительный скепсис в мировом сообществе.
- Сокращение Стратегической вычислительной инициативы (SCI). Американская программа SCI, запущенная как ответ на японский вызов, также столкнулась с сокращением финансирования после того, как не смогла продемонстрировать прорывных результатов.
В этот период особенно остро проявилась проблема невыполненных обещаний. В 1970-е и 1980-е годы исследователи активно обещали создание систем машинного перевода, распознавания речи и компьютерного зрения, работающих на уровне человека. На практике же системы перевода выдавали бессвязный текст, распознавание речи работало только для одного диктора в бесшумной студии, а компьютерное зрение могло отличать объекты лишь в идеально контролируемых условиях. Разрыв между громкими анонсами и реальными продуктами подорвал доверие инвесторов и государственных структур.
Причины цикличности
Повторяющиеся «зимы» ИИ имеют глубокие структурные причины, важные для понимания современных специалистов по ML:
- Перегрев ожиданий (Hype Cycle). Каждый период подъёма сопровождается громкими обещаниями о скором достижении искусственного общего интеллекта (AGI). Когда реальные успехи (часто относящиеся к «слабому ИИ» для решения узких задач) не соответствуют этим обещаниям, наступает разочарование.
- Фундаментальные ограничения парадигм. Первая «зима» была вызвана исчерпанием возможностей символьного подхода, требующего ручного программирования всех знаний. Вторая «зима» — неспособностью экспертных систем к самообучению и масштабированию. Каждый раз спад стимулировал поиск новых подходов: от символьного ИИ к машинному обучению, а затем — к глубокому обучению.
- Смена технической базы. Спад финансирования часто совпадал с технологическими сдвигами, делавшими предыдущее оборудование и методы неконкурентоспособными, как это случилось с Lisp-машинами.
Последствия и выход из «зимы»
Несмотря на стагнацию и отток кадров, «зимы» не были временем полного отсутствия исследований. Ключевые разработки, лёгшие в основу современных успехов ML, велись именно в эти периоды «в тени». Именно тогда, в конце 1980-х годов, начал активно развиваться алгоритм обратного распространения ошибки (backpropagation), который стал фундаментом для обучения многослойных нейронных сетей. Разочарование в символьном подходе сместило фокус на статистическое обучение и методы, основанные на данных.
Этот переход от символьного ИИ к обучению на данных перекликается с принципом эмпирической индукции Бэкона: знание строится не на дедукции общих правил, а на обобщении опыта. Вместо того чтобы программировать правила, алгоритмам даются данные для самостоятельного поиска закономерностей.
Выход из «зим» в конце 1990-х и, особенно, после 2012 года, был связан с накоплением «критической массы» факторов:
- Появление больших размеченных наборов данных (Big Data).
- Экспоненциальный рост вычислительных мощностей, включая использование графических процессоров (GPU) для обучения моделей.
- Прорывные архитектуры, такие как AlexNet в задаче компьютерного зрения (2012).
Исторический контекст «зим» учит, что устойчивость в науке о данных достигается не за счёт погони за хайпом, а благодаря развитию математически обоснованных и масштабируемых алгоритмов. Понимание этого цикла помогает современным инженерам критически оценивать текущий «бум» ИИ и избегать ошибок прошлого, концентрируясь на решении конкретных прикладных задач.
См. также
Примечания
Литература
- Crevier D. AI: The Tumultuous History of the Search for Artificial Intelligence. — BasicBooks, 1993.
- Nilsson N. J. The Quest for Artificial Intelligence. — Cambridge University Press, 2009.
- Russell S., Norvig P. Artificial Intelligence: A Modern Approach. — 4th ed.. — Pearson, 2020.
- Сторожук А. Ю. Искусственный интеллект: как углеродная жизнь создала кремниевую // Российский журнал философских наук. — 2021. — Т. 64. — № 1. — С. 134-148.
