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