谷歌DeepMind突破AI数学推理上限

谷歌 DeepMind 团队近日宣布，他们研发的 AlphaProof 和 AlphaGeometry 2 模型已经成功解决了数学中的高级推理问题，达到了国际数学奥林匹克竞赛（IMO）银牌水平。这两个 AI 模型在解决今年的 IMO 6 道题目中取得了令人瞩目的成绩。

据悉，AlphaProof 是一款基于强化学习的全新数学形式推理系统，而 AlphaGeometry 2 是几何解题系统的升级版。通过将这两个模型相结合，DeepMind 团队成功地协作解决了今年 IM