DeepSeek: DeepSeek Prover V2

by deepseek

0 stars
Context 164K tokens
Modalities Text
Input Price $0.50 / million tokens
Output Price $2.18 / million tokens

Overview

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

Key Features

  • 164K tokens context window
  • API access available

Model Information

Developer:

deepseek

Release Date:

April 30, 2025

Context Window:

164K tokens

Modalities:

Text

Pricing

Input Tokens $0.50 / million tokens
Output Tokens $2.18 / million tokens
Get API Key

Discussion

No comments yet. Be the first to share your thoughts about this model!