银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限

谷歌 DeepMind 团队的 AlphaProof（基于强化学习的数学形式推理系统）和改进版几何解题系统 AlphaGeometry 2 相结合，解决了今年国际数学奥林匹克竞赛 6 道题中的 4 道，首次获得银牌标准的成绩。该成绩由团队专家蒂莫西·高尔斯教授和约瑟夫 – 迈尔斯博士按 IMO 评分规则评定，AI 先将题目翻译为可理解语言，AlphaProof 解决了代数和数论问题，AlphaGeometry 2 证明了几何问题，系统最终获 28 分，处于银牌组最高分。