تقوم Deepseek بترقية المثل النموذجية التي تركز على الرياضيات

قامت AI Lab Deepseek الصينية بتحديث Prover بهدوء ، وهو نموذج منظمة العفو الدولية المصمم لحل البراهين والنظريات المتعلقة بالرياضيات.

وفقًا لـ South China Morning Post ، قام Deepseek بتحميل أحدث إصدار من Prover ، V2 ، إلى منصة AI Dev ، Hugging Face ، في وقت متأخر يوم الأربعاء. يبدو أنه تم بناؤه فوق طراز V3 الخاص بـ Startup ، والذي يحتوي على 671 مليار معلمة ويعتمد بنية الخبرة (MOE).

تتوافق المعلمات تقريبًا مع مهارات حل المشكلات في النموذج ، في حين أن MOE تنقسم المهام إلى مهام فرعية ويفوضها إلى مكونات “خبراء” أصغر ومتخصصة.

آخر مرة تم تحديث Deepseek في أغسطس ، ووصفها في ذلك الوقت كنموذج مخصص للنظرية الرسمية التي تثبت والتفكير الرياضي.

في فبراير / شباط ، ذكرت رويترز أن ديبسيك قيل إنه يفكر في جمع التمويل الخارجي لأول مرة. أصدرت الشركة مؤخرًا إصدارًا تم ترقيته من V3 ، وهو نموذج للأغراض العامة ، ومن المتوقع أن تقوم بتحديث نموذج “التفكير” R1 قريبًا.