整理｜华卫、核子可乐昨晚，DeepSeek 在 Hugging Face 上开源了一个新模型。这次他们发布的，是名为 DeepSeek-Prover-V2 的数学推理模型，提供 7B 和 671B 两种参数规模。开源项目链接：该模型专为在