Андрей Окуньков на факультете математики ВШЭ. "Математика в режиме ИИ: человек, машина, доказательств". 23 сентября 2025г.

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