DeepSeek: DeepSeek Prover V2

Deepseek Prover V2 es un modelo de parámetros 671B, especulado para estar orientado a la lógica y las matemáticas.

Descripción

Deepseek Prover V2 es un modelo de parámetros 671B, especulado para estar orientado a la lógica y las matemáticas.

ArquitecturaАрхитектура

Modalidad:
text->text
Modalidades de entrada:
text
Modalidades de salida:
text
Tokenizador:
DeepSeek

Contexto y límites

Longitud del contexto:
163840 tokens
Máx. tokens de respuesta:
0 tokens
Moderación:
Deshabilitada

Precios (RUB)

Solicitud:
Imagen:
Búsqueda web:
Razonamiento interno:
Prompt (1K tokens):
Completion (1K tokens):

Parámetros por defecto

Temperatura:
0
Iniciar chat con DeepSeek: DeepSeek Prover V2

Comentarios de usuarios