谷歌 AI：国际数学奥林匹克银牌水平

 开发了两个突破性模型，专门用于解决数学中的高级推理问题：

• AlphaProof: 全新数学推理 AI 系统 一种基于强化学习的系统，它使用一种名为 Lean 的形式化语言来证明数学陈述。它结合了预训练的语言模型和 AlphaZero 算法，后者曾自学掌握了国际象棋、将棋和围棋。
• AlphaGeometry 2: 专业解决几何问题 基于 Gemini 大模型，并在比前一代更多的数据上进行了训练。能够解决更复杂的几何问题，包括物体运动和角度、比例或距离的方程。

这两模型首次解决了今年 IMO 的六个问题中的四个，达到了银牌水平。