Alberto Alfarano, François Charton, Amaury Hayat The paper “Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers”…