Model Tracker
DeepSeek-Prover-V2
DeepSeek-Prover-V2 is an AI model made by DeepSeek AI. It is generally available. Its weights are open. Its licence is DeepSeek License Agreement.
- Released
- Not confirmed: The paper page dates the paper, but the maker's pages reviewed do not explicitly date the model's first availability.
- Status
- Generally available — github.com, read 16 October 2026
- Takes
- Not confirmed: two readings disagree: text, code and text
- Returns
- Not confirmed: two readings disagree: text, code and text
- Open weights
- Yes — github.com, read 16 October 2026
- Licence
- DeepSeek License Agreement — github.com, read 16 October 2026
- Context window
- Not confirmed: The maker states an extended context length of up to 32K tokens for the 7B variant, but does not state one standard context-window figure for the two-variant model family.
- Longest answer
- Not confirmed: The maker's example uses max_new_tokens=8192 as a generation argument, but does not state that as the model's standard maximum output limit.
- Knowledge cutoff
- Not confirmed: The maker's model pages and paper reviewed do not print a knowledge-cutoff date.
- API price, input
- Not confirmed: The maker's API pricing page does not list DeepSeek-Prover-V2 or an input price for it.
- API price, output
- Not confirmed: The maker's API pricing page does not list DeepSeek-Prover-V2 or an output price for it.
- Where
- Downloadable weights — github.com, read 16 October 2026
- Parameters
- Not confirmed: The maker describes two variants, 7B and 671B parameters; the register field accepts only one number, so a single family-level value cannot be confirmed.
- Model card
- Not confirmed: two readings disagree: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B and https://github.com/deepseek-ai/DeepSeek-Prover-V2/blob/main/README.md
Questions
Is DeepSeek-Prover-V2 still available?
Yes: it is generally available, as DeepSeek AI states it.
Are the weights of DeepSeek-Prover-V2 open?
Yes: DeepSeek AI publishes the weights of DeepSeek-Prover-V2 for download.
What is the licence of DeepSeek-Prover-V2?
The licence of DeepSeek-Prover-V2 is DeepSeek License Agreement, as DeepSeek AI names 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
- DeepSeek-Prover-V1.5
- 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
- DeepSeek-Prover-V2 (read 16 October 2026)
- LICENSE-MODEL (read 16 October 2026)
- deepseek-ai/DeepSeek-Prover-V2-671B (read 16 October 2026)
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition (read 16 October 2026)
- Models & Pricing (read 16 October 2026)