DeepSeek-Prover

新智元报道
编辑：桃子 好困
全球最强的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构联手发布第二版模型。