4 ms·Discovering Global Lyapunov functions using symbolic transformers2 points by DarmokJalad1701 2y agoDarmokJalad1701 2y agoOriginal title was: "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" which wouldn't fit.