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