AIGC動態歡迎閱讀

原標題：AI解決132年數學難題！Transformer成功尋找新的李雅普諾夫函數，三體問題相關
關鍵字：多項式,函數,系統,模型,方法
文章來源：量子位
內容字數：0字

內容摘要：

夢晨 發自 凹非寺量子位 | 公眾號 QbitAI訓練Transformer，用來解決132年的數學世紀難題！
如何判斷一個動力系統（如三體問題）是否穩定？Meta和巴黎理工學院團隊攜手提出Symbolic Transformer，直指這一經典難題的核心：
發現新的全局李雅普諾夫函數。
從牛頓、拉格朗日到龐加萊，無數科學家傾力研究三體問題的長期穩定性，卻始終無法給出一個通用的判定方法。
直到1892年，俄國數學家Aleksandr Lyapunov提出了以他名字命名的李雅普諾夫函數：
如果存在一個函數V，其在平衡點處有嚴格最小值，在無窮遠處為無窮大，且梯度始終指向遠離系統梯度的方向，則全局穩定性得到保證。
但遺憾的是，李雅普諾夫只證明了這個結論，并沒有提供尋找這個函數的方法。
130多年過去了，科學界仍然不知道對于一般的系統該如何尋找李雅普諾夫函數，現有的算法只能求解非常小規模的多項式系統。
換句話說，李雅普諾夫函數的系統化構造方法，依然是一個懸而未決的數學難題。
現在，這一局面有望被AI打破。
研究團隊把尋找李雅普諾夫函數構建成一種序列到序列翻譯任務，問題和解決方案都表示為符號tok

原文鏈接：AI解決132年數學難題！Transformer成功尋找新的李雅普諾夫函數，三體問題相關

聯系作者

文章來源：量子位
作者微信：
作者簡介：