DeepSeek Prover V2 | EmpirioLabs AI Docs

DeepSeek · Text Generation

POST /v1/chat/completions

وتخصص الإدارة القائمة على استخدام الموارد غير المباشرة في النظريات الرسمية التي تثبت في ليان 4، بناء على خط أنابيب لإعادة النظرية.

في لمحة

الميدان	القيمة
النموذج	`deepseek-prover-v2`
تاريخ الإفراج النموذجي	2025-04-30
طرائق المدخلات	النص
طرائق النواتج	النص
نافذة السياق	-
دقة الوزن	-
المعالم	الرياضيات، المنطق
Native inference	لا
جديدة	لا
نقاط النهاية المدعومة	`POST /v1/chat/completions`, `POST /v1/responses`

الطباعة

الرسم	Spec	المعدل
كل رسالة	ثابتة	$0.020

طلب مثال

$ 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"}]}'

البارامترات

هذا النموذج يقبل بارامترات الإنجاز القياسية للدردشة (انظر [الإشارة إلى ” خطة العمل ” ](/الإحالة المرجعية).

الحواشي

تخصص لنظرية رسمية تثبت في ليان 4. قفزت من خلال مفترق

مخطط Machine قابل للقراءة: GET https://api.empiriolabs.ai/v1/models/deepseek-prover-v2.