DeepSeek Prover v2

Chat Completions

deepseek-prover-v2

Deepseek|Created Jun 1, 2025

Chat Completions

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.

Overview Specifications Activity Performance Uptime Examples

Pricing-50%

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

DeepSeek Prover v2

Input Tokens (1M)

Output Tokens (1M)

Input Modalities

DeepSeek Prover v2

Input Tokens (1M)

Output Tokens (1M)

Input Modalities

Output Modalities