DeepSeek-Prover-V2-671B
Veröffentlicht von deepseek-ai im Jahr 2025, ist DeepSeek-Prover-V2-671B ein 671 Milliarden Parameter umfassendes Chat-Modell. DeepSeek-Prover-V2-671B is an open-weights chat model with roughly 671 billion parameters.
by deepseek-ai · 671 Mrd. Parameter
Am besten geeignet für
Möglichkeiten, DeepSeek-Prover-V2-671B in osFoundry zu nutzen
Mit eigenem Schlüssel verbinden (BYOK)
Öffnen Sie den Schlüssel-Dialog und fügen Sie Ihren deepseek-ai-API-Key ein. osFoundry erkennt DeepSeek-Prover-V2-671B automatisch — weisen Sie es im Pipeline-Tab einer Maestro-Rolle (Router, Direct, Orchestrator oder Fallback) zu, und es ist in jedem Chat verfügbar. Ihr Key, Ihr Provider-Konto — kein Token-Aufschlag.
Dedizierten Endpunkt bereitstellen
DeepSeek-Prover-V2-671B ist Open-Weights — betreiben Sie es lokal kostenlos oder stellen Sie in Ihrem Workspace einen dedizierten GPU-Endpunkt für reservierte Kapazität ohne Rate Limits bereit.
In einer Room App verwenden
Room Apps deklarieren KI-Funktionen in ihrem Manifest und rufen sie anschließend mit invokeAI auf:
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
Aus eigenen Anwendungen aufrufen
Sobald ein Modell in Ihrem Workspace eingerichtet ist, können Sie es als API hosten und aus Ihren eigenen Diensten, Skripten oder CI — außerhalb von osFoundry — erreichen.
Welche Hardware kann DeepSeek-Prover-V2-671B ausführen
DeepSeek-Prover-V2-671B läuft auf ein Multi-GPU-Setup oder H200 141GB mit Q4 (~403 GB VRAM mit Reserve für den KV-Cache). Inferenz in voller Präzision erfordert mehrere H100/H200-GPUs bei FP16 (~1611 GB).
DeepSeek-Prover-V2-671B im Vergleich zu ähnlichen Modellen
Lizenz
Nicht angegeben — Lizenzbedingungen nicht angegeben — prüfen Sie die Upstream-Model-Card vor kommerzieller Nutzung.
Konsultieren Sie die Upstream-Dokumentation.
Häufige Fragen zu DeepSeek-Prover-V2-671B
Ist DeepSeek-Prover-V2-671B kostenlos nutzbar?
DeepSeek-Prover-V2-671B kann auf Ihrer eigenen Hardware kostenlos lokal betrieben werden. Der gehostete Zugriff über osFoundry wird abgerechnet (Input Free (local), Output Free (local)). Sie können jederzeit zwischen lokal und gehostet wechseln.
Kann ich DeepSeek-Prover-V2-671B kommerziell nutzen?
Kommerzielle Nutzung ist unter bestimmten Bedingungen erlaubt. Lizenzbedingungen nicht angegeben — prüfen Sie die Upstream-Model-Card vor kommerzieller Nutzung. Konsultieren Sie die Upstream-Dokumentation.
Wie viel VRAM benötigt DeepSeek-Prover-V2-671B?
Etwa 403 GB bei Q4-Quantization oder 1611 GB bei voller FP16-Präzision. Erfordert Multi-GPU bei höherer Quantization.
Kann ich DeepSeek-Prover-V2-671B lokal betreiben?
Ja. DeepSeek-Prover-V2-671B ist Open-Weights und läuft lokal auf einer Workstation-GPU. Die lokale Runtime von osFoundry übernimmt Modellladen, Quantization und Routing.
Worin ist DeepSeek-Prover-V2-671B besonders gut?
DeepSeek-Prover-V2-671B eignet sich besonders für text generation.
Wie verwende ich DeepSeek-Prover-V2-671B in osFoundry?
Fügen Sie Ihren deepseek-ai-API-Key im Schlüssel-Dialog ein (oder stellen Sie bei selbst hostbaren Modellen die Open Weights bereit), weisen Sie DeepSeek-Prover-V2-671B im Pipeline-Tab einer Maestro-Rolle zu und nutzen Sie es anschließend im Chat, in Room Apps über invokeAI oder in Ihren eigenen Anwendungen.
Veröffentlicht von deepseek-ai am 30. April 2025. Quelle: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B