登录之后可以开启更多功能哦
美团开源560B参数MoE定理证明模型 美团LongCat团队开源了LongCat-Flash-Prover模型。这是一个拥有5600亿参数的混合专家模型，专门用于形式化定理证明语言Lean4的数学推
