تسريب Spark3: نماذج iFLYTEK الصغيرة بحجم 1.7B و4B يتم ربطها في vLLM

لا يمتلك Spark3 أوزانًا عامة، ولا بطاقة نموذج، ولا إعلانًا — ومع ذلك، وصل طلب سحب هذا الأسبوع إلى محرك الاستدلال vLLM يصف نموذجين، Spark3-1.7B وSpark3-4B، بتفاصيل لافتة. طلب السحب رقم 53373 في مستودع vLLM، بعنوان "[Model] Add Spark3 Model," يضيف دعمًا أصليًا لخدمة بنية Spark3: انتباه النافذة المنزلقة، وميزانية تفكير قابلة للتحكم بأربعة مستويات، وسياقًا أصليًا بمليون رمز في الحجمين، ومعرّف نموذج يشير إلى iFLYTEK. لم يؤكد البائع أيًا من ذلك، ولم يُطرح شيء بعد. هذا مقال "ما نعرفه حتى الآن": طلب السحب حقيقي، وكل ما يُقال إن النموذجين يفعلانه غير مُتحقق حتى تنشر iFLYTEK — أو من يطرح Spark3 — الأوزان فعليًا.

التسريب: طلب سحب يقرأ وكأنه ورقة مواصفات

الإشارة هي طلب سحب (PR) مفتوح في vLLM، قدمه مستخدم GitHub يُدعى KnightYao (مساهم مقيم في خفي وينتمي إلى جامعة العلوم والتكنولوجيا في الصين)، وحتى 23 أغسطس 2026 لم يتم دمجه بعد. طلب أحد المشرفين على vLLM إجراء تغييرات في 22 أغسطس مع ملاحظة «تعليق للمناقشات». طلب السحب مبكر ومثير للجدل، وهو أمر طبيعي لهذا النوع من التكامل — كما أنه مفصل بشكل غير اعتيادي لطلب سحب يخص إطار عمل حول نموذج لا يستطيع أي شخص خارج المختبر تنزيله.

يؤثر هذا التعديل على ثمانية ملفات. يضيف تنفيذًا لـ Spark3ForCausalLM في منفّذ نماذج vLLM، وتسجيلًا أصليًا لـ Spark3Config في سجلّي الإعدادات والنماذج في vLLM، ودعمًا لانتباه النافذة المنزلقة والانتباه الكامل مع بوابة إخراج الانتباه على مستوى الرأس، وتحميل أوزان متوازي عبر الموترات والخطوط الأنبوبية، ومحلّل XML لأدوات Spark3 بحيث يمكن فك استدعاءات أدوات النموذج بطريقة منظمة. كما يضيف صفًا إلى توثيق النماذج المدعومة في vLLM يدرج نقطة التفتيش باسم XHToken/Spark3-1.7B. بل يزعم الوصف أيضًا أن التكامل خضع لقياس أداء: 500 طلب متزامن، نجاح بنسبة 100%، حوالي 106 طلبات في الثانية و13.5 ألف رمز إخراج في الثانية على إعداد الاختبار الخاص بالمؤلف. هذه الأرقام أبلغ عنها كاتب طلب السحب ذاتيًا، وليست قياس أداء مستقلًا، وينبغي قراءتها على هذا الأساس تمامًا.

لماذا iFLYTEK هي الشركة الأم الواضحة — لكن غير المؤكدة

لا شيء في الـ PR يذكر اسم المورّد. لكن معرّف checkpoint الذي يسجّله، XHToken/Spark3-1.7B، يقع تحت منظمة XHToken على Hugging Face، وتلك المنظمة مملوكة لـ iFLYTEK: صفحة المنظمة تدرجها كشركة، وتربط إلى opensource.iflytek.com، ولا تعرض حاليًا أي نماذج عامة أو مجموعات بيانات عامة. "XH" هي الاختصار الطبيعي لـ 星火 (Xinghuo، "Spark")، عائلة نماذج iFLYTEK. أضف موقع المؤلف في Hefei — يقع المقر الرئيسي لـ iFLYTEK في Hefei — ويكون الاستدلال في أقوى حالاته قبل أن يؤكد المورّد ذلك.

