谷歌人工智能測試得分達到國際數學奧賽銀牌水平
發布時間:2024-07-29 14:07:22 | 來源:新華網 | 作者: | 責任編輯:郭頂繼擊敗人類圍棋大師和游戲玩家之后,谷歌旗下“深層思維”公司25日宣布,其人工智能(AI)系統在測試中成功解答了2024年國際數學奧林匹克競賽的考題,最終得分達到本次比賽的銀牌水平,但其解答多數考題的時間較長。
據報道,“深層思維”的AI系統解答了本月在英國舉行的這一數學奧賽給出的6個數學難題中的4個。該AI系統生成了嚴謹的、逐步的答題證明。兩位頂尖數學家為其答題評分。最終,這一AI系統獲得28分(滿分42分)——僅差一分就達到本次比賽的金牌水平。
證明數學定理是一項具有挑戰性的工作,因此數學奧賽通常被認為是識別相關人才的方法,同時也是AI系統在數學和推理領域的試驗場。“深層思維”公司負責科學AI的副總裁普什米特·科利說,這是該公司的AI系統首次達到獎牌級別的表現,是構建高級定理證明器歷程中的一個關鍵里程碑。
據英國《自然》雜志報道,研究團隊訓練了一個專門用于解答數學奧賽考題的AI系統,結合了解答數學推理問題的模型AlphaProof和升級版的解答幾何問題的模型AlphaGeometry 2。AlphaGeometry 2在20秒內解決了一個幾何問題,而AlphaProof花了3天時間解答了兩個代數問題和一個數論問題。
“深層思維”公司稱,研究團隊正繼續探索多種用于推進數學推理的AI方法。未來,數學研究者將與AI合作,驗證假說,嘗試大膽的新方法來解決長期未解決的數學難題,并迅速解決耗時的證明問題。