تقوم Deepseek بترقية نموذج الذكاء الاصطناعي لحل مشكلات الرياضيات

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

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

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

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