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

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

數(shù)學被視為人工智能發(fā)展的重要基準。幾何等復雜數(shù)學需要直覺和創(chuàng)造性的解決問題能力以及復雜的推理能力。

AlphaProof 是一種基于強化學習的新型形式數(shù)學推理系統(tǒng)，而 AlphaGeometry 2 是一種幾何求解系統(tǒng)的改進版本。

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

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

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

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

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

谷歌此前曾涉足數(shù)學人工智能模型，其名為 AlphaGo 的系統(tǒng)學會了下圍棋，并于 2016 年擊敗了傳奇圍棋選手李世石。

研究人員現(xiàn)在將 AlphaGo 的繼任者 AlphaZero 與預先訓練的語言模型結合起來，制作出 AlphaProof。它通過解決數(shù)百萬個翻譯成正式編程語言“Lean”的問題來進行訓練。

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

該公司表示，其人工智能團隊“正在繼續(xù)探索多種人工智能方法以推進數(shù)學推理，并計劃很快發(fā)布有關 AlphaProof 的更多技術細節(jié)”。

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

相關：

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

據路透社 7 月 15 日報道，ChatGPT 制造商 OpenAI 正在開發(fā)代號為“Strawberry”的 AI 模型新方法。據報道，該模型旨在大幅提高 AI 推理能力并實現(xiàn)自主的深度互聯(lián)網研究。

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

7 月 23 日，Meta 首席執(zhí)行官馬克·扎克伯格在宣布發(fā)布最新型號 Llama 3.1 時表示，公司正朝著讓開源 AI 成為行業(yè)標準邁出下一步。

雜志：100 萬美元賭注 ChatGPT 不會導致 AGI、蘋果智能 AI 應用、AI 百萬富翁激增：AI Eye

熱點：AI 競賽