DeepSeek Prover V2 (free) Consultez les informations détaillées et les prix des modèles d'IA
Contexte Longueur 163,840 tokens, deepseek de fourni
163,840
Tokens de Contexte
Gratuit
Prix du Prompt
Gratuit
Prix de sortie
9/16
Support de Fonctionnalités
Présentation du Modèle
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.
Informations de Base
Développeur
deepseek
Série de Modèles
DeepSeek
Date de sortie
2025-04-30
Longueur de Contexte
163,840 tokens
Variante
free
Informations sur les Prix
Ce modèle est gratuit
Politique de Données
Conditions d'utilisation
학습 정책
1
Fonctionnalités Prises en Charge
Pris en charge (9)
Top K
Seed
Pénalité de Fréquence
Pénalité de Présence
Pénalité de Répétition
Min P
Biais Logit
Logprobs
Top Logprobs
Non pris en charge (7)
Entrée d'Image
Format de Réponse
Utilisation d'Outils
Sorties Structurées
Raisonnement
Options de Recherche Web
Top A
Autres Variantes
Statistiques d'Utilisation Réelle
#90
Sur 346 modèles au total
5.3B
Total des Tokens des 30 derniers jours
175.20M
Usage Moyen Quotidien
2%
Changement d'Usage Hebdomadaire