AlphaGeometry2 超过平均 IMO 金牌选手水平，把可机检几何推理扩展到更广问题类型

Google DeepMind 等发布 AlphaGeometry2。系统将可覆盖的 IMO 几何题比例从 66% 提高到 88%，并在 2000–2024 年几何题集合上解决 84%，高于平均金牌选手水平。相比第一代 AlphaGeometry，AG2 扩展到对象移动、角度/比例/距离线性方程与非构造型问题，并通过更快 symbolic engine、Gemini-based language model 与多搜索树知识共享提升求解能力。