You want to favourite this post:
五一假期前，DeepSeek 发新模型了！
DeepSeek 刚刚在 HuggingFace 上传了新模型：DeepSeek-Prover-V2-671B。
模型下载：huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
该模型是 DeepSeek-Prover-V1.5 的升级版，专注于数学证明领域，此次从 V1.5 仅仅只有 7B 参数的小模型，直接升级到 671B 参数。
相信能力将会有大幅提升，静等待 DeepSeek 官方发公告。
