近日，谷歌 DeepMind 开发的一款 AI 系统 ——AlphaGeometry2，成功超越了国际数学奥林匹克（IMO）金牌选手的平均水平，在几何问题解答上表现优异。AlphaGeometry2是 DeepMind 在去年发布的 AlphaGeometry 系统的升级版，研究团队在最新的研究中指出，该系统能解决过去25年间 IMO 的84% 几何问题。那么，为什么 DeepMind 会关注这样一个高中的数学竞赛呢?研究人员认为，解决复杂几何问题的新方法可能是提升 AI 能力的关键，尤其是在欧几里得几何方面。证明数学定理需要推理能力和选择合适解决步骤的能力

谷歌 DeepMind 研究实验室最新推出的 AI 系统 AlphaGeometry2，在解决几何问题方面表现出色，超越了国际数学奥林匹克（IMO）比赛中的平均金牌得主。该系统被认为是 AlphaGeometry 的改进版本，研究人员表示，AlphaGeometry2能够解决过去25年 IMO 中84% 的几何问题。为什么 DeepMind 会关注这样的高中数学竞赛呢?他们认为，寻找解决复杂几何问题的新方法，特别是欧几里得几何，可能是提升 AI 能力的关键。证明数学定理或解释定理（如勾股定理）为何成立，需要逻辑推理和选择多个可能步骤的能力。如果

谷歌DeepMind的AI系统AlphaProof和AlphaGeometry2在国际数学奥林匹克竞赛中取得显著成绩，夺得银牌，表现出在数学问题解决上的惊人能力。AlphaGeometry2在19秒内解决几何难题，速度和准确性超越顶尖人类数学家。这一成就受到数学界传奇人物的高度评价，认为拓宽了AI在数学领域的应用边界。陶哲轩指出，AI的进步将有助于数学研究的自动化和形式化，而罗博深则认为这将对教育方法提出挑战，需要适应AI时代的需求，学会解决新问题。AlphaProof和AlphaGeometry2的成功，不仅是技术突破，也启示了数学研究和教育的未来变革。

​谷歌DeepMind的数学人工智能模型在今年的国际数学奥林匹克（IMO）比赛中取得了突破性进展。据官方消息，正规数学推理模型AlphaProof和改进版几何求解模型AlphaGeometry2共同攻克了本届IMO六道难题中的四道，首次达到了与人类银牌获得者相当的水平。

在刚刚结束的国际数学奥林匹克竞赛中，谷歌DeepMind的AI系统AlphaProof和AlphaGeometry2展现了惊人的解题能力，仅以一分之差未能夺冠，却在速度和准确度上超越了人类选手。AI系统在4道题上满分，并在一道题上以19秒的惊人速度解出，其解题过程符合数学竞赛标准，严谨且清晰。这次竞赛不仅展示了AI在数学领域的强大潜力，还能快速解决复杂问题，提出创新思路，甚至在某些难题上超越人类。AI在专业领域的表现，标志着其在通向人工通用智能的关键路径上取得了重要进展。虽然在常识问题上仍存在不足，但Alpha系统在数学竞赛中的表现已让人类难以望其项背，未来AI在数学领域的潜力令人期待。