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