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 Prover V2 - API Pricing & Providers | OpenRouter
Recent activity on DeepSeek Prover V2
Total usage per day on OpenRouter
Prompt
8.63M
Completion
2.59M
Prompt tokens measure input size. Reasoning tokens show internal thinking before a response. Completion tokens reflect total output length.