DeepSeek: DeepSeek Prover V2

DeepSeek • deepseek-prover-v2

Model Information
Slug deepseek-prover-v2
Aliases deepseek-prover-v2
Organization
Name DeepSeek
Description

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. Context: 163840

Available at 3 Providers
Provider Input Price ($/1M) Output Price ($/1M) Free
OpenRouter $0.50 $2.18
Fireworks AI $1.20 $1.20
Poe - -
Back to Models View Organization