DeepSeek Prover V2 واجهة برمجة التطبيقات

حول DeepSeek Prover V2

تخصصت نماذج اللغة المفتوحة المصدر في إثبات النظريات الرسمية في Lean 4، مبنية على خط أنابيب لإثبات النظريات التكرارية.

يعرف أيضا باسم DeepSeek Prover, DeepSeek-Prover-V2

مواصفات DeepSeek Prover V2

معرّف النموذج

deepseek-prover-v2

المزود

DeepSeek

الفئة

توليد النصوص

تاريخ الإصدار

30 أبريل 2025

الإدخال

نص

الإخراج

نص

نقاط النهاية

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

معرّفات نموذج بديلة

deepseek-proverdeepseek/deepseek-prover-v2

أسعار واجهة DeepSeek Prover V2 API

أسعار الدفع حسب الاستخدام مباشرة من كتالوج EmpirioLabs. تدفع فقط مقابل ما تستخدمه، بدون حد أدنى شهري.

كيفية استدعاء واجهة DeepSeek Prover V2 API

يقدم DeepSeek Prover V2 واجهة Chat Completions المتوافقة مع OpenAI. وجّه أي OpenAI SDK إلى https://api.empiriolabs.ai/v1 بمفتاح EmpirioLabs API الخاص بك واستخدم معرّف النموذج deepseek-prover-v2. احصل على مفتاح API من لوحة تحكم EmpirioLabs.

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 ثابت. جدول الأسعار المباشر في هذه الصفحة يطابق دائمًا ما تحتسبه الواجهة.

هل واجهة DeepSeek Prover V2 API متوافقة مع OpenAI؟

نعم. يقدم DeepSeek Prover V2 واجهة Chat Completions المتوافقة مع OpenAI، لذا تعمل حزم OpenAI SDK الحالية بتوجيه base_url إلى https://api.empiriolabs.ai/v1 وتعيين معرّف النموذج إلى deepseek-prover-v2.

هل يمكنني تجربة DeepSeek Prover V2 في المتصفح قبل الدمج؟

نعم. يشغّل ملعب EmpirioLabs نموذج DeepSeek Prover V2 في المتصفح بنفس المعلمات التي تتيحها الواجهة، لتجربة المطالبات قبل كتابة الكود.

كيف أحصل على مفتاح API لنموذج DeepSeek Prover V2؟

أنشئ حساب EmpirioLabs ثم أنشئ مفتاحًا من API Keys في لوحة التحكم. الفوترة برصيد الدفع حسب الاستخدام، فلا تدفع إلا مقابل الطلبات التي تنفذها.