谷

AlphaProof

结合强化学习与 Lean 形式化语言的形式化数学证明系统。

谷歌 DeepMind· 2024-07-25 发布 ·语言模型 ·闭源 ·AlphaProof 系列

谷歌 DeepMind 于 2024-07-25 公布形式化数学竞赛推理系统 AlphaProof。

关键参数

数学推理水平: IMO 银牌等效
无幻觉验证: 形式化验证

来源

官方公告 ↗公布形式化数学竞赛推理系统 AlphaProof ↗

谷歌 DeepMind 的其他模型

Gemini 4 Carbon2026-10-28 Genie 42026-10-27 EmbeddingGemma 22026-10-06 Nano Banana 2.12026-10-06 Gemini 4 Argon2026-09-30 Gemini 3.8 Flash-Lite TTS2026-09-22