نموذج DeepSeek Prover-V2 يحقق قفزة نوعية في حل الرياضيات
أعلنت DeepSeek عن إطلاق نموذج Prover-V2 الذي يجمع بين التفكير الرياضي غير الرسمي وإثبات النظريات رسميًا، محققًا نتائج مذهلة في اختبارات متقدمة.
تفاصيل الخبر
أطلقت شركة DeepSeek الصينية نموذجًا جديدًا يُدعى Prover-V2، وهو نموذج متخصص مفتوح المصدر قادر على معالجة وحل مسائل رياضية معقدة عبر الجمع بين التفكير الرياضي العادي وإثبات النظريات الرسمي.
أبرز تفاصيل النموذج:
- يحتوي على 671 مليار معامل، مما يجعله من أضخم النماذج في هذا المجال.
- حقق نسبة نجاح بلغت 88.9% على اختبار MiniF2F، وهو معيار شهير لقياس قدرات النماذج على حل مسائل رياضية متقدمة.
- يعتمد على أسلوب “الانطلاق البارد” لتجزئة البرهان إلى أهداف فرعية يتم تحليلها والتحقق منها لاحقًا.
- يستند في التحليل الأولي إلى نموذج DeepSeek-V3 قبل الانتقال إلى مرحلة الإثبات الرسمي.
- تم إطلاق مجموعة بيانات جديدة باسم ProverBench تضم 325 مسألة، من بينها أسئلة من مسابقة AIME وأسئلة على مستوى الجامعات.
- جاء هذا الإصدار بهدوء بعد إصدار Qwen3 من Alibaba، وقبل الإصدار المنتظر DeepSeek-R2 في مايو.
الأهداف المستقبلية
تهدف DeepSeek من خلال هذا الإنجاز إلى:
- الوصول إلى قدرات تفوق البشر في حل المسائل الرياضية المعقدة.
- دعم التقدم في مجالات حساسة مثل الفيزياء والطب واكتشاف الأدوية والمواد المتقدمة.
- تحسين قدرات النماذج على إثبات النظريات واستخدامها في تطبيقات عملية وتخصصية.
- إطلاق إصدارات مستقبلية مثل DeepSeek-R2 لتعزيز الأداء والدقة.
نموذج Prover-V2 يثبت أن الذكاء الاصطناعي على وشك إحداث ثورة حقيقية في فهم الرياضيات وتطبيقها في العالم الحقيقي.
