導讀 谷歌旗下的DeepMind團隊近期在國際數學奧林匹克（IMO）中取得了令人矚目的成績。DeepMind的兩款人工智能模型——AlphaProof和AlphaGeometry...
谷歌旗下的DeepMind團隊近期在國際數學奧林匹克（IMO）中取得了令人矚目的成績。DeepMind的兩款人工智能模型——AlphaProof和AlphaGeometry2，成功解決了本年度比賽中的四個難題，達到了銀牌水平。這一突破標志著AI在數學推理方面邁出了重要的一步。
國際數學奧林匹克是全球最具挑戰(zhàn)性的數學比賽之一，自1959年起每年舉辦，吸引了來自百余個國家的參賽者。今年的比賽中，DeepMind的AI系統表現不俗，成功解決了四道題目，這一成績相當于銀牌水平，這也是AI系統首次在如此高水平的數學競賽中取得類似成績。
AlphaProof是一個基于強化學習的新系統，專注于形式化數學推理;而AlphaGeometry2則是其改進版，專門用于解決幾何問題。此次AI的表現不僅展示了其在復雜數學問題上的強大能力，還為未來AI在高級數學領域的應用提供了新方向。
數學一直被認為是AI發(fā)展的關鍵標準之一。復雜的幾何學問題需要直觀和創(chuàng)造性的解決方案以及高級推理能力，這對于AI系統來說是一大挑戰(zhàn)。Google表示，這些突破顯示了AI在數學推理領域的巨大潛力，同時也反映了AI系統在處理實際復雜問題時的進步。
此外，Google在AI研究方面的投入也顯著增加。2024年第二季度，Alphabet在AI研究和開發(fā)上的支出達到23億美元，幾乎是去年同期的兩倍。這一支出反映了公司對AI技術持續(xù)的重視和投入。
目前，AI領域的競爭日益激烈。OpenAI正在開發(fā)名為“Strawberry”的新型AI模型，以顯著提升AI的推理能力;而Meta公司也推出了最新的AI模型Llama3.1，推動開源AI的發(fā)展。