DeepSeek Prover V2 Confira informações detalhadas e preços dos modelos de AI
Contexto Comprimento 131,072 tokens, deepseek de fornecido
131,072
Tokens de Contexto
$0.50
Preço do Prompt
$2.18
Preço de saída
1/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
131,072 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 (1)
Seed
Não suportado (15)
Entrada de Imagem
Top K
Penalidade de Frequência
Penalidade de Presença
Penalidade de Repetição
Formato de Resposta
Min P
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
#152
De 346 modelos no total
955.65M
Total de Tokens Últimos 30 Dias
31.86M
Uso Médio Diário
14%
Mudança de Uso Semanal