ينضم Mistral Large 4 إلى Open Math OS — والجزء المفتوح يأتي مصحوبًا بقائمة انتظار

في 3 نوفمبر 2026، أصبح Mistral Large 4 أحدث نموذج على Open Math OS، مساحة العمل المشتركة لمؤسسة SAIR Foundation التي يعمل فيها mathematicians ووكلاء الذكاء الاصطناعي على المشروعات نفسها. وكان الإعلان منشورًا قصيرًا لا صفحة إطلاق: أوزان مفتوحة بحجم 1.05T، ونافذة سياق تبلغ 1M، ومتاحًا في ذلك اليوم للفرق المعتمدة. هذه العبارة الأخيرة هي الجديرة بالتوقف عندها. فـ Open Math OS مبني فقط على نماذج مفتوحة تحديدًا كي يتمكن المجتمع الرياضي من فحص ما يعتمد عليه وتشغيله، ومع ذلك يصل أحدث إضافة إليه خلف طابور موافقات. وكذلك الحال مع النماذج الثلاثة الموجودة أصلًا في القائمة: DeepSeek V4.1 Flash وKimi K3 وGLM-5.3-Flash.

ما قالته Mistral فعليًا، وما أغفلته

يحمل المنشور ادعاءين تقنيين وشرط وصول واحد. والادعاءان — 1.05 تريليون إجمالي المعاملات ونافذة سياق بمليون رمز — يطابقان نقطة التحقق التي نشرتها Mistral في 29 أكتوبر، لذا فهما ليسا حسابات تسويقية. أما شرط الوصول فهو "الفرق المعتمدة"، دون وصف لما يتطلبه الاعتماد، أو المدة التي يستغرقها، أو ما إذا كان باحث فردي يستطيع الدخول من دون فريق.

إن ما لا يحتويه المنشور لا يقلّ إفادة. فلا يوجد معيار قياس للرياضيات. ولا يوجد بيان بأن Mistral Large 4 قد جرى تقييمه على براهين Lean، أو على الصياغة الشكلية، أو على أي من المهام التي بُني Open Math OS من أجلها. ولا توجد ملاحظة عمّا إذا كان النموذج يحصل على نفس الوصول إلى الأدوات الذي يحصل عليه اللاعبون الحاليون — الطرفية، وأدوات PDF، ومدقّق Lean، وخوادم MCP — أم على مجموعة مختزلة. ولا يوجد تسعير، وهو ما يتّسق مع مساحة عمل تعمل على حوسبة متبرّع بها بدلًا من رموز معدودة.

لا شيء من ذلك يُعدّ انتقادًا للنموذج. إنه وصف لمقدار ما لا يزال مجهولًا بشأن الاقتران، بعد ستة أيام من نزول الأوزان.

Open Math OS هو مساحة عمل، وليس نموذجًا.

التمييز مهم لأن الاسم يُقرأ وكأنه كذلك. إن Open Math OS مبادرة تابعة لمؤسسة SAIR، أُطلقت إطلاقًا تجريبيًا في 16 أكتوبر 2026، ووصفها Terence Tao — أحد مؤسسي SAIR المشاركين — بأنها خدمة مستضافة تضم «خدمات وواجهات ويب شبيهة بنماذج الذكاء الاصطناعي المتقدمة» وليست شيئًا تقوم بتثبيته. أما بيئة التشغيل مفتوحة المصدر الخاصة بها، Open Math Harness، فهي مكتوبة بلغة Rust ومصممة كنواة دقيقة قائمة على القدرات: إذ يعمل كل برنامج، بما في ذلك الوكلاء، كعملية معزولة، ومبدأ التصميم المعلن هو «الوكلاء يقترحون، والرياضيون يقررون».

حول هذه النواة توجد الأشياء التي تجعلها مساحة عمل بدلًا من نافذة محادثة. حسابات للفرق، حيث يمكن للأعضاء رؤية مطالبات بعضهم بعضًا. ذاكرة مشروع دائمة. وضع استكشاف متوازٍ يُسمى Ultramath يشغّل عدة وكلاء على المشكلة نفسها في آن واحد. بحث عن البراهين مُتحقَّق منه باستخدام Lean. دعم لخوادم MCP وللإضافات التي يبنيها المستخدمون بأنفسهم. تمنح SAIR حسابات مجانية للمتقدمين من الأوساط الأكاديمية وتشغّل المنظومة بأكملها على قدرة حوسبة متبرَّع بها، ولهذا فإن حدود الحسابات وتعديلات التخصيص مطروحة صراحةً على الطاولة.

