ProverV

DeepSeek发布Prover-V2模型，高效架构与量化技术助力数学证明
架构ProverV技术DeepSeek量化
fjmyhfvclm1月前
390
DeepSeek发布新一代模型，参数量达6710亿
5月1日消息，DeepSeek于4月30日在AI开源社区HuggingFace上正式发布了一款名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671…
架构ProverV模式社区DeepSeek
fjmyhfvclm1月前
350
DeepSeek新数学模型刷爆记录！7B小模型自主发现671B模型不会的新技能
具体来说，在普特南测试中，参数量较小的DeepSeek-Prover-V2-7B用非CoT生成模式成功解决了13个671B模型未能解决的问题。在合成冷启动数据上对证明器模型进行微调后进行强化学习阶段，进一…
Lean数据ProverVDeepSeek定理
fjmyhfvclm1月前
400

DeepSeek发布Prover-V2模型，高效架构与量化技术助力数学证明