DeepSeek Prover V2 (free) 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
Gratis
Precio del Prompt
Gratis
Precio de salida
9/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
free
Información de Precios
Este modelo es gratuito
Política de Datos
Términos de Servicio
학습 정책
1
Funciones Compatibles
Compatible (9)
Top K
Seed
Penalización de Frecuencia
Penalización de Presencia
Penalización de Repetición
Min P
Sesgo Logit
Logprobs
Top Logprobs
No compatible (7)
Entrada de Imagen
Formato de Respuesta
Uso de Herramientas
Salidas Estructuradas
Razonamiento
Opciones de Búsqueda Web
Top A
Otras Variantes
Estadísticas de Uso Real
#90
De 346 modelos en total
5.3B
Total de Tokens Últimos 30 Días
175.20M
Uso Promedio Diario
2%
Cambio de Uso Semanal