Model Library/Deepseek Prover V2 671B

Deepseek Prover V2 671B

deepseek/deepseek-prover-v2-671b

DeepSeek Launches Open-Source Model DeepSeek-Prover-V2-671B, Specializing in Mathematical Theorem Proving The new model employs a Mixture of Experts (MoE) architecture and is trained using the Lean 4 framework for formal reasoning. With 671 billion parameters, it leverages reinforcement learning and large-scale synthetic data to significantly enhance automated theorem-proving capabilities.

Fonctionnalités

API sans serveur

Documentation

deepseek/deepseek-prover-v2-671b is available via Novita's serverless API, where you pay per token. There are several ways to call the API, including OpenAI-compatible endpoints with exceptional reasoning performance.

Sans serveur disponible

Exécutez des requêtes immédiatement, ne payez que pour l’utilisation

Entrée$0.7 / M Tokens

Sortie$2.5 / M Tokens

Utilisez les exemples de code suivants pour intégrer notre API :

1from openai import OpenAI
2
3client = OpenAI(
4    api_key="<Your API Key>",
5    base_url="https://api.novita.ai/openai"
6)
7
8response = client.chat.completions.create(
9    model="deepseek/deepseek-prover-v2-671b",
10    messages=[
11        {"role": "system", "content": "You are a helpful assistant."},
12        {"role": "user", "content": "Hello, how are you?"}
13    ],
14    max_tokens=160000,
15    temperature=0.7
16)
17
18print(response.choices[0].message.content)

Infos

Fournisseur

DeepSeek

Quantification

fp8

Fonctionnalités prises en charge

Longueur du contexte

160000

Sortie maximale

160000

Serverless

Pris en charge

Capacités d’entrée

text

Capacités de sortie

text

Tout ce dont vous avez besoin pour créer une IA de production.

Plus de 200 modèles, des GPUs à la demande et des environnements d’exécution d’agents sécurisés — unifiés sous une seule API. Gratuit pour commencer, évolutif à mesure que vous grandissez.