Anbieter und ModelleDeepSeek

DeepSeek Prover V2

DeepSeek Prover V2
DeepSeek · Text Generation
POST /v1/chat/completions

Open-Source-LLM spezialisierte sich in Lean 4 auf formale Theorembeweise und basierte auf einer rekursiven Theorembeweis-Pipeline.

Auf einen Blick

SpielfeldWert
Modell-IDdeepseek-prover-v2
Modell-Veröffentlichungsdatum2025-04-30
EingabemodalitätenText
AusgabemodalitätenText
Kontextfenster-
Gewichtspräzision-
MerkmaleMathematik, Vernunft
Native SchlussfolgerungNein
NeuNein
Unterstützte EndpunktePOST /v1/chat/completions, POST /v1/responses

Preisgestaltung

BerechnenSpezifikationZinssatz
Pro NachrichtBehoben$0.020

Beispielanfrage

$curl https://api.empiriolabs.ai/v1/chat/completions \
>  -H 'Authorization: Bearer $EMPIRIOLABS_API_KEY' \
>  -H 'Content-Type: application/json' \
>  -d '{"model": "deepseek-prover-v2", "messages": [{"role":"user","content":"Hello"}]}'

Parameter

This Modell akzeptiert die Standard-Chat-Abschlussparameter (siehe die API-Referenz).

Anmerkungen

Spezialisiert auf formales Theorembeweisen in Lean 4. Über OpenRouter geroutet.

Machine-lesbares Schema: GET https://api.empiriolabs.ai/v1/models/deepseek-prover-v2.