CayleyPy - Artificial intelligence methods for group and graph theories

We will present an AI-based open source Python library "CayleyPy" 
which can handle googol-size Cayley graphs and significantly outperforms
classical computer algebra systems GAP/SAGE for several tasks.
Hundreds conjectures and several results were obtained with its help.
Classical group theory tasks e.g. decomposition of the group elements,
can be rephrased as standard reinforcement learning tasks,
and approached in a similar manner as Google Deepmind's AlphaGo/Zero.
We will also give an overview of various recent achievements 
in "AI for math" emerging field of research. 

The talk will be based on: 

arXiv:2509.19162,  arXiv:2502.18663,  arXiv:2502.13266.