AlphaGeometry2 是谷歌 DeepMind 推出的先进的人工智能系统，专门用于解决国际数学奥林匹克竞赛（IMO）中的几何问题。结合了神经符号方法，将谷歌 系列的语言模型与符号引擎协同工作，通过神经网络预测几何构造并由符号引擎进行逻辑推理。AlphaGeometry2 在过去 25 年的 IMO 几何问题中取得了 84% 的解题率，超越了金牌得主的平均水平。 核心升级包括扩展的领域专用语言、更强大的符号推理引擎 DDAR2、全新的搜索算法 SKEST 以及更强大的语言模型。能处理更复杂的几何问题，包括涉及物体运动和角度方程的问题。AlphaGeometry2 的训练数据由 DeepMind 自行生成，包含超过 3 亿个不同复杂度的定理和证明。

AlphaGeometry2 – 谷歌 DeepMind 推出解决复杂几何问题的AI系统 第1张
（图片来源网络，侵删）