DeepSeek Prover V2 671B
DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3.
text → text · made by DeepSeek
$0.5→$2.18per Mtok in / out
DeepInfra · 3 sellers
Sold by 3 ways
| Seller | Lane | Rate |
|---|---|---|
| DeepInfra aggregator | standard | $0.5per Mtok in$2.18per Mtok outapi.deepinfra.com · read 2026-08-25 |
| Novita AI aggregator | standard | $0.7per Mtok in$2.5per Mtok outapi.novita.ai · read 2026-08-25 |
| PPIO aggregator | standard | $4per Mtok in$16per Mtok outapi.ppinfra.com · read 2026-09-10 |
About
DeepSeek Prover V2 671B — a text model from DeepSeek, sold by 3 companies from $0.5 in and $2.18 out per million tokens.
It takes text and returns text, with a context window of 163,840 tokens. It was published in April 2025. The catalogue files it under chat. Three companies sell it. The cheapest is $0.5 in and $2.18 out per million tokens at DeepInfra.
Every current figure
- Maker
- DeepSeek
- Register
- model
- Takes
- text
- Returns
- text
- Context
- 163,840 tokens
- Longest answer
- 160,000 tokens
- Published
- April 2025
- Parameters
- 671 billion · read from its own name
- Licence
- not read
- Sellers
- 3
- Maker's own price
- not read
- Price
- $0.5 in and $2.18 out per million tokens — DeepInfra
Known as 2 names
deepseek-ai/DeepSeek-Prover-V2-671Bdeepseek/deepseek-prover-v2-671b