كانت القائمة التي أُطلقت بها تتألف بالكامل من نماذج صينية مفتوحة الأوزان. وهذه هي الفجوة التي يسدّها Mistral Large 4: فهو أول نموذج على Open Math OS من مختبر أوروبي، وأول نموذج تقف خلفه قصة نشر سيادي فرنسي. وبالنسبة لمؤسسة تروّج لفكرة سيطرة المجتمع على البيانات، فإن وجود خيار غير صيني وغير أمريكي يُعدّ إضافة حقيقية وليس مجرد خيار شكلي.

سؤال الترخيص الذي لم يطرحه أحد في سلسلة النقاش

Mistral Large 4 ليس بترخيص Apache 2.0، وهذا تغيير عن سابقه. تُشحن أوزانه بموجب ترخيص Mistral Ecosystem Open-Weight License، وهو ترخيص MIT معدّل يسمح بالاستخدام والتعديل والضبط الدقيق والتسويق التجاري — مع استثناء واحد. يجب على أي شخص يقدّم النموذج كخدمة نموذج-as-a-service الحصول على ترخيص تجاري منفصل من Mistral.

Open Math OS خدمة مستضافة تتيح للفرق استدعاء نموذج عبر واجهة ويب. وسواء كان هذا الترتيب "النموذج كخدمة" بالمعنى المقصود في الترخيص، أو كان يندرج تحت الاستثناء الخاص بالمنتجات المدمجة للمستخدمين النهائيين، أو ينطبق عليه الاستثناء الضيق الخاص بمجرد تمرير الطلبات إلى نماذج مستضافة في مكان آخر، فإن هذه مسألة قانونية لم تتناولها SAIR علنًا. ولم تصرّح Mistral بذلك أيضًا. ومن الممكن تمامًا — بل ومن المرجح — أن تكون هناك اتفاقية تجارية وراء الإعلان لم يصفها أي من الطرفين. لكن القارئ الذي رأى "الأوزان المفتوحة" وافترض أن مسألة الاستضافة قد حُسمت ينبغي أن يعلم أنها لم تُحسم، لأن البند نفسه سينطبق على كل مختبر يريد بناء مساحة عمل مشتركة على هذا النموذج.

لماذا تُعد نافذة 1M هنا أكثر من مجرد سطر في ورقة المواصفات

عادةً ما تُباع نوافذ السياق على أساس حجم المستندات، ومليون رمز يبدو وكأنه خزانة ملفات. لكن في مساحة عمل للرياضيات الصورية يكون النسخة المفيدة مختلفة. يتراكم في المشروع ملف ‎Lean‎ واستيراداته وحالة برهان والنقاش الدائر حول تكتيك فاشل وسجل جلسات الوكيل نفسه. وكل ذلك يجب أن يكون في الإطار نفسه كي يستطيع الوكيل فعل أي شيء غير التخمين. والخيوط التي تبقى حية عبر الأيام هي جوهر مساحة العمل المشتركة؛ أما النافذة التي تقتطعها فتحوّل كل جلسة إلى بداية باردة.

هذه حجة على أن {{1}}Mistral Large 4{{/1}} يناسب التصميم، وليست دليلًا على أنه يحقق الأداء. يسهل الخلط بين الأمرين في أسبوع الإطلاق، ولا يساعد منشور {{2}}Mistral{{/2}} في ذلك — فهو يدرج النافذة كرقم بارز بجوار عدد المعلمات، وهذه صياغة ورقة مواصفات، لا تقييم.

ما الذي يحصل عليه الفريق المعتمد، وما الذي لا يزال غير مُعلن

• التقييم — لا توجد نتائج رياضية منشورة لـ Mistral Large 4 على Open Math OS؛ وقد وصف تاو نماذج الإطلاق في القائمة بأنها متأخرة بنحو عام عن الطليعة، وجيدة في الصياغة الشكلية متوسطة الحجم باستخدام Lean، وهو ادعاء بقدرة لا درجة.

