DeepSeek-Prover-V2-671B 新模型开源发布
DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 使用了更高效的 从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。
截至发文，DeepSeek 官方暂未公布这个模型的性能介绍，开源地址如下：
DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 使用了更高效的 从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。
截至发文，DeepSeek 官方暂未公布这个模型的性能介绍，开源地址如下：
