في 30 أبريل، أعلنت مجتمع ومواقع Hugging Face عن فتح مصدر نموذج DeepSeek-Prover-V2-671B. تم تطويره لحل مسائل إثبات النظريات الرياضية، يستخدم هذا النموذج بنية "mixture of experts" (MoE) ويعتمد على Lean 4 لتدريب الاستدلال الرسمي.
القدرة على تعزيز الأتمتة
مع حجم المعاملات الذي يصل إلى 671 مليار، يجمع DeepSeek-Prover-V2-671B بين التعلم المعزز والبيانات الضخمة. يساعد ذلك بشكل كبير في تحسين القدرة على إثبات الذات تلقائيًا، مما يفتح العديد من إمكانيات التطبيق.
مرونة في الاستخدام
تم تقديم النموذج على Hugging Face، مما يدعم النشر المحلي والاستخدام التجاري. وهذا يوفر مرونة ويوسع القدرة على تطبيق النموذج في مجالات مختلفة، من البحث إلى التجارة.
ملاحظة: المحتوى أعلاه هو لأغراض توفير معلومات السوق فقط وليس نصيحة استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتكون دائماً على اطلاع بأحدث الأخبار حول سوق العملات الرقمية ولا تفوت أي معلومات مهمة!
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
DeepSeek أطلق نموذجًا يتكون من 671 مليار معلمة للرياضيات
نموذج DeepSeek-Prover-V2-671B الجديد
في 30 أبريل، أعلنت مجتمع ومواقع Hugging Face عن فتح مصدر نموذج DeepSeek-Prover-V2-671B. تم تطويره لحل مسائل إثبات النظريات الرياضية، يستخدم هذا النموذج بنية "mixture of experts" (MoE) ويعتمد على Lean 4 لتدريب الاستدلال الرسمي.
القدرة على تعزيز الأتمتة
مع حجم المعاملات الذي يصل إلى 671 مليار، يجمع DeepSeek-Prover-V2-671B بين التعلم المعزز والبيانات الضخمة. يساعد ذلك بشكل كبير في تحسين القدرة على إثبات الذات تلقائيًا، مما يفتح العديد من إمكانيات التطبيق.
مرونة في الاستخدام
تم تقديم النموذج على Hugging Face، مما يدعم النشر المحلي والاستخدام التجاري. وهذا يوفر مرونة ويوسع القدرة على تطبيق النموذج في مجالات مختلفة، من البحث إلى التجارة.
ملاحظة: المحتوى أعلاه هو لأغراض توفير معلومات السوق فقط وليس نصيحة استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتكون دائماً على اطلاع بأحدث الأخبار حول سوق العملات الرقمية ولا تفوت أي معلومات مهمة!