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