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