DeepSeek: DeepSeek Prover V2

deepseek/deepseek-prover-v2

Created Apr 30, 2025131,072 context
$0.50/M input tokens$2.18/M output tokens

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

Uptime stats for DeepSeek Prover V2

Uptime stats for DeepSeek Prover V2 across all providers

    DeepSeek: DeepSeek Prover V2 – Uptime and Availability | OpenRouter