Prover

【新智元导读】就在刚刚，DeepSeek-Prover-V2技术报告也来了!34页论文揭秘了模型的训练核心——递归强化学习，让数学推理大提升。有人盛赞:DeepSeek已找到通往AGI的正确路径!就在刚刚，DeepSeek-Prover-V2正式发布。此次DeepSeek-Prover-V2提供了两种模型尺寸:7B和671B参数。