谷歌DeepMind开发的AI系统AlphaGeometry2在国际数学奥林匹克（IMO）几何问题解答上超越了金牌选手平均水平，解决了过去25年IMO的84%几何问题。AlphaGeometry2结合了谷歌Gemini家族的语言模型和符号引擎，通过预测构造和逻辑推理来推导解决方案。尽管AlphaGeometry2在IMO问题上表现出色，但仍存在局限性，如无法解决变量数量不定的点、非线性方程和不等式。DeepMind认为，解决复杂几何问题的新方法可能对提升AI能力、发展通用AI模型至关重要。