DeepSeek Prover V2 Confira informações detalhadas e preços dos modelos de AI
Contexto Comprimento 163,840 tokens, deepseek de fornecido
163,840
Tokens de Contexto
$0.50
Preço do Prompt
$2.18
Preço de saída
7/16
Suporte de Recursos
Introdução do 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.
Informações Básicas
Desenvolvedor
deepseek
Série de Modelos
DeepSeek
Data de lançamento
2025-04-30
Comprimento do Contexto
163,840 tokens
Variante
standard
Informações de Preços
Tokens de Prompt
$0.50 / 1M tokens
Tokens de Conclusão
$2.18 / 1M tokens
Política de Dados
Recursos Suportados
Suportado (7)
Top K
Seed
Penalidade de Frequência
Penalidade de Presença
Penalidade de Repetição
Formato de Resposta
Min P
Não suportado (9)
Entrada de Imagem
Viés Logit
Uso de Ferramentas
Logprobs
Top Logprobs
Saídas Estruturadas
Raciocínio
Opções de Pesquisa Web
Top A
Outras Variantes
Estatísticas de Uso Real
#181
De 353 modelos no total
814.10M
Total de Tokens Últimos 30 Dias
27.14M
Uso Médio Diário
37%
Mudança de Uso Semanal