AlphaProof 与 AlphaGeometry 2 解出 IMO 竞赛 4 题：首次达银牌水平
研究团队推出结合强化学习与形式化语言的 AlphaProof 以及 AlphaGeometry 2。两者在 2024 年国际数学奥林匹克竞赛中联手解出 6 道题中的 4 道，拿到 28 分并达到银牌线。这是 AI 系统首次在顶级数学竞赛中取得银牌成绩。
研究团队推出结合强化学习与形式化语言的 AlphaProof 以及 AlphaGeometry 2。两者在 2024 年国际数学奥林匹克竞赛中联手解出 6 道题中的 4 道，拿到 28 分并达到银牌线。这是 AI 系统首次在顶级数学竞赛中取得银牌成绩。