نموذج Prover الرياضي: إنجازات DeepSeek في الذكاء الاصطناعي

نموذج Prover الرياضي: إنجازات DeepSeek في الذكاء الاصطناعي

قامت مختبرات الذكاء الاصطناعي الصينية DeepSeek بإصدار تحديث جديد لنموذجها المتخصص في التعامل مع البرهان الرياضي والنظريات، والذي يعرف باسم Prover. يمثل هذا التطور خطوة إضافية في سعي الشركة لتطوير القدرات التحليلية للذكاء الاصطناعي في مجال الحسابات والأدلة الرياضية.

تفاصيل الإصدار الجديد

في وقت متأخر من يوم الأربعاء الماضي، قدمت DeepSeek النسخة المُحدثة Prover V2 بالإضافة إلى نسخة مخففة منها على منصة تطوير الذكاء الاصطناعي
Hugging Face. ووفقًا لما ذكرته صحيفة South China Morning Post، يستند التحديث إلى النموذج المتقدم V3 الذي يتألف من 671 مليار معلمة ويعتمد على بنية الـ “Mixture-of-Experts” (MoE).

آلية عمل التكنولوجيا

يمثل عدد المعلمات في نماذج الذكاء الاصطناعي مقياساً لقدرتها على حل المشكلات المعقدة. وتعمل بنية الـ MoE على تقسيم المهام إلى مهام فرعية صغيرة يديرها خبراء متخصصون. يساعد هذا الأسلوب في زيادة كفاءة النموذج وتحسين أدائه بشكل ملحوظ في معالجة البرهان الرياضي والنظريات.

يمكنكم قراءة المزيد من التفاصيل حول التطورات التكنولوجية في الرابط التالي:
تحديث أدوات Pinterest لمواجهة تحديات الذكاء الاصطناعي.

الابتكارات السابقة والقادمة

قدمت DeepSeek لأول مرة نموذج Prover في أغسطس الماضي، حيث عرضته كحل مفتوح المصدر متخصص في البرهان الرياضي والتفكير المنطقي. وفي فبراير، أعلنت وكالة رويترز أن الشركة تنظر في فرص تمويلية خارجية. ويعزز إطلاق النموذج العام V3 المُحدَّث والتحديثات المتوقعة على نموذج التفكير المنطقي R1 التزام الشركة بمواصلة الابتكار.

اقرأ أيضا: عملاء البحث العميق من Google Gemini 2.5

أبرز النقاط

• تمت ترقية نموذج Prover المتخصص في الرياضيات بواسطة DeepSeek إلى النسخة الجديدة.
• يشمل الإصدار Prover V2 ونموذجاً مخففاً متاحين على منصة Hugging Face.
• تعتمد النماذج المطورة على بنية V3 مع 671 مليار معلمة واستخدام نهج MoE لزيادة الكفاءة.
• تستعد الشركة لاستثمارات وتحديثات مستقبلية في نماذج التفكير الحسابي.

خاتمة

يمثل التحديث الجديد لنموذج Prover من DeepSeek تقدماً ملحوظاً في مجال الذكاء الاصطناعي المخصص للحلول الرياضية. ومن خلال الاعتماد على بنية قوية ومستمرة في تحسين الأداء التكنولوجي، تستعد DeepSeek لإحداث ثورة في مجال البرهان الرياضي والتفكير التحليلي.

اقرأ أيضا: تحرير الصور في شات بوت جيميني