НИУ ВШЭ приглашает обучающихся 10-11 классов, учителей математики и информатики на лекцию «Математика в режиме ИИ: человек, машина, доказательств».

23 сентября 2025 г., начало 16:00

Как искусственный интеллект влияет на саму природу математического открытия? В рамках этого мероприятия лауреат премии Филдса Андрей Окуньков предложит критический взгляд на роль языковых моделей в математике, задавшись вопросом о границах «речистого разума». Его философский разбор дополнит прагматичная перспектива сотрудников научно-учебной лаборатории сложных сетей, гиперграфов и их приложений НИУ ВШЭ — Артёма Малько и Сергея Усанова.Они расскажут, как ИИ уже помогает формулировать гипотезы, находить контрпримеры и даже открывать новые формулы — в частности, в теории узлов. От практических кейсов в Nature до интеграции LLM с системами вроде Lean и Sage — докладчики покажут, как ИИ становится не просто инструментом, а активным участником математического поиска.

Регистрация на очное посещение мероприятие закрыта. Онлайн-трансляция будет доступна по ссылке здесь.