里程碑！谷歌新的AI模型在国际奥数IMO方面达到银牌水平

文章预览

具有高级数学推理能力的通用人工智能有可能开辟科学技术的新领域。 ‍ ‍ ‍ ‍ ‍ ‍ 来源 | 多知 作者|Penny  前一段时间，部分大模型连9.11和9.9谁大都分不清，而今，高级数学推理问题被破解了！ 7月25日，谷歌DeepMind团队发文宣布，推出基于强化学习的新型形式数学推理系统 AlphaProof，以及几何求解系统的改进版本 AlphaGeometry 2。这两个系统共同解决了今年国际数学奥林匹克(IMO) 六道题目中的四道，首次在竞赛中取得与银牌得主同等的成绩。 谷歌DeepMind团队认为，具有高级数学推理能力的通用人工智能（AGI）有可能开辟科学技术的新领域。 “这是机器学习和人工智能领域的一大进步，”参与该项目的谷歌 DeepMind 研究副总裁 Pushmeet Kohli 表示。“迄今为止，还没有开发出能够以如此高的成功率和如此普遍性解决问题的系统。”  作为 IMO 工作的一 ………………………………