谷歌人工智能系統在數學方面取得進展,朝着推理方向邁進 | 路透社
Kenrick Cai
人們在法國巴黎谷歌總部新開設的人工智能(AI)中心揭幕儀式上,谷歌標誌前的剪影,時間為2024年2月15日。 REUTERS/岡薩洛·豐特斯/檔案照片7月25日 - 字母表公司的谷歌在週四推出了一對人工智能系統,展示瞭解決複雜數學問題的進展,這是生成性AI發展的一個關鍵前沿。
當前的AI模型通過統計預測下一個單詞,但在抽象數學方面遇到了困難,這需要更大的推理能力,類似於人類智能。
該公司的AI部門DeepMind發佈的結果顯示,其正在開發的新AI模型,名為AlphaProof和AlphaGeometry 2,在2024年國際數學奧林匹克競賽中解決了六個問題中的四個,這是一個針對高中生的著名比賽。
谷歌(GOOGL.O)在一篇博客文章中表示,其中一個問題在幾分鐘內解決,但其他問題花費了多達三天,超過了比賽的時間限制。儘管如此,這些結果仍然代表了迄今為止AI系統在該比賽中的最佳成績。該公司表示,它通過結合Gemini的一個版本創建了AlphaProof,這是一個專注於推理的系統,這是其聊天機器人的語言模型同名的,使用AlphaZero,另一個在棋類遊戲如國際象棋和圍棋中曾經戰勝人類的人工智能系統。AlphaProof解決了比賽中的三個問題,包括最困難的問題,只有超過600名人類參賽者中的五人解決了這個問題。另一個數學問題由AlphaGeometry 2解決。
路透社在七月早些時候報道稱,微軟支持的OpenAI正在開發代號為“草莓”的推理技術。這個項目,之前被稱為Q*,被認為是一個重大突破,以至於幾位研究人員在十一月寫信給OpenAI的董事會,警告説這可能會威脅人類,因為路透社首次報道。通過“競選之路”通訊獲取每週關於美國選舉的新聞和分析,以及它對世界的重要性。註冊這裏。