Google旗下兩款大模型在國際數學奧林匹克競賽難題方面達到銀牌標準

（取自DeepMind X）

根據Google Deepmind 官方消息，正規數學推理模型 AlphaProof 和改進版幾何求解模型 AlphaGeometry 2共同解決了今年國際數學奧林匹克六道難題中的四道，首次達到了與銀牌獲得者相同的水準。

AlphaProof 通過確定答案並證明其正確性，解決了兩個代數問題和一個數論問題。

這其中包括比賽中最難的問題，在今年的 IMO 中只有五名選手解決了這一問題，AlphaGeometry 2 證明了幾何問題，而兩個組合問題仍未解決。

據悉，這兩個 AI 系統最終獲得了 28 分，每個問題都得到了滿分，相當於銀牌組的最高分。