新華社北京7月26日電 繼擊敗人類圍棋大師和游戲玩家之后,，谷歌旗下“深層思維”公司25日宣布，其人工智能（AI）系統(tǒng)在測試中成功解答了2024年國際數(shù)學奧林匹克競賽的考題，最終得分達到本次比賽的銀牌水平,，但其解答多數(shù)考題的時間較長,。據(jù)報道,，“深層思維”的AI系統(tǒng)解答了本月在英國舉行的這一數(shù)學奧賽給出的6個數(shù)學難題中的4個,。該AI系統(tǒng)生成了嚴謹?shù)摹⒅鸩降拇痤}證明,。兩位頂尖數(shù)學家為其答題評分,。最終,，這一AI系統(tǒng)獲得28分（滿分42分）——僅差一分就達到本次比賽的金牌水平。證明數(shù)學定理是一項具有挑戰(zhàn)性的工作,，因此數(shù)學奧賽通常被認為是識別相關(guān)人才的方法,，同時也是AI系統(tǒng)在數(shù)學和推理領(lǐng)域的試驗場,。“深層思維”公司負責科學AI的副總裁普什米特·科利說,，這是該公司的AI系統(tǒng)首次達到獎牌級別的表現(xiàn),，是構(gòu)建高級定理證明器歷程中的一個關(guān)鍵里程碑,。據(jù)英國《自然》雜志報道，研究團隊訓練了一個專門用于解答數(shù)學奧賽考題的AI系統(tǒng),，結(jié)合了解答數(shù)學推理問題的模型AlphaProof和升級版的解答幾何問題的模型AlphaGeometry 2,。AlphaGeometry 2在20秒內(nèi)解決了一個幾何問題,，而AlphaProof花了3天時間解答了兩個代數(shù)問題和一個數(shù)論問題,。“深層思維”公司稱,，研究團隊正繼續(xù)探索多種用于推進數(shù)學推理的AI方法,。未來,，數(shù)學研究者將與AI合作，驗證假說,，嘗試大膽的新方法來解決長期未解決的數(shù)學難題,，并迅速解決耗時的證明問題。
免責聲明：本文來自網(wǎng)絡(luò)收錄或投稿,，觀點僅代表作者本人，不代表芒果財經(jīng)贊同其觀點或證實其描述,，版權(quán)歸原作者所有。轉(zhuǎn)載請注明出處：http://lequren.com/1114665.html
溫馨提示：投資有風險,，入市須謹慎,。本資訊不作為投資理財建議。
