清华、普林斯顿等联合推出数学定理证明模型Goedel-Prover-V2：在自动形式化数学证明生成领域树立了新的技术标杆近日，由普林斯顿大学语言与智能实验室、清华大学、英伟达、斯坦福大学、Meta FAIR、亚马逊、上海交通大学和北京大学联合研发的 Goedel-Prover-V2 正式发布。这是一系列开源语言模型，在...大语言模型# Goedel-Prover-V2# 数学定理证明模型5个月前01760
