全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
来自主题: AI资讯
5051 点击 2025-07-18 13:24
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT