銀牌組最高分，谷歌 DeepMind 突破 AI 數學推理上限：6 道國際奧數題解出 4 道
谷歌 DeepMind 團隊昨日（7 月 25 日）發布博文，表示其研發的 AlphaProof 和 AlphaGeometry 2 模型可以解決數學中的高級推理問題，在解答國際數學奧林匹克競賽難題方面達到銀牌標準。
AI 會將 IMO 的 6 道題目翻譯成為模型可以理解的數學語言。AlphaProof 通過確定答案並證明其正確性，解決了兩個代數問題和一個數論問題，而其中解決的 1 個問題是比賽中最難的，在今年的 IMO 中只有 5 位選手解決了這一問題。AlphaGeometry 2 則證明了幾何問題，沒有解決 2 個組合問題。
按照 IMO 規則，6 道題目每道題可獲得 7 分，總分最高為 42 分。DeepMind 系統最終獲得了 28 分，每個問題都得到了滿分，相當於銀牌組的最高分。