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.
by Deepseek|164K context|$0.50/M input tokens|$2.18/M output tokens
Endpoints
Available providers for this model, with details on pricing, context limits, and real-time health metrics.
