（取自DeepMind X）

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

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

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

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

本文為品玩授權刊登，原文標題為「谷歌旗下兩款大模型在國際數學奧林匹克競賽難題方面達到銀牌標準」