deepseek发布6710亿参数能处理复杂的数学证明的Prover-V2推理模型
DeepSeek 在 2025 年 4 月 30 日发布了其最新的推理模型 DeepSeek-Prover-V2，该模型专注于数学定理证明和复杂逻辑推理。
模型版本与参数
DeepSeek-Prover-V2 提供了两个版本：
DeepSeek-Prover-V2-671B：参数量高达 6710 亿，是基于 DeepSeek-V3 架构训练的旗舰模型，推理性能最强。
DeepSeek-Prover-V2-7B：参数量为 70 亿，基于 DeepSeek-P...
点击查看剩余70%
{{collectdata}}
网友评论