يتوافق هذا مع النمط الحديث لشركة iFLYTEK. فقد كان نموذج Spark X2 الذي أصدرته الشركة في فبراير 2026 موجّهًا صراحةً إلى حالات الاستخدام في التعليم والطب والسيارات والوكلاء الأذكياء، ويأتي خط نماذجها SparkAuto-EMM للأجهزة المحلية بأحجام صغيرة تتراوح من 0.5B حتى 7B. وقبل يومين من ظهور هذا البيان الصحفي، قالت iFLYTEK في مؤتمر نتائجها المؤقتة يوم 21 أغسطس إن نموذجًا رائدًا جديدًا متعدد الأغراض مبنيًا بالكامل على الحوسبة المحلية قادم، مع نسخة مرحلية مقررة «بحلول نهاية أغسطس» وإطلاق كامل في يوم المطورين 1024 في أكتوبر. وما إذا كان Spark3-1.7B وSpark3-4B جزءًا من هذا الإصدار المرحلي أو مسارًا منفصلاً موجهًا للحوسبة الطرفية، فهو سؤال مفتوح لا يقدم البيان الصحفي إجابة عنه.

ما يُقال عن النماذج

ادعاءات الـ PR، جميعها غير مؤكدة:

• حجمان. Spark3-1.7B وSpark3-4B. كلاهما موصوفان بأنهما تصميمان يضعان الكفاءة أولاً، باستخدام انتباه النافذة المنزلقة بدلاً من تخطيط الانتباه الكامل الكثيف.

• سياق أصلي بسعة مليون رمز على كليهما. ليس وعدًا بوضع موسّع — يقول طلب السحب (PR) إن السياق أصيل في البنية، وهو ما يعني وضع مليون رمز على نموذج صغير بما يكفي ليكون معقولًا على وحدة معالجة رسومية واحدة.

• ميزانية تفكير من أربعة مستويات. يمكن ضبط التفكير على: لا شيء، منخفض، متوسط، أو مرتفع، وهو تصميم تفكير قابل للتبديل يتيح للتطبيق الموازنة بين عمق التفكير وزمن الاستجابة وتكلفة كل استدعاء.

• أكثر من 200 لغة وقوة في الامتحانات الصينية. يدّعي البيان الصحفي أداءً قويًا في الإجابة عن أسئلة K-12 وغاوكاو — وهو بصمة مميزة لشركة iFLYTEK، بالنظر إلى أعمالها في مجال التعليم — بالإضافة إلى تغطية متعددة اللغات تشمل أكثر من 200 لغة.

• التوجه نحو البرمجة والوكلاء. مزاعم بقدرة قوية على توليد الأكواد، واستخدام الأدوات، والتنفيذ متعدد الخطوات، والاستدلال طويل السياق مقارنة بحجمه، مدعومة بمحلل أدوات XML المضمّن في نفس طلب السحب (PR).

الجزء الجدير بالملاحظة هو سياق 1M الأصلي على 1.7B

طول السياق هو المجال الذي تتعثر فيه النماذج الصغيرة. في المشهد الحالي للأوزان المفتوحة، يأتي نموذج بحجم 1.7B–4B عادةً بنافذة أصلية تتراوح بين 32K و256K: نقاط فحص Qwen3 الصغيرة هي 32K أصلية مع 131K عبر مقياس الحبل rope scaling، وحتى تحسين Qwen3.5 للنافذة الأصلية 256K على المتغيرات الصغيرة هو خطوة حديثة. حتى الآن، كان سياق مليون رمز ميزةً للنماذج الكبيرة — فنقاط فحص GLM بسياق 1M تحتوي على مئات المليارات من المعاملات. إذا كان Spark3 يقدم حقًا نافذة أصلية بحجم 1M على نموذج 4B، فستكون مواصفة غير اعتيادية حقًا، وبنية الانتباه بالنافذة المنزلقة sliding-window attention هي بالضبط ما يجعل هذا رخيصًا من حيث الذاكرة. التحذير الذي يجب أن يوضع بجانب هذا: الرقم الضخم 1M الأصلي سهل كتابته في بيان صحفي PR، لكن من الصعب جعله مفيدًا عمليًا. جودة السياق الطويل — هل يمكن للنموذج فعليًا العثور على حقيقة تبعد 700K رمزًا واستخدامها — هي مسألة منفصلة عن عدد الرموز التي تتسع لها النافذة، ولا يوجد حتى الآن تقييم مستقل.

