132年的李雅普诺夫函数谜题，被Symbolic Transformer攻克了

研究人员使用Symbolic Transformer解决了132年的李雅普诺夫函数问题，该问题关键于判断动力系统的全球稳定性；该研究通过生成训练数据并使用序列到序列的Transformer模型达到了高准确性，特别是在分布外测试集上；该项技术为未来解决复杂数学问题提供了一个AI驱动的方法，其解决方案的正确性可以通过数学验证。