DeepSeek-Prover-V1.5

Parameters

7B

Published

Aug 15, 2024

DeepSeek-Prover-V1.5 is an AI model developed by DeepSeek (China), first published in August 2024. It works in the language domain, on tasks such as quantitative 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 DeepSeekMath 7B. Epoch AI rates the confidence of this record as confident.

Full record

Organization: DeepSeek
Country of organization: China
Domain: Language
Task: Quantitative reasoning
Parameters: 7,000,000,000
Model accessibility: Open weights (restricted use)
Open weights: Yes
Base model: DeepSeekMath 7B
Epoch confidence: Confident