DeepSeek Prover V2 (free) Detaillierte Informationen und Preise für AI-Modelle anzeigen
Kontext Länge 163,840 Token, deepseek von bereitgestellt
163,840
Kontext-Token
Kostenlos
Prompt-Preis
Kostenlos
Ausgabepreis
9/16
Funktionsunterstützung
Modell-Übersicht
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.
Grundinformationen
Entwickler
deepseek
Modellserie
DeepSeek
Veröffentlichungsdatum
2025-04-30
Kontextlänge
163,840 Token
Variante
free
Preisinformationen
Dieses Modell ist kostenlos nutzbar
Datenrichtlinie
Nutzungsbedingungen
학습 정책
1
Unterstützte Funktionen
Unterstützt (9)
Top K
Seed
Häufigkeitsstrafe
Presence Penalty
Wiederholungsstrafe
Min P
Logit-Bias
Logprobs
Top Logprobs
Nicht unterstützt (7)
Bildeingabe
Antwortformat
Tool-Nutzung
Strukturierte Ausgaben
Schlussfolgerung
Web-Suchoptionen
Top A