А.В. Червов, CayleyPy - методы искусственного интеллекта в теории групп и графов

Telegram-канал cеминара СПАА:
В докладе будет представлена основанная на методах ИИ открытая Python-библиотека CayleyPy, которая способна работать с графами Кэли очень больших размеров. CayleyPy значительно превосходит классические системы компьютерной алгебры GAP/SAGE в решении ряда задач, с её помощью были получены сотни гипотез и несколько результатов в области теории групп и графов. Классические задачи теории групп (например, разложение элементов группы) можно переформулировать как задачи обучения с подкреплением и решать их способами аналогичными AlphaGo/Zero от Google Deepmind. Также будет дан обзор различных последних достижений в формирующейся области "ИИ для математики" / "AI for math". Доклад опирается на работы: — A. Chervov et al., CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version), 2025.
— A. Chervov et al., CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs, 2025.
— A. Chervov et al., A Machine Learning Approach That Beats Large Rubik's Cubes, 2025.