Wesum AI

DeepMind AlphaProof

模型

AlphaProof，Google DeepMind 的数学推理模型，结合 Gemini 与强化学习解决国际数学奥林匹克（IMO）级别的证明题

1 次提及2 个连接首次出现: 2026-03-31最近出现: 2026-03-31

关系图谱

关系 (2)

发布 (1)

Google DeepMind

使用技术 (1)

Lean

相关文章 (1)