ميزانية التفكير القابلة للتحكم مهمة لنفس السبب. أربعة مستويات للاستدلال (بدون / منخفض / متوسط / مرتفع) هي تصميم تفكير قابل للتبديل بروح نمط التفكير المفتوح/المغلق في Qwen3، لكنه أكثر ثراءً: بدلاً من خيار ثنائي، يمكن للتطبيق اختيار مستوى لكل طلب — بدون تفكير للترجمة، ومرتفع لجولة وكيل متعددة الخطوات — ويدفع فقط مقابل الاستدلال الذي يحتاجه. بالنسبة لأحمال العمل الوكيلية أو الدفعية، هذا هو بالضبط المقبض الذي يحوّل نموذجًا صغيرًا "قادرًا لكنه مكلف" إلى نموذج مُدار التكلفة.

تتناسب وصفة ما بعد التدريب مع نمط 2026

تقول الوثيقة أن Spark3 خضع للتدريب اللاحق باستخدام "التعلم المعزز الموسّع وMOPD". إنّ MOPD — التقطير متعدد المعلّمين عند السياسة نفسها — تقنية حقيقية ومعاصرة، موصوفة في ورقة بحثية على arXiv (2606.30406): تدريب معلّمين متخصصين في مجالات متوازية باستخدام التعلم المعزز، ثم تقطيرهم جميعًا في نموذج طالب واحد على مسارات الطالب نفسه، مع تقليل خسارة كولباك-ليبلر العكسية لكل توكين مقابل المعلّم المناسب لكل مطالبة. إنها وصفة عام 2026 التي تتيح لنموذج واحد أن يكتسب مهارات الرياضيات والبرمجة والوكيل دون أن يتعارض تشغيل تعلم معزز مع آخر، وقد نُسبت علنًا في التدريب اللاحق لنماذج مثل MiMo Flash V2 وDeepSeek V4 وNemotron 3 Ultra. إن استشهاد Spark3 بنفس الوصفة يضعه في ذلك الجيل — نماذج صغيرة، وتقنيات تدريب لاحق متطورة. كما يعني ذلك أن "ادعاءات البرمجة والوكيل القوية" لها آلية معقولة خلفها. والمعقول ليس المثبت: فتبقى الادعاءات من تقارير البائع حتى تظهر الأوزان وتُجرى تقييمات مستقلة.

ما هو المجهول حقًا؟

تقريبًا كل ما يحتوي على تقويم:

• تاريخ الإصدار. لا أوزان على Hugging Face، لا إعلان، لا جدول زمني. منظمة XHToken فارغة اليوم.

• تأكيد البائع. لم تذكر iFLYTEK أي شيء عن Spark3. رابط منظمة XHToken دليل قوي، وليس بيانًا رسميًا.

• سواء كان الأمر يتعلق بالهاتف الرائد المرحلي. قد تكون نسخة "نهاية أغسطس" المرحلية من الهاتف الرائد الجديد لشركة iFLYTEK هي هذه — أو قد لا تكون ذات صلة. لا يذكر البيان الصحفي أي تواريخ على الإطلاق.

• التسعير والترخيص.لم يتم الإفصاح عن أي شيء. كانت عائلة Spark من iFLYTEK تُقدَّم تاريخيًا في الغالب عبر واجهة برمجة التطبيقات (API) بدلاً من الأوزان المفتوحة، لذا يبقى السؤال مفتوحًا حول ما إذا كانت Spark3-1.7B وSpark3-4B نقاط تفتيش مفتوحة أم هدفًا داخليًا للتقديم.

• كل معيار.أرقام الإنتاجية في طلب السحب (PR) هي اختبار تقديم خاص بالمؤلف، وليست تقييمًا مستقلًا، ولم تمنح أي لوحة صدارة النموذجَ درجةً لأنه لا يوجد نموذج متاح للعموم.

ماذا تشاهد

منظمة XHToken على Hugging Face هي قناة الإصدار التي ينبغي متابعتها. إذا كان النموذج حقيقيًا، فيجب أن تظهر أوزانه — أو بطاقة النموذج على الأقل — هناك، وانتقال المنظمة من صفر إلى مستودع عام واحد هو الإشارة الأكثر أهمية. بعض الأمور التي يجب التحقق منها لحظة حدوث ذلك:

• رقم السياق.هل 1M أصلي، أم موسّع عبر RoPE مع مقايضة في الجودة؟ يقول الـPR إنه أصلي؛ بطاقات النماذج هي المكان الذي يُحسم فيه ذلك.

