# Prover-V2

DeepSeek开源Prover-V2-671B，参数达6710亿专攻数学证明

4月30日，DeepSeek在Hugging Face发布DeepSeek-Prover-V2-671B，参数达6710亿，沿用DeepSeek-V3的MoE架构与FP8量化，支持超长上下文，面向复杂数学定理证明。