نموذج Prover للرياضيات: ترقية DeepSeek المتطورة لعام 2025
أعلنت مختبرات الذكاء الاصطناعي الصينية DeepSeek عن تحديث جديد لنموذجها المتخصص في معالجة النظريات والأدلة الرياضية، والمعروف باسم Prover. يُعد هذا التطوير خطوة مهمة في سعي الشركة لتعزيز قدرات الذكاء الاصطناعي في مجالات الحساب والاستدلال الرقمي، مما يفتح آفاقاً جديدة للابتكار في هذا المجال.
تفاصيل الإصدار الجديد
في وقت متأخر من يوم الأربعاء الماضي، تم إطلاق النسخة المطورة Prover V2، بالإضافة إلى إصدار مدمج منه، ويتم توفيرهما على منصة تطوير الذكاء الاصطناعي
Hugging Face. وتشير التقارير إلى أن هذا التحديث يعتمد على نموذج V3 المتقدم من DeepSeek، والذي يضم 671 مليار معلمة ويستخدم بنية تعتمد على نظام الخبراء المتعدّدين (MoE) لتحسين أداء النموذج.
اقرأ أيضا: تحرير الصور في شات بوت جيميني
آلية عمل التكنولوجيا
تُعد المعلمات في نماذج الذكاء الاصطناعي بمثابة معيار لقدراتها في معالجة المشكلات وحلها. ويساهم استخدام بنية MoE في تقسيم المهام إلى أجزاء دقيقة يتم التعامل مع كل منها بواسطة مكوّنات متخصصة. هذه الطريقة لا تعمل على زيادة الكفاءة فحسب، بل تسهم أيضاً في تحسين الأداء العام للنموذج، مما يعزز دقته في معالجة الأدلة والنظريات الرياضية.
الابتكارات السابقة والمستقبلية
كانت البداية مع Prover في أغسطس الماضي، عندما تم تقديمه كحل مفتوح المصدر متخصص في إثبات النظريات والحجج الرياضية. وفي فبراير، نشرت وكالة
رويترز تقريراً يشير إلى اهتمام الشركة بجذب الاستثمارات الخارجية. وتأتي الإصدار الجديد من نموذج V3 جنباً إلى جنب مع التحديثات المنتظرة لنموذج R1 الخاص بالاستدلال، مما يؤكد التزام DeepSeek المستمر بالابتكار وتطوير القدرات الحسابية للذكاء الاصطناعي.
أهم النقاط
- قامت DeepSeek بترقية نموذجها المتخصص في الرياضيات، Prover، بإصدار جديد.
- يتوفر الإصدار الجديد Prover V2 وإصدار مدمج على منصة Hugging Face.
- يعتمد التحديث على نموذج V3 مع 671 مليار معلمة ونظام الخبراء المتعدّدين (MoE) لتحسين الأداء.
- تشير التطورات الأخيرة إلى توجه الشركة نحو مزيد من الاستثمارات والتحسينات في نماذج الاستدلال المعتمدة على الذكاء الاصطناعي.
الخاتمة
يُبرز التحديث الأخير لنموذج Prover من DeepSeek التقدم السريع الذي يشهده مجال الذكاء الاصطناعي في حل المسائل الرياضية والتعامل مع الأدلة المنطقية. وبفضل البنية القوية والميزات المتقدمة التي يوفرها النموذج الجديد، ترسخ DeepSeek مكانتها كلاعب رئيسي في مجال إثبات النظريات والذكاء الحسابي. من المؤكد أن هذه التطورات ستمهد الطريق لتحقيق مزيد من الابتكارات المستقبلية في عالم الذكاء الاصطناعي.
اقرأ أيضا: عملاء البحث العميق من Google Gemini 2.5
