谷歌DeepMind开发的AI系统AlphaGeometry2在国际数学奥林匹克(IMO)几何问题解答方面表现出色,超越了金牌选手的平均水平,成功解决了过去25年IMO中84%的几何问题。该系统结合了谷歌Gemini家族的语言模型和符号引擎,通过预测构造和逻辑推理来推导解决方案。然而,AlphaGeometry2在处理变量数量不定的点、非线性方程和不等式等方面仍存在局限性。DeepMind认为,这一突破性的进展对于提升AI能力、推动通用AI模型的发展具有重要意义。AlphaGeometry2的成功展示了AI在解决复杂几何问题方面的潜力,为未来的研究和应用提供了新的方向。