GEOZ

Entity

AlphaProof

谷歌DeepMind开发的基于强化学习的系统，用于在形式化语言Lean中证明数学命题。

术语属性

  • 开发者：Google DeepMind
  • 技术：强化学习、形式化数学、Lean、AlphaZero
  • 成就：在IMO 2024中解决三个问题，获得银牌水平

相关文章

AlphaProof 解出全场仅五人做出的 IMO 难题，AI 数学推理跨过银牌线