Speakers: Alexander Chervov (Institut Curie)

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..

https://indico.math.cnrs.fr/event/15207/