大型语言模型在许多任务中表现出色，但其推理能力一直备受争议。Meta 的研究人员近日发表论文，展示了他们如何利用 Transformer 模型解决数学领域一个长期存在的难题:发现动力系统的全局李雅普诺夫函数。李雅普诺夫函数可以判断一个动力系统是否稳定，例如，它可以用来预测三体问题的长期稳定性，即三个天体在引力作用下的长期运动轨迹。然而，目前还没有找到通用的方法来推导出李雅普诺夫函数，只有少数系统已知其对应的函数。为了解决这个问题，Meta 的研究人员训练了一个序