Using DeepSeek Prover V2 on Novita AI
Implementation guide · DeepSeek Prover · DeepSeek
ServerlessOpen Source
Quick Start
- 1
- 2Use the Novita AI SDK or REST API to call
deepseek-prover-v2-671b. - 3
Code Examples
Code examples for this provider have not been sourced yet.
About Novita AI
Novita AI offers a GPU-based inference API for image, video, and language model generation with a broad catalog of open-source models.
Pricing on Novita AI
| Type | Price (per 1M) |
|---|---|
| Input tokens | $0.70 |
| Output tokens | $2.50 |
Capabilities
Reasoning
About DeepSeek Prover V2
DeepSeek Prover V2 is DeepSeek's DeepSeek Prover model focused on step-by-step reasoning. It offers a 160K-token context window with weights openly available for self-hosting.
Model Specs
Released2025-04-30
Parameters671B
Context160K
ArchitectureDecoder Only