• API ميزانية التفكير. كيفية عرض مستويات التفكير الأربعة — سواء كمعامل لأخذ العينات، أو كحقل في قالب المحادثة، أو كنسخة نموذج منفصلة — تحدد مدى سهولة استخدامها فعليًا.

• الرخصة.الأوزان المفتوحة ستجعل Spark3 أول نموذج بأقل من 5 مليارات معامل يقدم سياقًا أصليًا بطول 1M متاحًا للاستضافة الذاتية؛ أما الإطلاق عبر API فقط فسيجعله منتجًا من نوع مختلف.

• تقويم إعلانات iFLYTEK. من المتوقع أن يُطرح الهاتف الرائد المرحلي بحلول نهاية أغسطس، والإطلاق الكامل في يوم مطوري 1024 في أكتوبر. إذا كان Spark3 جزءًا من أي منهما، فسيوضح الوصف الرسمي ما تتركه العلاقات العامة مفتوحًا.

• ما إذا كان طلب السحب (PR) سيتم دمجه. دعم vLLM مهم كإشارة جودة وكبنية تحتية: أول بيئة تشغيل مع دعم أصلي لـ Spark3 يجعل النموذج قابلاً للتشغيل في الإنتاج في اليوم الذي تصل فيه الأوزان.

ما الذي يجب على المطوّر فعله الآن؟

لا شيء. لا يوجد نموذج لاستدعائه، ولا أوزان لتنزيلها، ولا مفتاح API لتجهيزه — أي أداة تدّعي اليوم أنها تخدم Spark3 إنما تخدم شيئًا آخر. ما يمكنك فعله هو أن تقرر كيف ستقيّمه في اليوم الذي يظهر فيه، لأن هذا نموذج يحمل وعدًا يسهل التحقق منه: نموذج بحجم 1.7B أو 4B يقرأ مليون توكن ويستدل في أربعة أعماق — إما أن يكون فئة جديدة حقيقية من النماذج الصغيرة أو مجرد قصة على ورقة مواصفات، والفرق قابل للقياس في ظهر يوم واحد على حمولة عملك الخاصة.

هنا أيضًا تكسب طبقة التوجيه قيمتها. في OrcaRouter، النموذج ليس عقدًا تلتزم به؛ بل هو إدخال في كتالوج تستدعيه عبر واجهة برمجة واحدة، ويتم تمرير أسعار القائمة المقدمة من المزوّد بعلامة صفرية — لذا عندما يظهر نموذج جديد في كتالوج المزوّد، يكون سعره الحقيقي متاحًا على جانبنا في اليوم نفسه، وتجربته لا تتطلب تكاملًا ثانيًا ولا إعادة تفاوض. بالنسبة لنموذج غير مثبت مثل Spark3، فإن النمط السليم هو نفسه الذي تستخدمه مع أي اختراق واعد: ضعه خلف تجاوز الفشل التلقائي في DSL الخاص بالتوجيه، ودع حصة من حركة المرور تصله، وأبقِ نموذجًا مثبتًا على الجانب الآخر من القاعدة، بحيث يكون التقييم السيئ أو مفاجأة الترخيص أو نتيجة سياق طويل مخيبة للآمال مجرد تغيير في التوجيه لا حادثة. مفتاح واحد، ونقطة نهاية واحدة، وأكثر من 200 نموذج — وعندما يصبح Spark3-1.7B أو Spark3-4B قابلًا للتشغيل فعليًا، ينطبق عليهما التمرير المباشر وتجاوز الفشل مثل أي نموذج آخر.

الخلاصة الصادقة هي جملة، وليست حكمًا: طلب سحب (PR) لإطار عمل كُتب هذا الأسبوع يدّعي أن iFLYTEK لديها نموذجان صغيران بسياق أصلي يبلغ مليون رمز وميزانية تفكير من أربعة مستويات، ولم يُنشر أي دليل جوهري لدعم أي من ذلك. راقب منظمة XHToken، وراقب وعد iFLYTEK في نهاية أغسطس، وعندما تصبح الأوزان حقيقية، ضعها عبر قاعدة توجيه مع تجاوز الفشل قبل أن تراهن على مسار إنتاجي بها. هذا هو دليل اللعب الكامل للتسريب — ثق بالبنية التحتية، وتحقق من النموذج، وأبقِ تكلفة الخروج منخفضة.