13 октября 2025 года отмечается 75-летний юбилей академика РАН и РАО Алексея Львовича Семёнова – известного ученого, чья деятельность объединила математические исследования, создание современной системы образования и решение ключевых задач в области развития искусственного интеллекта в России.
Как «лексемы», составляющие числа, идентифицируются конечным автоматом, и в чем заключается их принципиальная связь с логикой? Где проходят границы того, что в принципе может быть вычислено? Возможно ли построить исчерпывающую «карту» всех математических соотношений, которые допускает такая простая структура, как целые числа? Ответы на эти, казалось бы, абстрактные вопросы, разработанные академиком А.Л. Семёновым, сегодня являются ключевыми для решения наиболее актуальных задач цифровой эпохи.
Его основополагающие достижения, начиная с обобщения классической теоремы Кобхэма, которая устанавливает связь между возможностью распознавания автоматом и арифметикой, и заканчивая исследованиями границ разрешимости логических теорий, а также новейшими работами в области «геометрии определимости» (решёток редуктов), создали целую научную область. Благодаря этим исследованиям стало возможным более глубокое понимание структуры вычислимых миров и определяющих их неизменных принципов.
Особенность академика Алексея Семёнова заключается в его способности последовательно применять глубокие теоретические знания на практике, охватывающей всю страну. Именно он инициировал развитие школьной информатики в СССР, активно поддерживая идею «программирования как второй грамотности» – концепцию, которая в настоящее время получила широкое распространение во всем мире. Его подход к образованию, основанный на сочетании компьютерного моделирования и культуры строгих доказательств, находит своеобразное выражение в проектных курсах для одаренных школьников, где старшеклассники получают новые математические результаты, которые впоследствии публикуются в авторитетных научных изданиях.
В нынешний период бурного развития нейросетей научные взгляды Алексея Львовича Семёнова приобретают особенную значимость. В должности главного редактора журнала «Доклады РАН. Математика, информатика, процессы управления» / Doklady Mathematics он инициирует междисциплинарные спецвыпуски на стыке математики и ИИ, задавая ключевой вопрос: как обеспечить доверие к интеллектуальным системам? Его ответ однозначен: только через строгие математические модели, формальную верификацию и проверяемые метрики качества.
Академик Алексей Семёнов, возглавляющий кафедру математической логики и теории алгоритмов МГУ, Институт кибернетики и образовательной информатики им. А.И. Берга ФИЦ ИУ РАН и Лабораторию инженерии знаний Института математических исследований сложных систем МГУ, активно создает среду, где фундаментальные научные исследования служат основой для разработки технологичных и эффективных образовательных решений.
Коллектив портала «Научная Россия» поздравляет Алексея Львовича Семёнова с юбилеем и шлёт ему наилучшие пожелания: крепкого здоровья, неугасаемой энергии и перспективных открытий в области математики и искусственного интеллекта!
Информация предоставлена ИМИСС МГУ