首次击败人类数学天才，高中生最难数学考试被DeepMind AI攻克了

文章预览

点击蓝字 关注我们 AI TIME欢迎每一位AI爱好者的加入！ 让人类高中生头疼的最难数学考试—— 国际数学奥林匹克竞赛（IMO）——被人工智能（AI）攻克了。 在一项近期公布的研究中， Google DeepMind  团队称他们的 几何解题系统 AlphaGeometry  解决了 84%（42/50）的几何难题，其表现 首次超过了 IMO 平均金牌得主 （40.9/50）的水平。 此外，去年 7 月，AlphaGeometry 也“联手”AlphaProof（一个基于强化学习的形式数学推理新系统），在当年 IMO 中首次达到了银牌获得者的水平。 AlphaGeometry2 是 AlphaGeometry 的显著改进版本。它是一个 神经符号混合系统，其语言模型基于 Gemini ， 并在比其前身多一个数量级的合成数据上从头开始训练。这帮助模型解决更具有挑战性的几何问题， 包括关于物体运动和角度、比例或距离的方程问题。 AlphaGeometry2 使用的符号引擎比其前身 ………………………………