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.

    DeepSeek: DeepSeek Prover V2 – Uptime and Availability | OpenRouter