DeepSeek Prover V2 (free) Check detailed information and pricing for AI models
Context Length 163,840 tokens, deepseek from provided
163,840
Context Tokens
Free
Prompt Price
Free
Output Price
9/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
free
Pricing Information
This model is free to use
Data Policy
Terms of Service
학습 정책
1
Supported Features
Supported (9)
Top K
Seed
Frequency Penalty
Presence Penalty
Repetition Penalty
Min P
Logit Bias
Logprobs
Top Logprobs
Unsupported (7)
Image Input
Response Format
Tool Usage
Structured Outputs
Reasoning
Web Search Options
Top A