Коллеги из Сберлоги анонсируют интересный онлайн-семинар про решение одного из ранее не нерешенных вопросов в теории групп с помощью машинного обучения.

Выступление будет по мотивам статьи: What makes math problems hard for reinforcement learning: a case study (https://arxiv.org/abs/2408.15332)

Дата/время: 19 сентября, 19-00 (добавить в календарь).

О докладчике: Сергей Гуков - профессор КалТех, выпускник МФТИ и Принстона, один из наиболее известных специалистов по теории струн и математической физике, в последние годы занимающийся применением методов Reinforcement Leaning к задачам математики и физики.

Все подробности тут, ссылка там же будет - https://t.me/sberlogabig/514

Есть интересный аспект по тематике нашего сообщества. К статье приложен репозиторий со всеми материалами - https://github.com/shehper/AC-Solver.

На мой взгляд, это очень хороший пример реализации supplementary, позволяющий быстрее понять суть работы, а также воспроизвести и пере-использовать результаты. Надеюсь, что в перспективе такое оформление репозитория станет нормой для хороших статей.