by DeepSeek
Provided by chutes.ai DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
| Input | $0.1 / 1M tokens |
| Output | $0.1 / 1M tokens |
Use deepseek-ai/DeepSeek-Prover-V2-671B via the AIHubMix unified API — one interface for every major LLM.