生成模型可用于解决数学研究层面的问题

Meta和巴黎理工学院的研究人员共同探讨了一个困扰数学界长达132年的问题：李雅普诺夫函数。简单来说，李雅普诺夫函数用于判断一个动力系统相对于其平衡点或轨道，随着时间无限延长后是否能保持全局稳定。

论文标题：Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
论文地址：https://arxiv.org/pdf/2410.08304

三体问题

三体问题是经典力学中最著名的未解问题之一。牛顿提出了万有引力定律，并通过微积分为两个物体之间的引力相互作用提供了精确的解。然而，当系统中增加第三个物体时，系统的复杂性显著增加，传统方法无法应对。

18世纪，拉格朗日做出了突破性的贡献：拉格朗日点。三体系统将在拉格朗日点达到平衡。然而，他的发现依然无法解决三体系统在长时间尺度下的整体稳定性问题。

到了19世纪末，庞加莱通过发展拓扑学和混沌理论，证明了某些条件下，三体系统会出现不可预测的混沌行为。这表明三体问题的复杂程度远超人们的想象，也意味着不存在普适的解。

1892年，李雅普诺夫又将这个世纪难题向前推进了一步。判断三体系统是否稳定，可以借助李雅普诺夫函数。

不过，李雅普诺夫只提供了理论上的证明，想要实际计算出一个系统的函数解极为困难。虽然像 SOSTOOLS 这样的计算工具可以辅助，但它们的能力仅限于处理小型的多项式系统，对于更复杂的情况往往无能为力。

数据生成

这项工作中，研究者训练序列到序列 Transformer 来预测给定系统的 Lyapunov 函数。

他们将这个问题定义为一个翻译任务：问题和解决方案以符号Token序列的形式表示，模型从生成的系统和 Lyapunov 函数对中训练，以最小化预测序列和正确解决方案之间的交叉熵。</