DeepSeek: DeepSeek Prover V2

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 window: 163,840 tokens
• Input: text
• Output: text

View on OpenRouter. Model data sourced from OpenRouter.