Autoregressive vs. Masked Diffusion Language Models: A Controlled Comparison
تقدم هذه الورقة مقارنة تجريبية منضبطة تُظهر أنه في حين تتقارب النماذج اللغوية ذاتية الانحدار بشكل أسرع وتنتج نصوصاً أكثر طلاقة، فإن نماذج الانتشار المقنعة تحقق تنوعاً سردياً فائقاً وتتجنب الإفراط في التخصيص المبكر في ظل ظروف تدريب متطابقة، مما يكشف عن مقايضة متميزة بين التنوع والطلاقة بين هذين النموذجين.
تخيل أنك تحاول تعليم روبوتين مختلفين كيفية كتابة قصة. كلاهما لديه نفس المعلم، ونفس كمية الواجب المنزلي، ونفس استراحة الغداء، ويجلسان في نفس الفصل الدراسي تماماً.
الفرق الوحيد هو كيفية تعلمهما للكتابة.
هذه الورقة هي "اختبار تذوق" يقارن بين هذين الروبوتين لمعرفة أيهما أفضل في كتابة القصص، وما هي المقايضات الناتجة عن ذلك.
آلية العمل: يكتب هذا الروبوت مثل الإنسان الذي يكتب جملة أثناء الطباعة. يبدأ بالكلمة الأولى، ثم الثانية، ثم الثالثة. لا يمكنه إلا النظر إلى ما كتبه بالفعل ليقرر الكلمة التالية. إنه يشبه قطاراً يسير على سكة حديدية واحدة؛ لا يمكنه العودة للخلف لإصلاح خطأ ما.
الانطباع العام: هو منضبط للغاية وسلس في الكتابة. يعرف تماماً كيف يبدأ الجملة.
آلية العمل: يبدأ هذا الروبوت بصفحة فارغة تماماً (أو مغطاة بالحبر الأسود). يخمن ما يمكن أن تكون عليه القصة بأكملها، ثم يكشف الكلمات واحدة تلو الأخرى ببطء، مع تحسين تخميناته مراراً وتكراراً. يمكنه النظر إلى نهاية القصة للمساعدة في فهم البداية. إنه يشبه النحات الذي يبدأ بكتلة من الحجر وينحت فيها حتى يظهر الشكل.
الانطباع العام: هو فوضوي لكنه مبدع. يمكنه القفز حول الأفكار وإصلاح الأشياء لاحقاً.
النتائج الكبرى
قام الباحث بتشغيل كلا الروبوتين لنفس القدر من الوقت ووجد ثلاثة أشياء مفاجئة:
1. كلاهما سريع بنفس القدر (تشبيه "سباق الجري")
كان الناس يعتقدون أن روبوت "المشتت" أبطأ بكثير لأنه يحتاج للتخمين وإعادة التخمين.
النتيجة: كانا متقاربين جداً في السرعة. أنهى الروبوت الخطي التدريب في 107 دقيقة. أما روبوت المشتت فقد استغرق 113 دقيقة.
الخلاصة: طريقة "المشتت" ليست مكلفة أو بطيئة كما كان يُعتقد. إنها خيار قابل للتطبيق.
2. يتعلمان بسرعات مختلفة (تشبيه "الطالب")
الروبوت الخطي: تعلم بسرعة كبيرة. بحلول منتصف الوقت، كان قد أتقن المادة تماماً. ولكن بعد ذلك، أصبح واثقاً بنفسه أكثر من اللازم؛ بدأ يحفظ الواجب المنزلي بدلاً من فهمه. وبحلول النهاية، بدأ يكرر نفسه ويرتكب أخطاءً بسبب "الإفراط في التعلم".
الروبوت المشتت: تعلم ببطء. كان لا يزال يتحسن في نهاية التدريب تماماً. لم يكن قد حفظ الواجب المنزلي بعد؛ بل كان لا يزال يستكشف الأنماط.
الخلاصة: إذا كنت تريد نتيجة سريعة، فالروبوت الخطي رائع. أما إذا كان لديك المزيد من الوقت للتدريب، فإن روبوت المشتت قد يصبح أكثر ذكاءً إذا تركته يستمر في التعلم.
3. "القصة المتكررة" مقابل "الخيال الجامح" (الجزء الأهم)
هنا ظهرت شخصيات الروبوتين الحقيقية. طلب الباحث منهما كتابة 1,000 قصة لكل منهما.
الروبوت الخطي (المقلد):
99.8% من قصصه بدأت بنفس العبارة تماماً: "كان يا ما كان..."
كان سلساً جداً ومنضبطاً من الناحية القواعدية، لكنه كان مملاً. لقد علق في حلقة مفرغة لأنه كان يختار دائماً الكلمة التالية "الأكثر أماناً".
التشبيه: يشبه محطة راديو لا تشغل سوى نفس الأغنية الناجحة مراراً وتكراراً.
الروبوت المشتت (الورقة الرابحة):
93.4% من قصصه بدأت بافتتاحية فريدة ومختلفة. بعضها بدأ في منتصف حدث ما، وبعضها بالحوار، وبعضها بسؤال.
العيب: نظرًا لكونه مبدعاً للغاية، فإنه يرتكب أحياناً أخطاءً قواعدية أو يبدو غريباً بعض الشيء.
التشبيه: يشبه عازف الجاز. قد يخطئ في نغمة ما، لكنه يعزف مقطوعة فريدة تماماً لم يسمعها أحد من قبل.
الحكم النهائي: الأمر لا يتعلق بـ "من يفوز"
تخلص الورقة إلى أن هذين الروبوتين ليسا عدوين؛ بل هما متخصصان.
استخدم الروبوت الخطي عندما تحتاج إلى قواعد مثالية وموثوقية (مثل كتابة الأكواد البرمجية، أو ترجمة وثيقة، أو تلخيص مقال إخبائي). أنت لا تريده أن يكون مبدعاً؛ بل تريده أن يكون صحيحاً.
استخدم روبوت المشتت عندما تحتاج إلى أفكار جديدة (مثل ابتكار قصة جديدة، أو توليد بيانات متنوعة للتدريب، أو الكتابة الإبداعية). أنت مستعد للتغاضي عن بعض الأخطاء القواعدية للحصول على شيء فريد حقاً.
باخت-اختصار: الطريقة القديمة (الخطية) آمنة وسريعة لكنها متكررة. أما الطريقة الجديدة (المشتت) فهي مبدعة ومتنوعة لكنها تحتاج إلى مزيد من الوقت للصقل. كلاهما له مكان في مستقبل الذكاء الاصطناعي.
إليك ملخص تقني مفصل للورقة البحثية بعنوان "نماذج اللغة بالانتشار المقنع مقابل النماذج ذات الترتيب التلقائي: مقارنة منضبطة" للكاتب كايو فيسينتينو.
1. بيان المشكلة
بينما تهيمن نماذج الترتيب التلقائي (AR) (مثل GPT وLLaMA) على مشهد نمذجة اللغة، إلا أنها تعاني من قيود متأصلة: فالإنتاج المتسلسل يمنع مراجعة الرموز (tokens) السابقة، كما أن الانحياز القوي من اليسار إلى اليمين يؤدي غالبًا إلى "انهيار النمط البادئ" (prefix mode collapse)، حيث تصبح المخرجات متكررة ومتطابقة هيكليًا (على سبيل المثال، بدء كل قصة بـ "كان يا ما كان").
في المقابل، تقدم نماذج اللغة بالانتشار المقنع (MDLM) نموذجًا غير تسلسلي للإنتاج يعتمد على إزالة الضجيج بشكل تكراري من تسلسل مقنع بالكامل. يسمين هذا النهج نظريًا إمكانية تحقيق تنوع هيكلي أكبر والقدرة على المراجعة السياقية. ومع ذلك، فإن المقارنات الحالية بين AR وMDLM يشوبها الخلط بسبب الاختلافات في حجم مجموعة البيانات، وحجم النموذج، وميزانيات الحوسبة، والأجهزة. هناك نقص في الأدلة التجريبية المباشرة والمضبوطة التي تعزل نموذج الإنتاج كمتغير وحيد لفهم التفاوتات المتميزة في ديناميكيات التدريب وجودة المخرجات.
2. المنهجية
أجرى المؤلف تجربة منضبطة للغاية لتدريب نموذجين من نوع Transformer تحت ظروف متطابقة، مع تغيير نموذج الإنتاج فقط.
الإعداد التجريبي:
البيانات: 50 مليون رمز من مجموعة بيانات TinyStories.
الحوسبة: 20,000 خطوة تدريب، حجم الدفعة (batch size) 32، طول التسلسل 512.
نموذج AR: نموذج Transformer قياسي من نوع (decoder-only) يحتوي على 123.6 مليون معلمة، مع انتباه سببي (unidirectional attention) وهدف التنبؤ بالرمز التالي.
نموذج MDLM: نموذج Transformer ثنائي الاتجاه (bidirectional) يحتوي على 162.7 مليون معلمة، مع جدول قناع جيب التمام (cosine masking schedule)، وتكييف الخطوات الزمنية (timestep conditioning)، وهدف التنبؤ بالرمز المقنع.
ملاحظة: يحتوي نموذج MDLM على حوالي 31.6% أكثر من المعلمات بسبب المتطلبات المتأصلة لوحدات تضمين الخطوات الزمنية وبنيات الانتباه ثنائية الاتجاه، وهو ما يرى المؤلف أنه ضروري للحفاظ على سلامة تصميم MDLM.
مقاييس التقييم:
التدريب: معدل الإنتاجية (tokens/sec)، وقت الساعة الحائطية (wall-clock time)، ومنحنيات خسارة التحقق (validation loss).
الإنتاج: توليد 1,000 عينة لكل نموذج. شملت المقاييس Distinct-n (تنوع المفردات)، وSelf-BLEU (التكرار)، والتفرد الهيكلي (نسبة الكلمات الأولى الفريدة والافتتاحيات المكونة من 5 كلمات).
3. المساهمات الرئيسية
خط أساس مضبوط بدقة: أول دراسة تقارن بين AR وMDLM على نفس البيانات والأجهزة وميزانية الحوسبة تمامًا، مما يعزل نموذج الإنتاج كمتغير وحيد.
اكتشاف تقارب معدل الإنتاجية: أثبتت الدراسة أن تدريب MDLM أبطأ بـ 4.7% فقط (وقت الساعة الحائطية) من تدريب AR، مما يتحدى الافتراض بأن الانتشار مكلف حوسبيًا بشكل كبير.
ديناميكيات تقارب متباينة: كشفت أن نموذج AR يتقارب بسرعة ولكنه يعاني من فرط التخصيص (overfitting) مبكرًا، بينما يتقارب MDLM ببطء وثبات، مما يشير إلى وجود أنظمة تدريب مثالية مختلفة.
المقايضة الكمية بين التنوع والطلاقة: قدمت أدلة تجريبية على أن MDLM يتجنب "انهيار النمط البادئ" (93.4% من الافتتاحيات المكونة من 5 كلمات فريدة مقابل 3.3% لنموذج AR) على حساب حدوث عدم اتساق نحوي أحيانًا.
قابلية إعادة الإنتاج: إصدار كامل للكود، وأنابيب البيانات، ونقاط التحقق المدربة.
4. النتائج الرئيسية
أ. كفاءة وديناميكيات التدريب
الإنتاجية: حقق نموذج AR معدل 50,620 رمز/ثانية، بينما حقق MDLM معدل 48,343 رمز/ثانية. كان الفرق الإجمالي في وقت التدريب ضئيلاً (107.9 دقيقة مقابل 113.0 دقيقة).
التقارب:
AR: وصل إلى الحد الأدنى لخسارة التحقق عند الخطوة 14,000 (1.589) ثم بدأ لاحقًا في فرط التخصيص (ارتفعت الخسارة إلى 1.622 عند الخطوة 20,000).
MDLM: أظهر تحسنًا رتيبًا طوال الـ 20,000 خطوة، حيث وصل إلى خسارة قدرها 3.412 في النهاية دون أي علامة على الثبات (plateauing). وهذا يشير إلى أن MDLM قد يتطلب تدريبًا أطول بكثير للوصలు إلى أدائه الأمثل.
ب. جودة الإنتاج وتنوعه
التنوع الهيكلي (ظاهرة "انهيار البادئ"):
AR: بدأ 99.8% من العينات بنفس الكلمة ("Once"). وامتلكت 3.3% فقط افتتاحيات فريدة مكونة من 5 كلمات.
MDLM: بدأ 36.1% بكلمة أولى فريدة، وامتلك 93.4% افتتاحية فريدة مكونة من 5 كلمات.
الطلاقة مقابل التنوع:
أنتج نموذج AR نصوصًا عالية الطلاقة والتماسك، لكنها كانت متكررة هيكليًا.
أنتج نموذج MDLM سرديات متنوعة (بدأت من منتصف الأحداث in medias res، وشخصيات متنوعة) ولكنه أظهر بعض العيوب النحوية أحيانًا.
مقاييس مستوى الرمز: كان تنوع مستوى الرمز (Distinct-1 إلى Distinct-3) أعلى قليلاً في MDLM، لكن الفرق الهيكلي كان هو الاكتشاف الأكثر أهمية.
5. الأهمية والآثار المترتبة
دحض أساطير التكلفة: تفند الدراسة الاعتقاد بأن نماذج اللغة بالانتشار مكلفة للغاية للتدريب مقارنة بنماذج AR. فالعبء الحوسبي للانتشار (القناع، وعينات الخطوات الزمنية) ضئيل مقارنة بعملية التمرير الأمامي والخلفي لـ Transformer.
النماذج المتكاملة: تشير النتائج إلى أن AR وMDLM ليسا متنافسين بل أدوات متكاملة:
AR هو الأفضل للمهام التي تتطلب طلاقة عالية، وتماسكًا، والتزامًا صارمًا بالقواعد النحوية (مثل توليد الكود، الترجمة، التلخيص).
MDLM هو الأفضل للمهام التي تتطلب تنوعًا هيكليًا، وإبداعًا، وتجنب القوالب المتكررة (مثل الكتابة الإبداعية، تعزيز البيانات، العصف الذهني).
استراتيجية التدريب: تشير النتائج إلى أن جداول التدريب "الموحدة للجميع" ليست مثالية. قد تستفيد نماذج AR من الإيقاف المبكر أو التنظيم (regularization)، بينما قد تستفيد نماذج MDLM من جداًول تدريب ممتدة للاستفادة الكاملة من قدراتها.
6. القيود
يقر المؤلف بعدة قيود:
النطاق: أُجريت التجارب على نماذج صغيرة (123-163 مليون معلمة) ومجموعة بيانات ضيقة (قصص أطفال). قد تختلف الديناميكيات عند مستويات مليارات المعلمات.
عدم تطابق المعلمات: كان لنموذج MDLM عدد أكبر من المعلمات، مما قد يؤثر على سرعة التقارب، رغم أن المؤلف يرى أن هذا ضرورة معمارية.
أخذ العينات: لم يتم تحسين استراتيجية أخذ العينات في MDLM بشكل كامل؛ حيث يمكن لتقنيات التوجيه الأفضل أن تحسن الطلاقة.
البذرة الواحدة: استخدمت التجارب بذرة عشوائية واحدة، مما يفتقر إلى فترات الثقة الإحصائية.
الخاتمة
تثبت هذه الورقة أنه بينما تظل نماذج الترتيب التلقائي هي المعيار للطلاقة، فإن نماذج الانتشار المقنع تقدم بديلًا قابلًا للتطبيق وفعالاً حوسبيًا لإنتاج نصوص متنوعة وغير متكررة. يجب أن يعتمد الاختيار بين النماذج على المقايضة المحددة بين الطلاقة والتنوع الهيكلي المطلوبة للتطبيق.