Математика в эпоху ИИ

Развитие искусственного интеллекта ставит перед математическим сообществом принципиально новые вызовы. Речь идёт уже не просто о появлении новых инструментов для исследований, но и о возможных глубоких изменениях в самой математической науке, образовании и профессиональной деятельности математиков. Масштаб этих перемен заставляет задуматься о целом ряде вопросов: Как изменится работа математика? Какие задачи останутся за человеком? Чему и как следует учить будущих исследователей? Какую роль математики будут играть в индустрии?

Приглашаем 7 ноября на факультет математики НИУ ВШЭ обсудить эти вопросы вместе с исследователями и представителями индустрии. В программе — лекция о последних достижениях искусственного интеллекта в математике, открытая дискуссия и возможность продолжить разговор в неформальной обстановке.

Дата: 7 ноября 2026 года (суббота)

Время: 18:30–20:30

Место: факультет математики НИУ ВШЭ, аудитория 427

 Регистрация 

Программа мероприятия

18:30–19:20. Лекция Сергея Николенко «Vibemathed: как AI изменил математику»

Сергей Игоревич Николенко (ПОМИ РАН, СПбГУ, НИУ ВШЭ) 

В начале 2022 года LLM умели решать математические задачки для примерно третьего класса средней школы. В начале 2024 года — с трудом справлялись с несложными олимпиадными задачками, а их главным вкладом в математику была помощь с LaTeX-оформлением и складным связным текстом.

Весной 2026-го GPT-5.4 Pro опроверг гипотезу Эрдёша о единичных расстояниях, летом GPT и Claude доказали гипотезу о двойном покрытии циклами и нашли контрпример к гипотезе якобиана, в августе OpenAI выложила сразу десять крупных результатов с Lean-сертификатами, а Claude доказал, что больше двух третей нулей дзета-функции лежат на критической прямой. И это тоже уже старые новости: в начале октября OpenAI опубликовала "Research Catalog" из 700+ выдающихся результатов, включая квазигипотезу Римана, гипотезы Ходжа и Тейта в важных случаях, десятую проблему Гильберта над Q, шаг к гипотезе Бёрча–Свиннертона-Дайера, а в информатике — точные пределы для unique games и экспоненту умножения матриц 2.25.

В докладе я расскажу и о том, как мы до этого дошли за такой короткий срок, и о том, как на это реагируют сами математики: Лейденская декларация, "переваривание доказательств" от Теренса Тао, сентябрьское письмо филдсовских лауреатов... Да и просто поразмышляем о том, что такое математика и где место живых математиков в этом дивном новом мире. Я пишу этот анонс 8 октября, но уверен, что до нашего доклада ещё появятся и другие важные результаты и развития этой темы — обсудим и их!

19:20–19:30. Кофе-брейк

Небольшой перерыв перед началом дискуссии.

19:30–20:30. Открытая дискуссия «Математика в эпоху ИИ»

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

Участники дискуссии:

• Сергей Игоревич Николенко — ПОМИ РАН, СПбГУ, НИУ ВШЭ;
• Кирилл Владимирович Медведев — директор АНО ДПО «Образовательные технологии Яндекса»;
• Василий Геннадиевич Горбунов — заместитель декана по науке факультета математики НИУ ВШЭ, руководитель лаборатории сложных сетей, гиперграфов и их приложений;
• Дмитрий Юрьевич Буряк — руководитель направления машинного обучения НПК «Криптонит», ВМК МГУ.

В центре обсуждения — будущее исследовательской математики, трансформация математического образования и роль математиков в индустрии. Поговорим о том, какие возможности открывает ИИ, какие вызовы он ставит перед математическим сообществом и как на них реагировать.

Гости мероприятия смогут задать вопросы участникам дискуссии и поделиться собственным взглядом на происходящие изменения.

После 20:30. Фуршет и неформальное общение

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

Приглашаем студентов, преподавателей, исследователей и всех, кому интересно будущее математики в эпоху искусственного интеллекта!

Добавить в календарь