北京7月26日電 繼擊敗人類圍棋大師和游戲玩家之后，谷歌旗下“深層思維”公司25日宣布，其人工智能（AI）系統(tǒng)在測(cè)試中成功解答了2024年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽的考題，最終得分達(dá)到本次比賽的銀牌水平，但其解答多數(shù)考題的時(shí)間較長(zhǎng)。

據(jù)報(bào)道，“深層思維”的AI系統(tǒng)解答了本月在英國(guó)舉行的這一數(shù)學(xué)奧賽給出的6個(gè)數(shù)學(xué)難題中的4個(gè)。該AI系統(tǒng)生成了嚴(yán)謹(jǐn)?shù)摹⒅鸩降拇痤}證明。兩位頂尖數(shù)學(xué)家為其答題評(píng)分。最終，這一AI系統(tǒng)獲得28分（滿分42分）——僅差一分就達(dá)到本次比賽的金牌水平。

證明數(shù)學(xué)定理是一項(xiàng)具有挑戰(zhàn)性的工作，因此數(shù)學(xué)奧賽通常被認(rèn)為是識(shí)別相關(guān)人才的方法，同時(shí)也是AI系統(tǒng)在數(shù)學(xué)和推理領(lǐng)域的試驗(yàn)場(chǎng)。“深層思維”公司負(fù)責(zé)科學(xué)AI的副總裁普什米特·科利說(shuō)，這是該公司的AI系統(tǒng)首次達(dá)到獎(jiǎng)牌級(jí)別的表現(xiàn)，是構(gòu)建高級(jí)定理證明器歷程中的一個(gè)關(guān)鍵里程碑。

據(jù)英國(guó)《自然》雜志報(bào)道，研究團(tuán)隊(duì)訓(xùn)練了一個(gè)專門(mén)用于解答數(shù)學(xué)奧賽考題的AI系統(tǒng)，結(jié)合了解答數(shù)學(xué)推理問(wèn)題的模型AlphaProof和升級(jí)版的解答幾何問(wèn)題的模型AlphaGeometry 2。AlphaGeometry 2在20秒內(nèi)解決了一個(gè)幾何問(wèn)題，而AlphaProof花了3天時(shí)間解答了兩個(gè)代數(shù)問(wèn)題和一個(gè)數(shù)論問(wèn)題。

“深層思維”公司稱，研究團(tuán)隊(duì)正繼續(xù)探索多種用于推進(jìn)數(shù)學(xué)推理的AI方法。未來(lái)，數(shù)學(xué)研究者將與AI合作，驗(yàn)證假說(shuō)，嘗試大膽的新方法來(lái)解決長(zhǎng)期未解決的數(shù)學(xué)難題，并迅速解決耗時(shí)的證明問(wèn)題。