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

Input Modalities

Text

Output Modalities

Text

Supported Parameters

Available parameters for API requests

Frequency PenaltyLogprobsMax Completion TokensPresence PenaltyResponse FormatStopTemperatureTool ChoiceToolsTop P