Leanstral 1.5 لنماذج البرهان لا للمحادثة: اقرأ أرقامه في سياقها

أصدرت Mistral Leanstral 1.5 في 2 يوليو 2026 كمتخصص تحقق رسمي برخصة Apache-2.0.

اقرأ النتائج داخل مجالها

تقدم Mistral النموذج لعمل البراهين الرسمية. نتيجة PutnamBench المنشورة، 587 مسألة محلولة من 672، ونتائج FATE تخص هذا المجال تحديداً. قد تفيد فريقاً يعمل على Lean، لكنها لا تخبرك شيئاً موثوقاً عن كتابة التسويق أو دعم العملاء.

حجم النموذج لا يحدد العتاد وحده

تذكر Mistral بنية تضم 119B معاملاً إجمالياً و6B نشطة. هذا مهم للتخطيط، لكن متطلبات التشغيل تتغير مع التكميم وخادم الاستدلال وحجم الدفعة وطول السياق والكمون المطلوب.

المصدر المفتوح لا يغني عن التقييم

ترخيص Apache-2.0 وإتاحة API مجانية يجعلان النموذج جذاباً للتجربة. مع ذلك، اختبره على مجموعة براهين من عملك، واستخدم مدققاً آلياً للمخرجات، وأضف أمثلة مضادة ومراجعة بشرية.