谷歌 DeepMind 团队近日宣布,他们研发的 AlphaProof 和 AlphaGeometry 2 模型已经成功解决了数学中的高级推理问题,达到了国际数学奥林匹克竞赛(IMO)银牌水平。这两个 AI 模型在解决今年的 IMO 6 道题目中取得了令人瞩目的成绩。
据悉,AlphaProof 是一款基于强化学习的全新数学形式推理系统,而 AlphaGeometry 2 是几何解题系统的升级版。通过将这两个模型相结合,DeepMind 团队成功地协作解决了今年 IM
谷歌 DeepMind 团队近日宣布,他们研发的 AlphaProof 和 AlphaGeometry 2 模型已经成功解决了数学中的高级推理问题,达到了国际数学奥林匹克竞赛(IMO)银牌水平。这两个 AI 模型在解决今年的 IMO 6 道题目中取得了令人瞩目的成绩。
据悉,AlphaProof 是一款基于强化学习的全新数学形式推理系统,而 AlphaGeometry 2 是几何解题系统的升级版。通过将这两个模型相结合,DeepMind 团队成功地协作解决了今年 IM