Transformer成功寻找新的李雅普诺夫函数

训练Transformer，用来解决132年的数学世纪难题!如何判断一个动力系统（如三体问题）是否稳定?Meta和巴黎理工学院团队携手提出SymbolicTransformer，直指这一经典难题的核心:发现新的全局李雅普诺夫函数。从牛顿、拉格朗日到庞加莱，无数科学家倾力研究三体问题的长期稳定性，却始终无法给出一个通用的判定方法。