DeepSeek: DeepSeek Prover V2

DeepSeek

Text

Paid

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.

Parameters

Context Window

131,072

tokens

Input Price

$0.5

per 1M tokens

Output Price

$2.18

per 1M tokens

Capabilities

Model capabilities and supported modalities

Performance

Reasoning

Excellent reasoning capabilities with strong logical analysis

Math

Strong mathematical capabilities, handles complex calculations well

Coding

Knowledge

Modalities

Input Modalities

text

Output Modalities

text

Visit Official Website

LLM Price Calculator

Calculate the cost of using this model

Input Tokens (0.00000050/token)$0.000750

Output Tokens (0.00000218/token)$0.006540

Common Scenarios:

Input Cost:$0.000750

Output Cost:$0.006540

Total Cost:$0.007290

Estimated usage: 4,500 tokens

Monthly Cost Estimator

Based on different usage levels

Light Usage

$0.0268

~10 requests

Moderate Usage

$0.2680

~100 requests

Heavy Usage

$2.6800

~1000 requests

Enterprise

$26.8000

~10,000 requests

Note: Estimates based on current token count settings per request.

Last Updated: 2025/05/06