DeepMind 新突破：AI 攻破国际数学奥林匹克，斩获银牌

文章预览

前言 具有高级数学推理能力的通用人工智能（AGI）有望在科学和技术领域开辟新的前沿。当前的 AI 系统由于推理技能和训练数据的局限性，在解决一般数学问题时仍存在困难。 就在昨天，Google DeepMind 的 AlphaProof 和 AlphaGeometry 团队推出了一个基于强化学习的形式数学推理新系统 AlphaProof，以及几何解题系统的改进版本 AlphaGeometry 2。 这两个系统共同解决了今年国际数学奥林匹克竞赛（IMO）六个问题中的四个，首次达到银牌获得者的水平。 解决复杂数学问题的 AI 性能取得突破 近年来，IMO 年度竞赛被广泛认为是机器学习的一大挑战，也是衡量 AI 系统高级数学推理能力的理想基准。 今年，Google DeepMind 将其联合 AI 系统应用于 IMO 组织者提供的问题。他们的解决方案根据 IMO 的评分规则进行了评分，评分者包括著名的数学家、IMO 金牌得主和菲尔兹奖得主 ………………………………