• تكافؤ الأدوات — غير مُحدَّد ما إذا كان النموذج الجديد سيحصل على Ultramath والبحث عن البراهين وسلسلة الأدوات العلمية الكاملة، أم على مجموعة فرعية محدودة أثناء تقييمه.

• الحدود — لا توجد حدود معدل أو حصص أو سقوف للسياق منشورة داخل مساحة العمل، حيث قد تقتطع المنصة نافذة بسعة 1M بغض النظر عما يدعمه النموذج.

• سياسة البيانات — كتب تاو في أكتوبر أن SAIR أرادت أن «تجمع أولاً بعض بيانات الاستخدام قبل وضع اللمسات الأخيرة على سياساتنا». هذا تصريح صادق، وهو أيضاً سبب لقراءة الشروط الحالية قبل وضع برهان غير منشور في مشروع.

• الاختيار — لا يوجد شرح لكيفية اختيار الفريق لنموذج لكل مشروع، أو ما إذا كان الاختيار لكل محادثة أم لكل مشروع، أو ما إذا كانت SAIR توجّه بينها تلقائيًا.

النمط ثابت: يصف الإعلان نموذجًا يُضاف إلى تشكيلة، لا قدرةً يجري إظهارها. وإذا كنت تقرّر ما إذا كنت ستتقدّم بطلب، فهذا هو الوضع الصادق للأدلة.

إذا كان ما تريده هو النماذج بدلاً من مساحة العمل

Open Math OS هو الجزء المثير للاهتمام في هذه القصة، لكنه ليس الطريقة الوحيدة للوصول إلى النماذج التي يشغّلها. GLM-5.3-Flash موجود في كتالوج OrcaRouter بسعر قائمة المزوّد، وينطبق الأمر نفسه على Kimi K3 — وهما اثنان من النماذج الثلاثة التي أُطلقت بها مساحة العمل، ويمكن استدعاؤهما من واجهة API واحدة إلى جانب أكثر من 200 نموذج آخر، مع تجاوز تلقائي للأعطال بين المزوّدين وهامش ربح 0% على سعر المزوّد نفسه. ستقوم لغة التوجيه DSL بدمجهما في استدعاء واحد إذا أردت لوحة بدلاً من إجابة واحدة، وهو تقريب مبسّط لما يفعله Ultramath داخل مساحة العمل دون إرفاق مدقّق Lean.

Mistral Large 4 ليس في كتالوجنا، ولن نتظاهر بغير ذلك. إذا كنت تريد ذلك الطراز تحديدًا، فالخيارات المتاحة اليوم هي واجهة برمجة التطبيقات الخاصة بـ Mistral، أو نقاط التحقق مفتوحة الأوزان على Hugging Face، أو شركاء الاستضافة الخارجيين التابعين للمورّد. المقايضة حقيقية: تمنحك مساحة العمل المشروع المشترك والأدوات والتحقق من الأدلة؛ بينما تمنحك واجهة برمجة التطبيقات الطراز وحده، بسعر يمكنك قياسه.

ماذا تشاهد بعد ذلك

ثلاثة أشياء ستحوّل هذا من تحديث لقائمة المشاركين إلى نتيجة. تقييم لكل نموذج داخل Open Math OS — حتى لو كان صغيرًا، كمجموعة من الصيغ الرسمية بـLean تُقيَّم بالطريقة نفسها لجميع النماذج الأربعة — سيكون أول دليل عام على النموذج الذي ينبغي لعالم رياضيات أن يختاره لأي مهمة. وسياسة وصول منشورة ستحل التوتر بين «open» و«approved». وبيان من SAIR أو Mistral عن كيفية موقع ترتيب الاستضافة تجاه بند النموذج كخدمة سيقول لكل مختبر آخر ما إذا كان بإمكانه بناء الشيء نفسه.

حتى ذلك الحين، يبقى الملخص الدقيق محدودًا: فوجود نموذج مفتوح الأوزان بترليون معامل ونافذة 1M أصبح الآن أحد الخيارات في مساحة عمل بحثية لا تزال، بحسب وصف مؤسسها نفسه، نسخة مبكرة جدًا.