梦晨 发自 凹非寺 量子位 | 公众号 QbitAI 训练Transformer，用来解决 132年 的数学世纪难题！ 如何判断一个动力系统（如三体问题）是否稳定？ Meta 和 巴黎理工学院 团队携手提出Symbolic Transformer，直指这一经典难题的核 心： 发现新的 全局李雅普诺夫函数 。 从牛顿、拉格朗日到庞加莱，无数科学家倾力研究三体问题的长期稳定性，却始终无法给出一个通用的判定方法。 直到1892年，俄国数学家 Aleksandr Lyapunov 提出了以他名字命名的李雅普诺夫函数： 如果存在一个函数V，其在平衡点处有严格最小值，在无穷远处为无穷大，且梯度始终指向远离系统梯度的方向，则全局稳定性得到 保证。 但遗憾的是，李雅普诺夫只证明了这个结论，并没有提供寻找这个函数的方法。 François Charton @f_charton · 16小时 In 1892, Lyapunov showed that global stability was guaranteed if a function V could be found, with a strict minimum at t ...