Забытые творцы советского искусственного интеллекта

В то время как западные исследователи были поглощены созданием математических моделей нейронов, в СССР кибернетику официально клеймили «буржуазной лженаукой». Тем не менее, советская научная мысль не осталась в стороне от истоков искусственного интеллекта.

Вспомним выдающихся ученых той эпохи, заложивших фундамент отечественной школы машинного обучения.

Алексей Ляпунов

Забытые творцы советского искусственного интеллекта
Алексей Ляпунов в лектории.

Алексей Андреевич Ляпунов (1911–1973) по праву считается пионером отечественной кибернетики. Его деятельность ознаменовала возрождение этой дисциплины в СССР: в 1954 году, вскоре после смерти Сталина, он инициировал «Большой семинар», формально не имевший строгого научного статуса — тогда приходилось действовать осторожно, с оглядкой на идеологические установки.

Ляпунов происходил из прославленного дворянского рода. Его семья была глубоко интеллектуальной: двоюродный брат, композитор Сергей Ляпунов, соперничал в мастерстве с Ференцем Листом, а отец получил блестящее образование в ведущих университетах Гейдельберга и Гёттингена.

В 17 лет Алексей поступил на физмат МГУ, но его принципиальная позиция — отказ поддержать разрушение старинного храма — привела к конфликту с руководством и исключению из вуза.

Фотография Алексея Ляпунова периода Великой Отечественной войны. Будучи артиллеристом и командиром топографического взвода, он был удостоен ордена Красной Звезды. Источник: ИПМ им. М. В. Келдыша РАН.

Впоследствии он примкнул к знаменитой «Лузитании» — кружку математиков под предводительством Николая Лузина. Именно здесь под руководством мастера Ляпунов подготовил свои первые работы по теории множеств, а сообщество единомышленников, включая Келдыша и Колмогорова, сформировало будущий облик советской науки.

Профессор Лузин выпестовал множество выдающихся математиков.
Профессор Лузин выпестовал множество выдающихся математиков.

Увлечение работами Норберта Винера убедило Ляпунова в грандиозных перспективах кибернетики. Его концепция операторного программирования, описывающая процесс вычислений как последовательность логических преобразований, стала предвестником появления современных языков высокого уровня.

Именно астрономия привила Ляпунову любовь к наукам.
Именно астрономия привила Ляпунову любовь к наукам.

Вклад Ляпунова в теорию ИИ также включает предсказание основ NLP (обработки естественного языка). Он полагал, что язык можно формализовать через систему грамматических правил и алгоритмический анализ, что стало теоретической базой для современных больших языковых моделей (LLM).

Ляпунов был визионером, предвидевшим способность машин к автономному мышлению и творчеству. В 1996 году, посмертно, он был удостоен престижной награды Computer Pioneer Award от IEEE за неоценимый вклад в становление компьютерных наук.

Анатолий Китов

Анатолий Китов.
Анатолий Китов.

Анатолий Иванович Китов (1920–2005) обладал редкой многогранностью таланта: от спортивных успехов в гимнастике до триумфальных побед на олимпиадах по математике. Пройдя путь от фронтовых будней артиллериста до вершин академической науки, он стал одним из первых, кто осознал мощь «запретной» кибернетики.

В 1956 году, когда понятие «искусственный интеллект» только зарождалось, Китов в соавторстве с А. Криницким выпустил книгу «Электронные цифровые машины». Это фундаментальное издание предлагало выйти за рамки простых арифметических операций: автор настаивал, что ЭВМ должны использоваться для управления производством, обработки текстов, классификации массивов данных и машинного перевода.

Китов предлагал амбициозную концепцию — создание «Единой государственной сети вычислительных центров» (ЕГСВЦ), прообраза современного интернета. К сожалению, его инициативы не нашли поддержки в высших эшелонах власти: бюрократический аппарат опасался технологий, которые могли поставить под угрозу их административную монополию.

Советское и британское издания работы “Электронные цифровые машины”. 
Советское и британское издания работы “Электронные цифровые машины”. 

Несмотря на политическое давление, Китов продолжал научную деятельность. В 1960-х он разработал АЛГЭМ — процедурный язык высокого уровня, который позволял автоматизировать управление предприятием и поиск данных. Он успешно реализовал свои идеи на ЭВМ серий «Минск-22» и «Минск-32».

Семейство Минск
ОДна из машин семейства «Минск». Источник.

Виктор Глушков

Виктор Глушков.
Виктор Глушков.

Виктор Михайлович Глушков (1923–1982) — еще один титан отечественной науки, решивший сложнейшую Пятую проблему Гильберта. Глушков предложил концепцию автоматизированных систем управления (АСУ), предназначенных для глубокой аналитики и поддержки принятия управленческих решений.

В его проектах ИИ играл ключевую роль: автоматическая классификация, прогностическое моделирование и даже системы «глаз-рука» для компьютерного зрения. Глушков предвосхитил многие современные тренды в сфере систем поддержки принятия решений (DSS).

 Глушков с коллегами, 1960.
 Глушков с коллегами, 1960.

В книге «Основы безбумажной информатики» (1982) Глушков поразительно точно описал будущее: появление персональных компактных устройств с выходом в глобальную сеть, которые полностью заменят традиционные носители информации, став универсальным инструментом коммуникации и досуга.

Рудольф Зарипов

Рудольф Зарипов.
Рудольф Зарипов.

Рудольф Хафизович Зарипов (1929–1991) первым в мире сумел превратить музыкальное творчество в алгоритмический процесс. Будучи виолончелистом и математиком, в 1959 году он реализовал на ЭВМ «Урал-1» программу, способную сочинять музыку.

Зарипов сформулировал формальные правила композиции, создав своего рода «первый в истории музыкальный промт». Результатом стал опус «Уральские напевы». В ходе многочисленных слепых тестов (1968–1980 гг.) слушатели регулярно отдавали предпочтение именно произведениям, созданным компьютером, не отличив их от творений человеческих композиторов.

ЭВМ “Урал-1”.
ЭВМ “Урал-1”.

Методы Зарипова по оцифровке эфемерного искусства стали предтечей современных генеративных моделей ИИ.

Сергей Маслов

Сергей Юрьевич Маслов (1939–1982) был неординарным ученым и научным бунтарем. В ЛОМИ он развивал методы автоматического логического вывода. Его величайшим достижением стал «обратный метод» доказательства теорем: вместо следования от условий к заключению, алгоритм выстраивал логическую цепочку «от обратного» — от цели к исходным аксиомам.

Сергей Маслов.
Сергей Маслов.

Принцип Маслова, опередивший аналогичные западные разработки, сегодня активно применяется в верификации ПО, анализе микросхем и экспертных системах, где требуется сочетание логического поиска и формальных правил.

 

Источник

Читайте также