DeepSeek Prover V2 Check detailed information and pricing for AI models
Context Length 163,840 tokens, deepseek from provided
163,840
Context Tokens
$0.50
Prompt Price
$2.18
Output Price
7/16
Feature Support
Model Overview
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
Basic Information
Developer
deepseek
Model Series
DeepSeek
Release Date
2025-04-30
Context Length
163,840 tokens
Variant
standard
Pricing Information
Prompt Tokens
$0.50 / 1M tokens
Completion Tokens
$2.18 / 1M tokens
Data Policy
Supported Features
Supported (7)
Top K
Seed
Frequency Penalty
Presence Penalty
Repetition Penalty
Response Format
Min P
Unsupported (9)
Image Input
Logit Bias
Tool Usage
Logprobs
Top Logprobs
Structured Outputs
Reasoning
Web Search Options
Top A
Other Variants
Actual Usage Statistics
#181
Out of 353 total models
814.10M
Total Tokens Last 30 Days
27.14M
Daily Average Usage
37%
Weekly Usage Change