# DeepSeek Prover V2: AI model fact sheet

- **Provider:** deepseek
- **Released:** 2025-04-30
- **Context window:** 163,840 tokens
- **Parameters:** 671B
- **API pricing:** $0.000 / 1M input, $0.000 / 1M output
- **OpenRouter ID:** deepseek/deepseek-prover-v2:free
- **Capabilities:** reasoning, analysis, conversation, code-generation

A 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5. Released on Hugging Face without an announcement or description.

## Benchmarks

| Benchmark | Score |
| --- | --- |
| MiniF2F-test | 88.9% |

Source: real side-by-side outputs, pricing and specs at https://rival.tips/models/deepseek-prover-v2