DeepMind 新 AI 系统超越国际数学奥林匹克金牌选手

2 月 8 日，DeepMind AlphaGeometry 项目负责人 Thang Luong 宣布，DeepMind 新 AI 系统 AlphaGeometry2（AG2）在国际数学奥林匹克（IMO）几何问题解答上超越了金牌选手的平均水平。

研究显示，AlphaGeometry2 能够解决过去 25 年 IMO 竞赛中 84% 的几何题目。在具体测试中，AlphaGeometry2 在 50 道 IMO 历年试题中成功解答了 42 道，超过了平均金牌得主 40.9 的成绩。

AlphaGeometry2 采用了混合架构设计，结合了 Gemini 系列 AI 模型的语言能力和专门的「符号引擎」，能够通过预测和添加必要的几何构造（如点、线、圆），并结合数学规则进行逻辑推理，最终找到问题的解决方案。此外，由于训练数据匮乏，研究团队特别生成了超过 3 亿个不同复杂程度的定理和证明来训练系统。

不过，该系统仍存在一些局限性，例如无法处理包含变量点数、非线性方程和不等式的问题。在另一组 29 道更具挑战性的未使用 IMO 备选题中，AlphaGeometry2 仅解决了 20 道。

文章来源：爱范儿     作者：柯 铭源