IXThinker·2025-07-19 09:00

最強開源定理證明器問世 8B擊敗671B模型

全球最強開源定理證明器Goedel-Prover-V2誕生：由普林斯頓、清華、英偉達、斯坦福等八大頂尖機構聯手打造，十位核心貢獻者參與，僅以8B參數擊敗671B的DeepSeek-Prover，再奪PutnamBench冠軍。

以小勝大

Goedel-Prover-V2僅用8B參數，便擊敗了規模高達671B的DeepSeek-Prover，並再次奪下數學PutnamBench冠軍，以小模型改寫了定理證明領域的強弱格局。