Wesum AI

AlphaProof Nexus

模型

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

2 次提及6 个连接首次出现: 2026-05-25最近出现: 2026-05-27

关系图谱

关系 (5)

使用技术 (2)

Lean编译器进化算法

发布 (1)

Google DeepMind

使用 (1)

Gemini 3.1 Pro

竞争 (1)

Claude Mythos

相关文章 (2)