科技日報記者 劉霞
據(jù)英國《新科學(xué)家》雜志網(wǎng)站22日報道，谷歌旗下深度思維公司和美國OpenAI公司相繼宣稱，其AI模型在近日舉行的國際數(shù)學(xué)奧林匹克競賽（IMO）中，首次取得金牌級成績。
IMO一直被研究人員視為AI系統(tǒng)數(shù)學(xué)推理能力的試金石。去年，深度思維公司宣布，其開發(fā)的數(shù)學(xué)推理AI模型“阿爾法證明”和幾何求解AI模型“阿爾法幾何”攜手取得銀牌級成績。
19日，OpenAI宣布其新型AI系統(tǒng)在4.5小時內(nèi)正確解答6道國際奧數(shù)競賽題中的5道；兩天后，深度思維的“雙子座深度思考”系統(tǒng)交出了同樣的成績。IMO主席格雷戈爾·多利納爾證實，成績經(jīng)由競賽官方閱卷人嚴(yán)格評定。
與“阿爾法證明”和“阿爾法幾何”系統(tǒng)都專為IMO打造，且使用名為“精益”的計算機編程語言編寫問題和答案不同，今年兩大團隊的模型均采用自然語言處理技術(shù)。
“雙子座深度思考”開發(fā)人員解釋稱，強化學(xué)習(xí)是機器學(xué)習(xí)的一個分支，旨在讓智能體在環(huán)境中通過試錯來學(xué)習(xí)如何實現(xiàn)特定目標(biāo)。這種方法是谷歌此前在“阿爾法零”等AI游戲上取得成功的關(guān)鍵。
OpenAI則僅透露運用了強化學(xué)習(xí)與“實驗性方法”，技術(shù)細節(jié)仍籠罩在迷霧中。
菲爾茲獎得主、美國加州大學(xué)洛杉磯分校數(shù)學(xué)家陶哲軒評價道，這一進展令人振奮，但需要可復(fù)現(xiàn)的研究數(shù)據(jù)支撐。IMO金牌得主約瑟夫·梅耶指出，自然語言證明雖具可讀性優(yōu)勢，但冗長論證可能帶來驗證困難。
