DeepSeek-Prover-V2-671B

Parameters

671B

Published

Apr 30, 2025

DeepSeek-Prover-V2-671B is an AI model developed by DeepSeek (China), first published in April 2025. It works in the language domain, on tasks such as language modeling/generation, question answering, quantitative reasoning and mathematical reasoning.

Epoch AI has no training-compute estimate for this model. The model has 671,000,000,000 parameters.

Access: Open weights (restricted use). Its weights are openly available. It is built on top of DeepSeek-V3. Epoch AI rates the confidence of this record as confident.

Full record

Organization: DeepSeek
Country of organization: China
Domain: Language
Task: Language modeling/generation, Question answering, Quantitative reasoning, Mathematical reasoning
Parameters: 671,000,000,000
Model accessibility: Open weights (restricted use)
Open weights: Yes
Base model: DeepSeek-V3
Epoch confidence: Confident