Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术，显著提升自动形式化证明生成的性能。模型包含两个参数版本：32B和8B。32B模型在MiniF2F基准测试中达到90.4%的Pass@32成绩，超越671B的。Goedel-Prover-V2 在PutnamBench和MathOlympiadBench基准测试中位居榜首，展现强大的定理证明能力。Goedel-Prover-V2的推出为AI在数学定理证明领域的研究提供新的里程碑。

Goedel-baidu09Prover-baidu09V2 – 普林斯顿联合清华等开源的定理证明模型 第1张
（图片来源网络，侵删）
Goedel-baidu09Prover-baidu09V2 – 普林斯顿联合清华等开源的定理证明模型 第2张
（图片来源网络，侵删）