32B小模型吊打671B巨无霸？普林斯顿清华联手扔出AI数学界”王炸”！ 2025年7月24日14时 作者 小兵的AI视界 明方面取得了显著进展。 Goedel-Prover-V2 是由普林斯顿大学、清华大学、英伟达等顶尖机
