DeepSeek Prover V2 Consulta la información detallada y precios de los modelos de AI
Contexto Longitud 131,072 tokens, deepseek de proporcionado
131,072
Tokens de Contexto
$0.50
Precio del Prompt
$2.18
Precio de salida
1/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
131,072 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 (1)
Seed
No compatible (15)
Entrada de Imagen
Top K
Penalización de Frecuencia
Penalización de Presencia
Penalización de Repetición
Formato de Respuesta
Min P
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
#152
De 346 modelos en total
955.65M
Total de Tokens Últimos 30 Días
31.86M
Uso Promedio Diario
14%
Cambio de Uso Semanal