في خطوة غير معلنة رسميًا، أطلقت شركة DeepSeek الصينية النسخة الثانية من نموذجها المتخصص في حل المسائل الرياضية “Prover-V2″، وذلك بعد يوم واحد فقط من إعلان شركة علي بابا عن الجيل الثالث من نموذجها “Qwen3″، مما يعكس حدة التنافس بين شركات التكنولوجيا الصينية لتطوير قدرات الذكاء الاصطناعي التوليدي.
إطلاق صامت على منصة Hugging Face
رفعت DeepSeek النموذج الجديد على منصة Hugging Face، وهي أكبر منصة مفتوحة المصدر لمشاركة نماذج الذكاء الاصطناعي، دون إصدار أي بيان صحفي أو منشورات عبر حساباتها الرسمية.
ولم تتضمن صفحة النموذج أي تفاصيل تقنية حتى الآن، إلا أن الملفات المرفقة تشير إلى أن Prover-V2 مبني على نموذج V3 الأساسي للشركة، والذي يعتمد على بنية Mixture-of-Experts (MoE) لتقليل التكاليف وتحسين الكفاءة.
ما هو نموذج Prover؟
نموذج Prover هو جزء من سلسلة نماذج متخصصة طورتها DeepSeek لحل مشكلات الإثباتات الرياضية والاستدلال المنطقي.
ويُعد الإصدار V2 تحديثًا مباشرًا للنسخة السابقة Prover-V1.5، التي أُطلقت في أغسطس الماضي وأسهمت في تحسين قدرات نموذج DeepSeek الأساسي في إثبات النظريات بشكل رسمي.
هل نشهد ولادة نماذج جديدة قريبًا؟
رغم أن الشركة لم تكشف عن خططها المستقبلية بشكل رسمي، إلا أن هناك توقعات قوية بأن تطلق DeepSeek نماذج إضافية قريبًا، خصوصًا مع تزايد الترقب لنموذجها الجديد R2 المخصص للاستدلال المنطقي. وكانت الشركة قد أطلقت مؤخرًا تحديثًا على نموذج V3، تضمن تحسينات في قدرات البرمجة، دعم أفضل للغة الصينية، وتعزيز مهارات الاستدلال.
مقارنة الأداء مع علي بابا وOpenAI
من الجدير بالذكر أن شركة علي بابا صرّحت أن نموذجها Qwen3 الجديد تفوق على كل من DeepSeek-R1 ونموذج OpenAI o1 في اختبارات الاستدلال، وفقًا لنتائج المعايير القياسية. هذا التحدي يزيد الضغط على DeepSeek لتعزيز نماذجها القادمة وتحقيق أداء أعلى في المجالات التخصصية.
تقنيات فعالة بتكلفة منخفضة
من أبرز ما يميز مسيرة DeepSeek هو تركيزها على تطوير نماذج ذكاء اصطناعي بكفاءة عالية وتكلفة منخفضة. على عكس العديد من الشركات الغربية، اعتمدت DeepSeek على تقنيات تدريب موفرة للطاقة، دون التأثير على جودة الأداء. وكنتيجة لذلك، أثبت نموذج V3 قدرته على تحقيق نتائج متقدمة دون الحاجة إلى موارد ضخمة. هذا النهج يعزز من مكانة DeepSeek كمنافس بارز في سباق الذكاء الاصطناعي المستدام. كما أنه يدفعها إلى واجهة الابتكار في هذا المجال سريع النمو.
في النهاية، يعكس التحديث الصامت لنموذج Prover-V2 من DeepSeek تطورًا مهمًا في مشهد الذكاء الاصطناعي المتخصص، خصوصًا في مجالات الرياضيات والاستدلال المنطقي. وبينما تتجه الأنظار نحو إطلاق نموذج R2 القادم، تواصل DeepSeek تعزيز موقعها كمنافس قوي في السوق العالمي من خلال تقنيات فعالة، مفتوحة المصدر، وقادرة على تقديم أداء عالٍ بتكلفة منخفضة.
