全球十位数学天才

全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek 迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下...