谷歌 DeepMind 表示，其人工智能模型在解決了今年國際數學奧林匹克競賽（世界上最艱難的數學競賽之一）六道題中的四道之後，目前已達到複雜數學的“銀級標準”。

7月25日，谷歌DeepMind表示，AlphaProof和AlphaGeometry 2在解決數學高級推理問題上取得突破。

數學被視爲人工智能發展的重要基準。幾何等複雜數學需要直觀和創造性的解決問題能力以及複雜的推理能力。

AlphaProof 是一種基於強化學習的新型形式數學推理系統，而 AlphaGeometry 2 是一種幾何求解系統的改進版本。

該公司表示，這兩個系統解決了今年國際數學奧林匹克 (IMO) 六道題目中的四道，“首次在比賽中達到了與銀牌得主相同的水平”。

國際數學奧林匹克是歷史最悠久、規模最大、最負盛名的年輕數學家競賽。該賽事自 1959 年以來每年舉辦一次，今年在英國舉辦的賽事吸引了一百多個國家參賽。

谷歌解釋稱，奧林匹克競賽已被廣泛認爲是“機器學習領域的重大挑戰，也是衡量人工智能系統高級數學推理能力的理想基準”。

IMO 金牌得主蒂莫西·高爾斯爵士教授評論道：

“該程序能夠提出這種非顯而易見的構造，這非常令人印象深刻，遠遠超出了我認爲的最先進水平。”

谷歌此前曾涉足數學人工智能模型，其名爲 AlphaGo 的系統學會了下圍棋，並於 2016 年擊敗了傳奇圍棋選手李世石。

如今，研究人員將 AlphaGo 的後繼者 AlphaZero 與預先訓練的語言模型結合起來，製成了 AlphaProof。它通過解決數百萬個翻譯成正式編程語言“Lean”的問題來進行訓練。

同時，AlphaGeometry 2 是基於谷歌 Gemini AI 模型的神經符號混合系統，具有增強的幾何問題解決能力。

該公司表示，其人工智能團隊“正在繼續探索多種人工智能方法以推進數學推理，並計劃很快發佈有關 AlphaProof 的更多技術細節”。

根據谷歌母公司 Alphabet 公佈的第二季度財報，DeepMind 在人工智能相關研究上投入了大量資金，主要由人工智能研發投入導致的“Alphabet 層面活動”虧損在第二季度達到 23 億美元，幾乎是去年同期的兩倍。

相關：Google Gemini 用戶很快將能夠做 4 件事

與此同時，人工智能競爭持續升溫。

據路透社 7 月 15 日報道，ChatGPT 製造商 OpenAI 正在開發代號爲“Strawberry”的 AI 模型新方法。據報道，該模型旨在大幅提高 AI 推理能力並實現自主的深度互聯網研究。

此外，7 月 25 日，OpenAI 宣佈推出名爲 SearchGPT 的人工智能搜索引擎原型。

7 月 23 日，Meta 首席執行官馬克·扎克伯格在宣佈發佈最新型號 Llama 3.1 時表示，公司正朝着讓開源 AI 成爲行業標準邁出下一步。

雜誌：100 萬美元的賭注 ChatGPT 不會帶來 AGI、蘋果的智能 AI 應用、AI 百萬富翁激增：AI Eye