DeepSeek 发布 Prover V2：6710 亿参数 AI 模型，提升数学定理证明能力 

2025 年 4 月 30 日，DeepSeek 宣布推出其数学推理 AI 模型 Prover 的最新版本 Prover V2。该模型基于 DeepSeek 的 V3 架构，拥有 6710 亿参数，采用专家混合（Mixture-of-Experts, MoE）架构，旨在增强数学定理证明和复杂推理任务的能力 。 

Prover V2 及其精简版本已在 AI 开发平台 Hugging Face 上发布，供研究人员和开发者使用 。该模型通过将数学知识压缩为可生成和验证证明的格式，旨在辅助科研和教育领域的应用。此前推出的 V3 模型在数学和编程基准测试中表现出色，获得了全球 AI 社区的关注 。  

随着 Prover V2 的发布，DeepSeek 进一步巩固了其在 AI 数学推理领域的领先地位。