AI解决132年数学难题！Transformer成功寻找新的李雅普诺夫函数，三体问题相关

Meta和巴黎理工学院团队合作，使用Symbolic Transformer解决132年的数学难题——寻找全局李雅普诺夫函数。该模型在8张V100 GPU上训练100小时，对已解决的多项式系统精度达84%，远超人类专家和此前SOTA算法。模型在随机生成的新多项式系统中找到10.1%-11.8%的李雅普诺夫函数，而此前最好算法仅为0.7%-1.1%。研究团队通过正向和反向数据生成策略生成多个数据集，实验结果显示模型在不同数据集上均表现出色，特别是混合数据训练的模型效果最佳。
来源：https://mp.weixin.qq.com/s/jgb5b04DODrloOylQJO_iw