Зима искусственного интеллекта
Материал из MachineLearning.
| Статья в настоящий момент дорабатывается. Alfina Iamaeva 15:24, 21 июня 2026 (MSD) |
Зима́ иску́сственного интелле́кта (англ. 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, экономившая миллионы долларов), экспертные системы оказались «хрупкими» (brittle). Они не могли обучаться на новых данных, требовали огромных усилий по поддержке и обновлению базы знаний («узкое место приобретения знаний»), а при нестандартных входных данных давали абсурдные ошибки. К началу 1990-х годов многие крупные корпорации свернули свои программы по внедрению экспертных систем.
- Неудача японского проекта «Пятое поколение». В 1981 году Япония запустила амбициозный проект стоимостью $850 млн по созданию компьютеров пятого поколения, способных вести диалог и рассуждать на уровне человека. Проект основывался на логическом программировании (Пролог) и должен был решать задачи методом перебора. Однако к 1991 году стало ясно, что грандиозные цели не достигнуты: проект не справился с комбинаторным взрывом — при увеличении сложности запроса число вариантов вывода в логической системе росло экспоненциально, делая решение практических задач невозможным. Это вызвало дополнительный скепсис в мировом сообществе.
- Сокращение Стратегической вычислительной инициативы (SCI). Американская программа SCI, запущенная как ответ на японский вызов, также столкнулась с сокращением финансирования после того, как не смогла продемонстрировать прорывных результатов.
В этот период особенно остро проявилась проблема невыполненных обещаний. В 1970-е и 1980-е годы исследователи активно обещали создание систем машинного перевода, распознавания речи и компьютерного зрения, работающих на уровне человека. На практике же системы перевода выдавали бессвязный текст, распознавание речи работало только для одного диктора в бесшумной студии, а компьютерное зрение могло отличать объекты лишь в идеально контролируемых условиях. Разрыв между громкими анонсами и реальными продуктами подорвал доверие инвесторов и государственных структур.
Причины цикличности
Повторяющиеся «зимы» ИИ имеют глубокие структурные причины, важные для понимания современных специалистов по ML:
- Перегрев ожиданий (Hype Cycle). Каждый период подъёма сопровождается громкими обещаниями о скором достижении искусственного общего интеллекта (AGI). Когда реальные успехи (часто относящиеся к «слабому ИИ» для решения узких задач) не соответствуют этим обещаниям, наступает разочарование.
- Фундаментальные ограничения парадигм. Первая «зима» была вызвана исчерпанием возможностей символьного подхода, требующего ручного программирования всех знаний. Вторая «зима» — неспособностью экспертных систем к самообучению и масштабированию. Каждый раз спад стимулировал поиск новых подходов: от символьного ИИ к машинному обучению, а затем — к глубокому обучению.
- Смена технической базы. Спад финансирования часто совпадал с технологическими сдвигами, делавшими предыдущее оборудование и методы неконкурентоспособными, как это случилось с Lisp-машинами.
Последствия и выход из «зимы»
Несмотря на стагнацию и отток кадров, «зимы» не были временем полного отсутствия исследований. Ключевые разработки, лёгшие в основу современных успехов ML, велись именно в эти периоды «в тени». Именно тогда, в конце 1980-х годов, начал активно развиваться алгоритм обратного распространения ошибки (backpropagation), который стал фундаментом для обучения многослойных нейронных сетей. Разочарование в символьном подходе сместило фокус на статистическое обучение и методы, основанные на данных.
Этот переход полностью соответствует принципу эмпирической индукции, сформулированному Фрэнсисом Бэконом ещё в XVII веке. Согласно этому принципу, знание должно строиться не на дедуктивных умозаключениях от общих правил к частным случаям (как это делал символьный ИИ), а на обобщении наблюдений и экспериментальных данных. Вместо того чтобы пытаться «объяснить» мир через тысячи вручную прописанных правил, исследователи перешли к тому, чтобы позволить алгоритмам самостоятельно извлекать закономерности из больших массивов данных. Именно этот индуктивный подход — обучение на примерах, а не программирование знаний — оказался устойчивым к «комбинаторному взрыву» и позволил добиться успеха в задачах, которые десятилетиями считались неразрешимыми.
Выход из «зим» в конце 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.
- Storozhuk A. Y. Artificial Intelligence: How Carbon-Based Life Has Created Silicon-Based Life // Russian Journal of Philosophical Sciences. — 2021. — Т. 64. — № 1. — С. 134-148.
