DeepSeek 开源数学模型 Prover-V2-671B

2025 年 4 月 30 日

DeepSeek 在 Hugging Face 发布新模型 DeepSeek-Prover-V2-671B，采用高效 safetensors 文件格式，支持多种计算精度（BF16、FP8、F32 等），提升训练和部署效率并节省资源。

DeepSeek 发布新模型 DeepSeek-Prover-V2-671B

爱范儿

DeepSeek 推出 6710 亿参数 Prover-V2-671B 模型，升级架构支持高效训练

ITBear 科技资讯

DeepSeek 开源新模型，但不是 R2

凤凰科技

展开全部报道

专业版功能

登录

体验专业版特色功能，拓展更丰富、更全面的相关内容。