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攻克了

聯系作者

文章來源：機器之心
作者微信：
作者簡介：