Открытая лекция Сергея Николенко «Vibemathed: как AI изменил математику»
МФТИ — Московский физико-технический институт ·
Физтех-школа прикладной математики и информатики МФТИ Приглашаем всех, кто интересуется искусственным интеллектом, математикой и будущим науки, на открытую лекцию Сергея Николенко — ученого, входящего в топ-1% исследователей в области искусственного интеллекта по данным международного научного издательства Elsevier. Когда: 5 ноября в 18:30 Где: МФТИ, Лабораторный корпус, Большая Химическая аудитория Тема: «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. На лекции поговорим о том, как мы до этого дошли за столь короткий срок, как на это реагируют сами математики: Лейденская декларация, «переваривание доказательств» от Теренса Тао, сентябрьское письмо филдсовских лауреатов... Да и просто поразмышляем какое место останется за живыми математиками в этом дивном новом мире. Приходите узнать, как ИИ меняет математику и каким может стать будущее математических исследований!