А. Ю. Окуньков. Математика в режиме ИИ: человек, машина, доказательство

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