DeepSeek-Prover-V2-7B

Parameters

7B

Published

Apr 30, 2025

DeepSeek-Prover-V2-7B 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 7,000,000,000 parameters.

Access: Open weights (restricted use). Its weights are openly available. It is built on top of DeepSeek-Prover-V1.5. 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: 7,000,000,000
Model accessibility: Open weights (restricted use)
Open weights: Yes
Base model: DeepSeek-Prover-V1.5
Epoch confidence: Confident