DeepSeek Prover V2 Consulta la información detallada y precios de los modelos de AI
Contexto Longitud 163,840 tokens, deepseek de proporcionado
163,840
Tokens de Contexto
$0.50
Precio del Prompt
$2.18
Precio de salida
7/16
Soporte de Funciones
Introducción del Modelo
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
Información Básica
Desarrollador
deepseek
Serie de Modelos
DeepSeek
Fecha de lanzamiento
2025-04-30
Longitud de Contexto
163,840 tokens
Variante
standard
Información de Precios
Tokens de Prompt
$0.50 / 1M tokens
Tokens de Completado
$2.18 / 1M tokens
Política de Datos
Funciones Compatibles
Compatible (7)
Top K
Seed
Penalización de Frecuencia
Penalización de Presencia
Penalización de Repetición
Formato de Respuesta
Min P
No compatible (9)
Entrada de Imagen
Sesgo Logit
Uso de Herramientas
Logprobs
Top Logprobs
Salidas Estructuradas
Razonamiento
Opciones de Búsqueda Web
Top A
Otras Variantes
Estadísticas de Uso Real
#181
De 353 modelos en total
814.10M
Total de Tokens Últimos 30 Días
27.14M
Uso Promedio Diario
37%
Cambio de Uso Semanal