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