热点
"Goedel-Prover-V2" 相关文章
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
智源社区 2025-07-19T01:09:50.000000Z
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
掘金 人工智能 2025-07-18T03:08:08.000000Z
8B 模型吊打 671B？数学证明界“卷王”Goedel-Prover-V2 来了！
掘金 人工智能 2025-07-17T13:48:57.000000Z
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
机器之心 2025-07-17T10:54:31.000000Z