AlphaProof 與 AlphaGeometry 2 解出 IMO 競賽 4 題：首次達銀牌水平
研究團隊推出結合強化學習與形式化語言的 AlphaProof 以及 AlphaGeometry 2。兩者在 2024 年國際數學奧林匹克競賽中聯手解出 6 道題中的 4 道，拿到 28 分並達到銀牌線。這是 AI 系統首次在頂級數學競賽中取得銀牌成績。
研究團隊推出結合強化學習與形式化語言的 AlphaProof 以及 AlphaGeometry 2。兩者在 2024 年國際數學奧林匹克競賽中聯手解出 6 道題中的 4 道，拿到 28 分並達到銀牌線。這是 AI 系統首次在頂級數學競賽中取得銀牌成績。