全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
全球最强的开源「定理证明器」诞生了！
19
0
2025-09-01
