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.

Description

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

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

Modality:
text->text
InputModalities:
text
OutputModalities:
text
Tokenizer:
DeepSeek

ContextAndLimits

ContextLength:
163840 Tokens
MaxResponseTokens:
0 Tokens
Moderation:
Disabled

PricingRUB

Request:
Image:
WebSearch:
InternalReasoning:
Prompt1KTokens:
Completion1KTokens:

DefaultParameters

Temperature:
0
StartChatWith DeepSeek: DeepSeek Prover V2

UserComments