Wesum AI

Goedel-Prover-V2-32B

模型

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

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

关系图谱

关系 (1)

竞争 (1)

OProver-8B

相关文章 (1)