新一代开源数学定理证明模型Goedel-Prover-V2发布，性能超越前代SOTA 普林斯顿大学牵头研发的Goedel-Prover-V2开源数学定理证明模型在多个基准测试中超越前代SOTA，32B参数版本性能提升显著，为数学教育及科研验证提供新工具。 AI新闻资讯# AI# Goedel-Prover-V2# 开源模型 2天前
