Wesum AI

DeepSeek-Prover-V2

模型

671B参数量的数学定理证明模型，在评测中被OProver-32B超越

1 次提及1 个连接首次出现: 2026-06-09最近出现: 2026-06-09

关系图谱

关系 (1)

竞争 (1)

OProver-32B

相关文章 (1)