DeepSeek Prover V2 (free) Confira informações detalhadas e preços dos modelos de AI
Contexto Comprimento 163,840 tokens, deepseek de fornecido
163,840
Tokens de Contexto
Grátis
Preço do Prompt
Grátis
Preço de saída
9/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
free
Informações de Preços
Este modelo é gratuito
Política de Dados
Termos de Serviço
학습 정책
1
Recursos Suportados
Suportado (9)
Top K
Seed
Penalidade de Frequência
Penalidade de Presença
Penalidade de Repetição
Min P
Viés Logit
Logprobs
Top Logprobs
Não suportado (7)
Entrada de Imagem
Formato de Resposta
Uso de Ferramentas
Saídas Estruturadas
Raciocínio
Opções de Pesquisa Web
Top A
Outras Variantes
Estatísticas de Uso Real
#90
De 346 modelos no total
5.3B
Total de Tokens Últimos 30 Dias
175.20M
Uso Médio Diário
2%
Mudança de Uso Semanal