谷歌AI拿下IMO奥数银牌！6道题轻松解出4道～

本周四，谷歌DeepMind团队宣布了一项令人瞩目的成就：：用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。这一成绩不仅标志着人工智能在数学推理领域的重大突破，也引发了全球范围内的广泛关注和讨论。

今年IMO竞赛共有六道赛题，涉及代数、组合学、几何和数论等多个领域，难度极高。谷歌的混合AI系统——AlphaProof和AlphaGeometry 2共同应对了这一挑战，成功解答了四道题目，并获得满分，总分为28分，达到了银牌水平。

AlphaProof是DeepMind团队新推出的基于强化学习的形式数学推理系统。该系统结合了预训练的语言模型和AlphaZero强化学习算法，能够在形式化语言Lean中证明数学命题。AlphaProof的独特之处在于其自训练机制，通过不断生成和验证候选解决方案，逐步强化自身的语言模型，提高解决更具挑战性问题的能力。在比赛前几周内，AlphaProof已经通过数百万个IMO级别题目的训练，形成了强大的解题能力。

另一方面，AlphaGeometry 2则是DeepMind几何求解系统AlphaGeometry的改进版本。作为一个神经-符号混合系统，AlphaGeometry 2在比其前身多一个数量级的合成数据上进行了从头训练，并采用了比前代快两个数量级的符号引擎。这使得它能够解决更高难度的几何问题，包括涉及物体运动、角度、比例和距离方程等复杂问题。在IMO 2024中，AlphaGeometry 2更是以惊人的速度，在19秒内解决了第四道几何题，展示了其卓越的性能。

此次比赛中，AlphaProof和AlphaGeometry 2的协同作战令人印象深刻。首先，问题被手动翻译成正式的数学语言，以便系统理解。随后，AlphaProof通过确定答案并证明其正确性，成功解决了两道代数题和一道数论题，其中包括本次竞赛中最难的问题，仅有五名人类参赛者解答出来。而AlphaGeometry 2则专攻几何问题，同样取得了满分。