LLM Reference

Using DeepSeek Prover V2 on Novita AI

Implementation guide · DeepSeek Prover · DeepSeek

ServerlessOpen Source

Quick Start

  1. 1
    Create an account at Novita AI and generate an API key.
  2. 2
    Use the Novita AI SDK or REST API to call deepseek-prover-v2-671b.
  3. 3
    You'll be billed $0.70/1M input, $2.50/1M output tokens. See full pricing.

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

TypePrice (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

Provider

Novita AI