Exciting work with Amaury Hayat and François Charton on discovering new math with AI!

Can transformer learn how to solve an open hard mathematical problem? It seems it can, check out the work with François Charton and Amaury Hayat!

The code for our paper: Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, with Alberto Alfarano and Amaury Hayat is available at github.com/facebookresear… We will be in NeurIPS: come see us at the poster session next Thursday at 5PM

Open sourcing Int2Int, a Python code base for AI for maths, with a special focus on arithmetic and number theory github.com/f-charton/Int2… A user manual, and instructions on how to extend it, can be found here arxiv.org/abs/2502.17513

Huge work with Zeyuan Allen-Zhu, Sc.D.: we build a synthetic arena to really understand the differences between model architectures and we introduce a simple but effective Canon layer to boost reasoning. Check it out!