训练Transformer,用来解决132年的数学世纪难题!如何判断一个动力系统(如三体问题)是否稳定?Meta和巴黎理工学院团队携手提出Symbolic Transformer,直指这一经典难题的核心:发现新的全局李雅普诺夫函数。从牛顿、..