DeepSeek Prover v2

deepseek-prover-v2
by deepseek|Created Jun 1, 2025

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5, but released without an official announcement or detailed documentation.

Pricing

Pay-as-you-go rates for this model. More details can be found here.

Input Tokens (1M)

$0.35

Output Tokens (1M)

$1.25

Capabilities

Input Modalities

Text

Output Modalities

Text

Usage Analytics

Token usage across the last 30 active days

Throughput

Time-To-First-Token (TTFT)