谷歌DeepMind研发的AI系统AlphaGeometry2在解决国际数学奥林匹克竞赛（IMO）几何问题上取得突破，能解答过去25年IMO中84%的几何难题，表现甚至超过平均金牌得主。该系统结合了语言模型和‘符号引擎’，并利用合成数据进行训练。AlphaGeometry2在45个IMO几何问题中解决了42个，得分超过平均金牌得主。然而，它仍面临挑战，在涉及可变数量点、非线性方程和不等式的问题上存在局限。DeepMind认为，掌握这类技能对实现更强大的人工智能至关重要。

谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛中表现出色，分别做出了4道和1道题目，总得分接近金牌水平。AlphaProof在代数和数论领域表现出色，AlphaGeometry 2在几何领域展现出了惊人的速度，仅用19秒就解答了其中一道难题。这两款AI系统通过强化学习和自然语言处理技术，成功跨越了传统AI在数学推理上的局限，实现了对复杂数学问题的解答。在比赛中，AI的解题过程展示了其逻辑推理和证明能力，甚至在某些方面超过了人类选手。然而，AI在处理常识问题时仍存在不足，比如在判断9.11和9.9的大小时出现错误。这一成就标志着AI在数学领域的重大突破，预示着人工智能在解决复杂问题和扩展人类知识边界方面的潜力。

【谷歌AI在IMO中大显身手，仅差一分即夺金牌】《科创板日报》26日讯，全球瞩目的国际数学奥林匹克竞赛(IMO)落下帷幕，谷歌旗下的DeepMind人工智能系统表现出色，以28分的成绩摘得银牌，距离金牌仅一步之遥。在此次竞赛中，共有609名选手参与，最终仅有58人荣获金牌。谷歌AI系统的表现令人瞩目，其数学能力已达到近乎顶尖的水平，展现出强大的学习和解决复杂问题的能力。随着AI技术的不断进步，未来AI在学术领域甚至更广泛的领域内，将发挥越来越重要的作用。

在解答国际数学奥林匹克竞赛难题上，谷歌的DeepMind团队取得了突破性成就。通过结合AlphaProof和AlphaGeometry 2两个基于强化学习的AI模型，团队成功解答了今年IMO中的6道题目中的4道，达到了银牌得主的评价标准。参与评分的是著名数学家蒂莫西·高尔斯教授和两届IMO金牌得主约瑟夫-迈尔斯博士。AlphaProof解决了两个代数问题和一个数论问题，其中数论问题是最难的，仅有5名选手解答成功。AlphaGeometry 2则专注于几何问题解答。按照IMO规则，DeepMind系统最终获得28分，相当于银牌组的最高分。值得注意的是，2024年IMO的金奖门槛为29分，共有58名选手获奖。此次AI在数学领域的表现，展示了其在复杂逻辑推理任务上的潜力。