DeepSeek 4月30日发布新模型:DeepSeek-Prover-V2-671B 可进一步降低数学AI应用门槛,推动教育、科研领域的智能化升级
DeepSeek-Prover-V2-671B模型特点:一、超大参数规模与数学推理能力参数规模跃升模型参数量高达6710亿,是前代数学推理模型Prover-V1.5(70亿参数)的近100倍,表明其具备更强的复杂问题处理能力。前代Prover-V1.5在高中数学测试(miniF2F)中成功率达63.5%,大学级别测试(ProofNet)达25.3%,超越InternLM2-StepProver、L