首次击败人类数学天才 让高中生头疼的数学考试被DeepMind AI攻克了此外，去年 7 月，AlphaGeometry 也“联手”AlphaProof（一个基于强化学习的形式数学推理新系统），在当年 IMO 中首次达到了银牌获得者的水平。AlphaGeometry2 是 AlphaGeometry 的显著改进版本。它是一个 神经符号混合系统，其语言模型基于 Gemini， 并在比其前身多一个数量级的合成数据上从头开始训练。这帮助模型解决更具有挑战性的几何问题， 包括关于物体运动和角度、比例或距离的方程…