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

AIGC动态欢迎阅读

原标题：132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了
关键字：模型,函数,多项式,系统,数据
文章来源：机器之心
内容字数：0字

内容摘要：

机器之心报道
编辑：蛋酱、佳琪牛顿没解决的问题，AI给你解决了？
AI的推理能力一直是研究的焦点。作为最纯粹、要求最高的推理形式之一，能否解决高级的数学问题，无疑是衡量语言模型推理水平的一把尺。
虽然我们已经见证过来自谷歌DeepMind的Al以一分之差痛失IMO金牌，也从陶哲轩频频更新的动态中得知，AI工具已经在帮助数学家解决像「纽结理论」和「海狸难题」这样困扰数学家几个世纪的难题。
但是这些成果大多数都需要数学家作大量的前期工作，对于没有已知通用解法的开放性问题，AI也是一个小白。最近的一项研究打破了这个局面。Meta和巴黎理工学院的研究人员共同探讨了一个困扰数学界长达132年的问题：李雅普诺夫函数。简单来说，李雅普诺夫函数用于判断一个动力系统相对于其平衡点或轨道，随着时间无限延长后是否能保持全局稳定。论文已经入选了NeurIPS 2024。论文标题：Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
论文地址：https://arxiv

原文链接：132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了