Nature重磅：擊敗人類數學家，AI首次攻破經典數學難題

AIGC動態歡迎閱讀

原標題：Nature重磅：擊敗人類數學家，AI首次攻破經典數學難題

關鍵字：問題,程序,解決方案,上限,研究人員

文章來源：人工智能學家

內容字數：5280字

內容摘要：人工智能（AI）大模型，擊敗了人類數學家。今天，在 Nature 上發表的一篇論文中，Google DeepMind 的研究團隊介紹了一種搜索數學和計算機科學新解決方案的方法——FunSearch，它的工作原理是將預先訓練的大型語言模型（LLMs）與自動“評估器”配對，從而防止幻覺和錯誤想法。通過在這兩個組件之間來回迭代，最初的解決方案會演變成新的知識。這項研究首次利用了 LLMs 在挑戰科學或數學中的開放問題。FunSearch 發現了上限集問題的新解決方案，而這是數學中一個長期存在的開放問題。此外，為了展示 FunSearch 的實際用途，研究人員用它來發現更有效的算法來解決“裝箱”問題，該問題具有無處不在的應用，例如提高數據中心的效率。科學進步始終依賴于分享新理解的能力。FunSearch 成為特別強大的科學工具的原因在于，它輸出的程序揭示了如何構建其解決方案，而不僅僅是解決方案是什…

原文鏈接：點此閱讀原文：Nature重磅：擊敗人類數學家，AI首次攻破經典數學難題

聯系作者

文章來源：人工智能學家

作者微信：AItists

作者簡介：致力成為權威的人工智能科技媒體和前沿科技研究機構