AI资讯新闻榜单内容搜索-Goedel-Pro

关键词: Ai新闻,AI数学,Goedel-Prover-V2,数学定理模型

迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。

关键词: AI新闻,模型训练,Goedel-Prover-V2,数学定理证明模型,AI数学

近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。