7B参数比 Kimina 72B 版更强！DeepSeek 新模型将“自动化所有运算”？奥赛生实测能力“太棒”
整理｜华卫、核子可乐昨晚，DeepSeek 在 Hugging Face 上开源了一个新模型。这次他们发布的，是名为 DeepSeek-Prover-V2 的数学推理模型，提供 7B 和 671B 两种参数规模。开源项目链接：该模型专为在
8小时前00
整理｜华卫、核子可乐昨晚，DeepSeek 在 Hugging Face 上开源了一个新模型。这次他们发布的，是名为 DeepSeek-Prover-V2 的数学推理模型，提供 7B 和 671B 两种参数规模。开源项目链接：该模型专为在