DeepMind的AlphaGeometry2 AI系统解决了2000-2024年IMO竞赛中84%的几何问题 超过金牌得主平均分

DeepMind最新推出的AlphaGeometry2 AI系统在国际数学奥林匹克竞赛（IMO）中取得了令人瞩目的成就。该系统成功解决了2000年至2024年间IMO竞赛中84%的几何问题，共计50道题目中的42道，这一成绩甚至超过了人类金牌得主的平均分40.9分。

AlphaGeometry2的核心在于其强大的符号推理引擎DDAR2、扩展的领域专用语言以及全新的搜索算法SKEST。相比上一代AlphaGeometry1，AlphaGeometry2通过扩展其领域专用语言，使其能够处理更复杂的几何问题，如线性方程和点/线/圆的移动。此外，新的符号推理引擎DDAR2在速度上有了显著提升，从Python改用C++实现后，计算速度提高了300倍。

值得一提的是，AlphaGeometry2在解决某些难题时表现尤为出色。例如，在2024年的IMO竞赛第四题中，AlphaGeometry2仅用了19秒就完成了证明。这道题目要求证明∠KIL和∠XPY的合等于180°，AlphaGeometry2通过巧妙构造辅助线和相似三角形，迅速找到了解题路径。另一道来自2009年IMO短名单的问题，AlphaGeometry2同样给出了优雅的证明，而此前这个问题仅有数值解。

AlphaGeometry2的成功不仅在于其技术上的突破，还在于它展示了AI在解决复杂数学问题方面的潜力。Nature杂志评价称，AlphaGeometry2达到了金牌得主的水平，与顶级人类选手相当。尽管目前AlphaGeometry2尚未开源，但它的出现无疑为未来的AI发展提供了新的方向。随着2025年IMO竞赛即将在澳大利亚举行，我们有理由期待更多类似的创新成果。