谷歌AI解决IMO中84%的几何问题，未做对一道。Nature报道：AI超越金牌得主平均水平。

谷歌DeepMind的数学AI解决了2000至2024年IMO竞赛中84%的几何问题。AlphaGeometry2论文发布，50道题中完成42道，比去年多15道。相比之下，纯语言模型OpenAI o1和Gemini Flash Thinking一道未解决。

例如，2024年竞赛中的第四题，AlphaGeometry2仅需19秒。该题要求证明两角之和为180°，AlphaGeometry2通过构造辅助线和相似三角形完成证明。

AlphaGeometry2的四大升级包括：扩展版的领域专用语言、升级版的符号推理引擎DDAR2、全新搜索算法SKEST和更强大的语言模型Gemini。这些改进使覆盖率从66%提升至88%，但仍无法解决3D几何、不等式和非线性方程等问题。

AlphaGeometry2的核心组件DDAR2经过优化，时间复杂度降低，实现速度提升。搜索算法SKEST则通过知识共享机制提高了效率。此外，Gemini语言模型通过多模态训练提升了能力，但视觉信息对解题影响不大。

2023年AIMO竞赛设立500万美元奖金，要求开源。尽管AlphaGeometry2具备金牌能力，但它并未开源。2025年IMO竞赛将于澳大利亚举行。