![](https://i-blog.csdnimg.cn/direct/82fa439dec374a90afac91786a3d8489.png)
开发了两个突破性模型,专门用于解决数学中的高级推理问题:
- AlphaProof: 全新数学推理 AI 系统 一种基于强化学习的系统,它使用一种名为 Lean 的形式化语言来证明数学陈述。它结合了预训练的语言模型和 AlphaZero 算法,后者曾自学掌握了国际象棋、将棋和围棋。
- AlphaGeometry 2: 专业解决几何问题 基于 Gemini 大模型,并在比前一代更多的数据上进行了训练。能够解决更复杂的几何问题,包括物体运动和角度、比例或距离的方程。
这两模型首次解决了今年 IMO 的六个问题中的四个,达到了银牌水平。