技术博客

近日，全球最强大的开源定理证明器Goedel-Prover-V2正式发布，标志着AI在形式化证明领域取得又一重大突破。该证明器由十位华人核心成员联合开发，并汇集了八大顶尖机构的技术力量，凭借仅8亿参数的模型规模，成功击败了拥有671亿参数的DeepSeek-Prover，再次夺得数学PutnamBench竞赛冠军。这一成就不仅展示了Goedel-Prover-V2在数学推理方面的卓越能力，也凸显了华人团队在人工智能前沿技术领域的全球竞争力。