AlphaGeometry 2
谷歌DeepMind推出的AI系统
条目
AlphaGeometry 2是一个神经符号混合系统，其语言模型基于Gemini，并在比其前身多一个数量级的合成数据上从头开始训练。[2]AlphaGeometry 2结合了语言模型（Neural）和符号推理引擎（Symbolic），采用一种混合推理方法（neuro-symbolic approach）来解决几何问题。[1][2]在AlphaGeometry2中，Gemini模型协助符号引擎，后者利用数学规则推导问题的解决方案，并为给定的几何定理提供可行的证明，DeepMind为AlphaGeometry2的 语言模型创建了自身的合成数据，生成了超过3亿个不同复杂度的定理和证明。[1]
2025年1月，AlphaGeometry 2发布。同年2月，DeepMind研究人员在一项新发表的研究中，AlphaGeometry2可以解决2000年至2024年国际数学奥林匹克竞赛中所有几何问题的84%。[1]
发展历程
2024年7月，DeepMind用一个AlphaGeometry2与AlphaProof（一种用于形式化数学推理的AI模型）相结合的系统，成功解决了2024年国际数学奥林匹克竞赛中的6个问题中的4个问题。[1][3]