Google DeepMind团队开发的AlphaGeometry2系统在解决国际数学奥林匹克（IMO）几何难题方面取得了突破。该系统解决了84%的几何难题，首次超过IMO平均金牌得主的水平。AlphaGeometry2是一个神经符号混合系统，基于Gemini语言模型，能处理更复杂的几何问题，包括物体移动、线性方程和新几何谓词。相比前代AlphaGeometry，它在解题率、搜索算法和语言模型上均有改进，速度提升300倍。

AlphaGeometry2通过一种创新的知识共享机制，结合多个搜索树，提高了解决复杂问题的能力。伦敦帝国理工学院数学家Kevin Buzzard认为，计算机可能很快就能在IMO竞赛中拿满分。

尽管取得进展，AlphaGeometry2仍存在局限，比如无法处理不等式和非线性方程。未来改进方向包括增强这些能力和改进自动数学公式化技术。AlphaGeometry2表明，结合符号操作和神经网络可能是探索可泛化AI的一条有希望的道路。