132年未解开的李雅普诺夫函数谜题,被Symbolic Transformer攻克了
原文中文,约4800字,阅读约需12分钟。发表于: 。Meta和巴黎理工学院的研究人员用AI解决了一个132年的数学难题——李雅普诺夫函数问题。他们通过训练Transformer模型,在测试中取得了高准确率,特别是在分布外测试中表现出色。研究显示,加入少量已知样本能显著提升模型性能。这项研究展示了AI在数学推理中的潜力。
Meta和巴黎理工学院的研究人员用AI解决了一个132年的数学难题——李雅普诺夫函数问题。他们通过训练Transformer模型,在测试中取得了高准确率,特别是在分布外测试中表现出色。研究显示,加入少量已知样本能显著提升模型性能。这项研究展示了AI在数学推理中的潜力。