Начнем мы с доклада выпускника матфака, ныне PhD студента CUHK, Shenzhen Дмитрия Рыбина. Topic: AlphaEvolve и Машинное Обучение для Математики.
(От себя, и для тех кто не видел лекцию профессора Tom Luo, скажу, что результат который получил Дмитрий в этом году, про ускоренное умножение матриц, имеет крайне высокий потенциал в приложениях и как раз про него Дмитрий и расскажет). Анонс доклада от автора:
Мы разберем примеры использования машинного обучения для поиска математических объектов, в частности, расскажем про наш результат об ускорении матричного умножения XX^t. А также детально обсудим использование LLM/AlphaEvolve для чисто математических вопросов - постановки задач и дешевые эксперименты доступные всем.
Это нас ожидает на паре 14.10.25 в 16 20 в аудитории 108 (и, конечно, онлайн)