Google DeepMind团队开发的AlphaGeometry2系统在国际数学奥林匹克竞赛(IMO)中解决了84%的几何难题，首次超过IMO平均金牌得主的表现。AlphaGeometry2是一个神经-符号混合系统，基于Gemini语言模型，并在大量合成数据上训练。相比前代AlphaGeometry，其求解速度提高了300倍，并能处理更复杂的几何问题。尽管如此，AlphaGeometry2仍存在局限性，未能解决涉及变量点个数、不等式及非线性方程的题目。伦敦帝国理工学院数学家Kevin Buzzard认为计算机有望在IMO竞赛中拿满分。相关研究论文已发布在arXiv上。