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.
Características
API serverless
Documentación
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.
Serverless disponible
Ejecuta consultas de inmediato, paga solo por el uso
Entrada$0.7 / M Tokens
Salida$2.5 / M Tokens
Usa los siguientes ejemplos de código para integrarte con nuestra 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)Información
Proveedor
DeepSeek
Cuantización
fp8
Funcionalidad compatible
Longitud del contexto
160000
Salida máxima
160000
Serverless
Compatible
Capacidades de entrada
text
Capacidades de salida
text
Todo lo que necesitas para crear IA de producción.
Más de 200 modelos, GPUs bajo demanda y entornos de ejecución seguros para agentes, unificados bajo una API. Gratis para empezar, escala a medida que creces.