Model Tracker

DeepSeek-Prover-V1

DeepSeek-Prover-V1 is an AI model made by DeepSeek AI. It is generally available. Its weights are open. Its licence is DEEPSEEK LICENSE AGREEMENT.

DeepSeek AI

Released

Not confirmed: two readings disagree: 2024-08-16 and 2024-05

Status

Generally available — huggingface.co, read 16 October 2026

Takes

Text, Code — arxiv.org, read 16 October 2026

Returns

Not confirmed: two readings disagree: code and text, code

Open weights

Yes — huggingface.co, read 16 October 2026

Licence

DEEPSEEK LICENSE AGREEMENT — huggingface.co, read 16 October 2026

Context window

Not confirmed: The maker's model card and paper do not state the standard context-window limit.

Longest answer

Not confirmed: The maker's model card and paper do not state a standard maximum output-token limit.

Knowledge cutoff

Not confirmed: The maker's checked pages do not state a knowledge-cutoff date for this model.

API price, input

Not confirmed: The maker's checked pages provide no standard API input-token price for this model.

API price, output

Not confirmed: The maker's checked pages provide no standard API output-token price for this model.

Where

Downloadable weights — huggingface.co, read 16 October 2026

Parameters

7,000,000,000 — arxiv.org, read 16 October 2026

Model card

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1 — huggingface.co, read 16 October 2026

Questions

Is DeepSeek-Prover-V1 still available?

Yes: it is generally available, as DeepSeek AI states it.

Are the weights of DeepSeek-Prover-V1 open?

Yes: DeepSeek AI publishes the weights of DeepSeek-Prover-V1 for download.

What is the licence of DeepSeek-Prover-V1?

The licence of DeepSeek-Prover-V1 is DEEPSEEK LICENSE AGREEMENT, as DeepSeek AI names it.

How many parameters does DeepSeek-Prover-V1 have?

DeepSeek-Prover-V1 has 7,000,000,000 parameters, as DeepSeek AI publishes it.

More from DeepSeek AI

• DeepSeek Coder
• DeepSeek LLM
• DeepSeek V4 Pro
• DeepSeek-Coder-V2
• DeepSeek-Coder-V2-Lite
• DeepSeek-Math-V2
• DeepSeek-OCR
• DeepSeek-OCR2
• DeepSeek-Prover-V1.5
• DeepSeek-Prover-V2
• DeepSeek-R1
• DeepSeek-V2
• DeepSeek-V2-Lite
• DeepSeek-V2.5
• DeepSeek-V3
• DeepSeek-V3.1
• DeepSeek-V3.1-Terminus
• DeepSeek-V3.2-Exp
• DeepSeek-V4-Flash
• DeepSeek-V4-Flash-Vision-Exp
• DeepSeek-V4.1-Flash
• DeepSeek-VL
• DeepSeek-VL2
• DeepSeek-VL2-Small

Sources

1. deepseek-ai/DeepSeek-Prover-V1 · Hugging Face (read 16 October 2026)
2. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data (read 16 October 2026)
3. Commits · deepseek-ai/DeepSeek-Prover-V1 (read 16 October 2026)
4. LICENSE-MODEL · deepseek-ai/DeepSeek-Prover-V1 (read 16 October 2026)
5. deepseek-ai/DeepSeek-Prover-V1 at main (read 16 October 2026)

All of the Model Tracker