DeepSeek Prover V2 एपीआई

DeepSeek Prover V2 के बारे में

ओपन-सोर्स एलएलएम ने लीन 4 में औपचारिक प्रेक्षण में विशेषज्ञता प्राप्त की, जो एक पुनरावर्ती प्रेक्षण पाइपलाइन पर बनाया गया।

इस नाम से भी जाना जाता है DeepSeek Prover, DeepSeek-Prover-V2

DeepSeek Prover V2 की विशेषताएं

मॉडल ID

deepseek-prover-v2

प्रदाता

DeepSeek

श्रेणी

टेक्स्ट जनरेशन

रिलीज

30 अप्रैल 2025

इनपुट

टेक्स्ट

आउटपुट

टेक्स्ट

एंडपॉइंट

POST/v1/chat/completionsPOST/v1/responsesPOST/v1beta/models/deepseek-prover-v2:generateContent

वैकल्पिक मॉडल ID

deepseek-proverdeepseek/deepseek-prover-v2

DeepSeek Prover V2 API की कीमतें

EmpirioLabs कैटलॉग से लाइव pay-as-you-go दरें। आप सिर्फ उतना ही भुगतान करते हैं जितना उपयोग करते हैं, कोई मासिक न्यूनतम नहीं।

DeepSeek Prover V2 API को कैसे कॉल करें

DeepSeek Prover V2 OpenAI-संगत Chat Completions API देता है। किसी भी OpenAI SDK को अपनी EmpirioLabs API key के साथ https://api.empiriolabs.ai/v1 पर सेट करें और model id deepseek-prover-v2 उपयोग करें। EmpirioLabs डैशबोर्ड से API key प्राप्त करें।

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": "Write a haiku about the ocean."}
    ]
  }'

from openai import OpenAI

client = OpenAI(
    base_url="https://api.empiriolabs.ai/v1",
    api_key="YOUR_EMPIRIOLABS_API_KEY",
)

response = client.chat.completions.create(
    model="deepseek-prover-v2",
    messages=[{"role": "user", "content": "Write a haiku about the ocean."}],
)
print(response.choices[0].message.content)

जानने योग्य

लीन 4 में औपचारिक प्रेक्षण के लिए विशेषज्ञता। OpenRouter के माध्यम से रूट किया गया।

DeepSeek Prover V2 API: आम सवाल

DeepSeek Prover V2 API की कीमत कितनी है?

EmpirioLabs पर DeepSeek Prover V2 का बिल उपयोग के अनुसार बनता है: प्रति संदेश $0.020 निर्धारित। इस पेज की लाइव दर तालिका हमेशा API की वास्तविक बिलिंग से मेल खाती है।

क्या DeepSeek Prover V2 API OpenAI-संगत है?

हां। DeepSeek Prover V2 OpenAI-संगत Chat Completions API देता है, इसलिए मौजूदा OpenAI SDKs base_url को https://api.empiriolabs.ai/v1 पर सेट करके और model id deepseek-prover-v2 रखकर काम करते हैं।

क्या मैं इंटीग्रेट करने से पहले ब्राउज़र में DeepSeek Prover V2 आज़मा सकता हूं?

हां। EmpirioLabs playground ब्राउज़र में DeepSeek Prover V2 को उन्हीं पैरामीटरों के साथ चलाता है जो API देता है, ताकि आप कोड लिखने से पहले prompt आज़मा सकें।

DeepSeek Prover V2 की API key कैसे मिलेगी?

EmpirioLabs खाता बनाएं, फिर डैशबोर्ड में API Keys में key जनरेट करें। बिलिंग pay-as-you-go क्रेडिट से होती है, इसलिए आप सिर्फ अपनी requests का भुगतान करते हैं।