Colloquium

COLLOQUIUM Alexander Chervov "CayleyPy - Artificial intelligence methods for group and graph theories"

par Dr Alexander Chervov (Institut Curie)

Europe/Paris
René Baire (IMB)

René Baire

IMB

Description

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