AlphaProof Nexus

模型

Google DeepMind发布的融合LLM+AlphaProof+进化算法的数学证明系统

3 次提及7 个连接首次出现: 2026-05-25最近出现: 2026-07-05

关系图谱

关系 (7)

使用技术 (3)

Lean编译器进化算法 Lean 形式化验证

发布 (1)

Google DeepMind

使用 (1)

竞争 (1)

应用于 (1)

相关文章 (3)