Princeton-led Team Releases the Most Powerful Open-Source Mathematical Theorem Proving Model: Goedel-Prover-V2

Princeton University, in collaboration with top institutions such as Tsinghua University, Peking University, and NVIDIA, has released a new generation open-source mathematical theorem proving model: Goedel-Prover-V2. The 32B flagship model significantly outperforms the previous state-of-the-art DeepSeek-Prover-V2-671B in automatic theorem proving benchmarks, while the smaller 8B model achieves comparable performance.