A Node-by-Node White-Box Walkthrough of a Quantized Hybrid Gated DeltaNet Language Model: Instrument Calibration and the Information Trajectory from Embedding to Output
تقدم هذه الورقة تحليلاً بنمط "الصندوق الأبيض" عقدةً بعقدة لنموذج لغوي من نوع (Gated DeltaNet) مكمّم هجين باستخدام محرك استدلال مجهز بالكامل ومخصص، مما يثبت معايرته مقابل التنفيذات القياسية ويوفر ملاحظات قابلة لإعادة الإنتاج خطوة بخطوة لتدفق المعلومات من تضمين المدخلات إلى رمز المخرجات، مع تحديد الأسئلة المفتوحة عند تقاطع نظرية الشبكات العصبية والمجالات العلمية الأخرى.
لفهم كيفية تعلم الحاسوب التحدث، لطالما عامل العلماء الآلة كصندوق أسود؛ حيث يغذونها بجملة ويراقبون ما يخرج منها، أو يلقون نظرة خاطفة على المرحلة النهائية من التفكير لتخمين ما كانت تفعله الآلة. لكن هذا النهج يترك فجوة؛ فهو يشبه محاولة فهم ساعة من خلال النظر فقط إلى الوقت الذي تعرضه، دون رؤية التروس وهي تدور أبداً. تتخذ الدراسة الجديدة التي أجراها الباحث المستقل "وينلونغ لي" مساراً مختلفاً. فبدلاً من التخمين من الخارج، قام الباحث ببناء أداة مخصصة تسمح له بمراقبة كل خطوة من خطوات عملية تفكير الآلة أثناء حدوثها. يركز هذا العمل على نوع محدد من الذكاء الاصطناعي يجمع بين طريقتين مختلفتين لمعالجة المعلومات: إحداهما تتذكر الماضي بطريقة مدمجة وفعالة، والأخرى تنظر إلى كل ما رأته حتى الآن. ومن خلال مراقبة كلمة واحدة وهي تمر عبر النظام بأكمله، تكشف الدراسة بالضبط كيف تحول الآلة مدخلاً بسيطاً إلى إجابة معقدة، موضحة أن العمل الأكثر أهمية لا يحدث في البداية، بل في النهاية تماماً.
إن موضوع هذا الاستقصاء هو نموذج لغوي، وهو برنامج حاسوبي مُدرب على التنبؤ بالكلمة التالية في الجملة. استخدم الباحث نسخة من هذا النموذج تم ضغطها لتناسب أجهزة الكمبيوتر القياسية، وهي عملية تُعرف باسم "التكميم" (quantization)، والتي تقلل من دقة الأرقام التي تستخدمها الآلة للتفكير. ولضمان دقة أداة البحث المخصصة، اختبر الباحث أولاً هذه الأداة مقابل نسخة مستقلة وموثوقة للغاية من نفس النموذج. قام بتشغيل نفس تسلسل الكلمات عبر كلا النظامين وقارن النتائج؛ وقد اتفق النظامان على الغالبية العظمى من خياراتهما، حيث تطابقت حساباتهما الداخلية بشكل وثيق بما يكفي لتأكيد أن الأداة المخصصة كانت أداة قياس موثوقة. كان هذا المعايرة أمراً حاسماً، لأنه يعني أن بإمكان الباحث الثقة في الملاحظات التفصيلية التي تلت ذلك.
تبدأ الرحلة عندما تدخل كلمة واحدة، ممثلة برقم، إلى الآلة. في هذه اللحظة الأولى تماماً، تحتفظ الآلة ببساطة بمعنى تلك الكلمة. ومع انتقال البيانات إلى الطبقة الأولى من الشبكة، يتم "تطبيعها" (normalized)، وهي عملية تعدل حجمها للحفاظ على استقرار الحسابات. في هذه المرحلة، تنظر الآلة فقط إلى الكلمة الحالية؛ فهي لم تتذكر أي شيء من الماضي بعد. يحدث التحول الكبير الأول في الطبقات المخصصة لذاكرة الآلة؛ حيث تستخدم الآلة هنا نافذة قصيرة للنظر في الكلمات القليلة التي سبقتها مباشرة، وتقوم بتحديث مصفوفة ذاكرة داخلية ضخمة. تعمل هذه المصفوفة مثل دفتر ملاحظات ديناميكي حيث تكتب الآلة معلومات جديدة وتقرر ما تحتفظ به أو ما تتخلص منه بناءً على مدى أهميته. وجدت الدراسة أن نظام الذاكرة هذا لا يتغير بشكل عشوائي مع كل كلمة جديدة؛ بل يعمل بإيقاع ثابت ومنضبط، محتفظاً ببعض الذكريات لفترة طويلة بينما يسمح لأخرى بالتلاشي بسرعة.
بينما تنتقل المعلومات إلى عمق الشبكة، فإنها تمر عبر طبقات تولي اهتماماً لتاريخ المحادثة بأكره، وليس فقط للماضي القريب. تربط هذه الطبقات الكلمة الحالية بكل ما سبقها، مما يسمح للآلة بفهم السياق والعلاقات عبر الجملة بأكملها. لاحظ الباحث أن الآلة لا تكتفي ببساطة بإضافة معلومات جديدة إلى القديمة، بل تعيد تشكيل تمثيل الجملة بأكها باستمرار. يختفي الشكل الأصلي للمدخل بسرعة، ليحل محله شكل أكثر تجريداً يحمل المعنى دون التفاصيل السطحية. يستمر هذا الوضع المجرد لمعظم الرحلة عبر الشبكة، في قسم أوسط طويل حيث تقوم الآلة بتنظيم وتكرير فهمها دون الالتزام بإجابة محددة بعد.
إن الاكتشاف الأكثر إثارة في الدراسة هو كيف تقرر الآلة أخيراً ماذا ستقول. فخلال معظم عمقها، تبعد الآلة المعلومات عن المدخل الأصلي، وتبقيها في حالة من الإمكانية المجردة. وفقط في الطبقات القليلة الأخيرة، تقوم الآلة بمواءمة هذا الوضع المجرد بسرعة مع المخرج المحدد الذي تحتاج لإنتاجه. قاست الدراسة مدى تغير البيانات في كل خطوة ووجدت أن التحول الأكثر دراماتيكية يحدث في النهاية تماماً، قبل أن تختار الآلة الكلمة التالية. تقوم خطوة المعايرة النهائية هذه بضبط مقياس المعلومات حتى يمكن ترجمتها مرة أخرى إلى قائمة من الكلمات المحتملة. تقضي الآلة معظم جهدها في الابتعاد عن المدخلات، ولا تركز عملها الحاسم إلا في اللحظات الأخيرة لتشكيل المخرجات.
لاحظ الباحث أيضاً أنه بينما سلوك الآلة واضح وقابل للقياس، فإن بعض الأسباب الكامنة وراء استقرارها وكفاءتها لا تزال غير مفسرة بالكامل من قبل النظريات الفيزيائية أو الرياضية الحالية. تعمل الآلة في حالة متوازنة على حافة الاستقرار، حيث تقوم بتحديث المعلومات وإضعافها باستمرار بطريقة تجد الأطر العلمية الحالية صعوبة في وصفها بدقة. لا تدعي الدراسة أنها حلت هذه الأسئلة النظرية العميقة، بل إنها تقدم سجلاً دقيقاً خطوة بخطوة لما تفعله الآلة بالفعل، مع إصدار جميع البيانات والأدوات المستخدمة لكي يتمكن الآخرون من التحقق من النتائج. ومن خلال فتح الصندوق الأسود ومراقبة دوران التروس، أظهر الباحث أن المسار من مدخل بسيط إلى إجابة معقدة هو رحلة تجريدية طويلة لا تتبلور إلا في قرار واضح عند النهاية تماماً.
تعمل التفسيرية الآلية (mechanistic interpretability) الحالية للنماذج اللغوية الكبيرة (LLMs) عادةً من "الخارج". حيث يقوم الباحثون بربط مجسات (probes) بالحالات الخفية، أو استخدام "عدسة اللوجيت" (logit lens) لإسقاط التنشيطات، أو إجراء ترقيع التنشيط (activation patching). وتكون هذه الأساليب مقيدة بمجموعة محدودة من الموترات (tensors) التي تكشف عنها محركات الاستدلال القياسية، وغموض عمليات تشغيل النواة (kernel launches) المجمعة. وبناءً على ذلك، عندما تتباين النتائج — كما يحدث بعد التكميم (quantization) — غالباً ما يكون من الغموض ما إذا كان سلوك النموذج قد تغير حقاً، أم أن منهجية المجس هي التي تتبع مسارات عددية مختلفة. هناك نقص في وجود أداة "الصندوق الأبيض" (white-box) التي تسمح بفحص كل عملية رياضية (عقدة عامل - operator node) داخل بنية هجينة مكممة خلال تمريرة أمامية (forward pass) واحدة.
المنهجية
قام المؤلف بتطوير محرك استدلال مخصص لتنفيذ الرسوم البيانية (graph-executing engine)، مصمم لمعاملة النموذج كرسوم بيانية موجهة صريحة من عقد العمليات.
التجهيز (Instrumentation): يقوم المحرك بتحميل ملف نموذج GGUF قياسي، وتحويل الأوزان إلى عقد صريحة، وتنفيذ الرسم البياني على وحدة معالجة الرسومات باستخدام نوى CUDA. يمكن قراءة أو كتابة مدخلات ومخرجات كل عقدة إلى المضيف (host) عند الطلب.
النموذج الخاضع للدراسة: تركز الدراسة على نموذج هجين مكمم بـ Q4_K (يحتوي على 24 طبقة) من نوع (Qwen3.5-0.8B). تتداخل في بنيته 18 كتلة من نوع Gated DeltaNet (فضاء الحالة/الانتباه الخطي) مع 6 كتل من نوع الانتباه العالمي (global-attention). أبعاد النموذج هي 1024، والتمثيلات (embeddings) للمدخلات والمخرجات مرتبطة (tied).
المعايرة (Calibration): قبل التحليل، تمت معايرة المحرك بدقة مقابل llama.cpp (وهو تنفيذ مستقل واسع الاستخدام) باستخدام نفس ملف GGUF وتسلسلات الرموز (tokens).
تم استخدام نسخة من نفس العائلة بـ 27 مليار معلمة (parameter) للمعايرة الأساسية عبر تسلسل مكون من 53 رمزاً، مما حقق متوسط تشابه جيب التمام (cosine similarity) قدره 0.9878 واتفاقاً في أعلى خيار (top-1 agreement) بنسبة 92.45%.
تم فك تشفير حالات عدم الاتفاق وتتبعها إلى أسباب محددة (مثل رفع رمز نهاية قالب الدردشة في التنفيذ المرجعي)، مما أكد دقة المحرك.
تمت أيضاً معايرة نموذج التجربة (walkthrough) ذو الـ 0.8 مليار معلمة مباشرة ضد llama.cpp عبر 49 موضعاً، محققاً متوسط تشابه جيب تمام قدره 0.945 واتفاقاً في أعلى خيار بنسبة 0.878؛ وتم تحديد الأخطاء في مواضع خيارات الإجابة المتأخرة بدلاً من الطبقات المبكرة التي تم فحصها.
بروتوكول القياس: يتتبع البحث رمزاً واحداً عبر الشبكة تحت شرطين: "المنفرد" (solo) (رمز واحد، بدون تاريخ) و"السياقي" (context) (خمسة رموز سابقة). هذا يعزل مكان دخول المعلومات التاريخية في الحساب. وتشمل المقاييس تشابه جيب التمام (الاتجاه)، وجذر متوسط المربعات لكل عنصر (RMS) (المقياس)، وإسقاطات عدسة اللوجيت.
المساهمات الرئيسية
تقدم الورقة سجلاً كاملاً لكل عملية (operator-by-operator) للمسار الأمامي لرمز في نموذج هجين مكمم. المساهمات واقعية ورصدية وليست نظرية:
محرك قابل للقراءة عبر العقد: أداة قابلة للتكرار تكشف عن كل عقدة عملية، مما يزيل الغموض حول المسارات العددية.
سجل عملياتي: حساب خطوة بخطوة من التضمين (embedding) إلى المخرج، بما في ذلك الالتفافات القصيرة (short convolutions)، وتحديثات البوابات (gated memory updates)، والانتباه العالمي.
قياسات كمية: بيانات حول نافذة الالتفاف القصيرة، وبوابات النسيان/الكتابة، ومصفوفة الذاكرة الترابطية، وتطور التيار المتبقي (residual stream).
تحديد الفجوات النظرية: قائمة صريحة بالنقاط التي لا تغطيها الأطر الموجودة (الفيزياء، نظرية المعلومات، الرياضيات) بشكل مباشر في الظواهر المرصودة.
النتائج والملاحظات الرئيسية
يكشف المسار عبر النموذج عن مسار حسابي غير متماثل:
الدخول والتقييس (Normalization): عند الكتلة الأولى، يعمل تقييس الدخول حصرياً على الرمز الحالي (تشابه جيب التمام 1.0 بين المنفرد والسياقي). لا يدخل التاريخ حتى الطبقات اللاحقة.
الطبقات الفرعية لفضاء الحالة (Gated DeltaNet):
دخول التاريخ: يعد المسح المتكرر (مصفوفة الذاكرة) هو البوابة الوحيدة للرموز السابقة؛ تظل جميع عقد الإسقاط (projection nodes) متطابقة مع التشغيل المنفرد حتى حدوث المسح.
الخنق (Throttle): تعمل الطبقة الفرعية بـ "خنق صغير"، حيث تضيف مساهمات صغيرة (RMS ~0.03–0.08) إلى التيار المتبقي في كل خطوة، معتمدة على التراكم عبر العمق.
البوابات: تشكل بوابات النسيان طيفاً ثابتاً من المقاييس الزمنية (تتراوح من ~0.001 إلى 1.0) مهيأة في الأوزان، بدلاً من التغير ديناميكياً مع الرمز.
ديناميكيات الذاكرة: تظل مصفوفة الذاكرة الترابطية (S) محدودة. فهي تنمو من حالة الصفر نحو مستوى استقرار (norm ~1.06)، حيث يقترب معدل الكتابة والاضمحلال من حالة التوازن.
الانتباه العالمي (Global Attention):
مثل طبقات فضاء الحالة، يعمل الانتباه بخنق صغير.
يصل السياق إلى هذه الطبقة عبر ثلاثة طرق: تاريخ فضاء الحالة العلوي، وتضمينات الموضع الدورانية (RoPE)، ومخزن المفتاح-القيمة (Key-Value cache).
تطور التيار المتبقي (Residual Stream):
الانفصال المبكر: ينخفض تشابه جيب التمام بين التيار المتبقي وتضمين المدخل بشكل حاد (من 1.0 إلى ~0.27) خلال أول كتلتين أو ثلاث كتل. يتم إزالة الشكل السطحي الأصلي بسرعة.
المنطقة الوسطى المجردة: تعمل الكتل من 3 إلى 13 في منطقة لا يكون فيها التيار متوافقاً مع المدخلات ولا مع المخرجات؛ حيث لا تقرأ عدسة اللوجيت أي رموز عالية الثقة.
المحاذاة المتأخرة: تحدث إعادة التنظيم والمحاذاة الكبيرة مع المخرج النهائي فقط في الكتل الأخيرة (14–23). وتتحمل خطوة التقييس النهائية أكبر تغيير في المقدار (norm ~89.6) لمعايرة التيار من أجل القراءة.
المخرج النهائي: تكتمل عملية القرار في النهاية تماماً. يقضي الشبكة معظم عمقها في تحريك التمثيل بعيداً عن المدخل وعبر منطقة مجردة، مع تركيز عمل تنظيم المخرج في الطبقات الأخيرة.
الأهمية والادعاءات
تصرح الورقة صراحة أنها لا تقدم نظرية موحدة للذكاء أو الاستقرار أو الحوسبة. تكمن أهميتها في توفير أداة مُعايرة وقابلة للتكرار وسجل واقعي لكيفية تنفيذ المكونات المعروفة في بناء هجين مكمم.
يسلط المؤلف الضوء على أن الظواهر المرصودة في عدة نقاط تقع عند حدود التخصصات الموجودة:
الفيزياء: يعمل النظام بالقرب من حدود الاستقرار، لكنه لا ينهار بشكل نظيف تحت مقياس الحجم النهائي للتوازن القياسي، مما يشير إلى الحاجة إلى أطر عمل غير متوازنة (non-equilibrium).
نظرية المعلومات: يصعب تأكيد نموذج "الملاءمة ثم الضغط" (fit-then-compress) بسبب وجود أرضيات عينات محدودة في المقدرات؛ وتظل ديناميكيات المعلومات في المنطقة المتوسطة غير واضحة.
الرياضيات: تتضمن الحالات المتكررة مؤثرات غير طبيعية (non-normal operators) حيث يختلف نصف قطر الطيف ومعايير المؤثر، ولم تُشتق بعد حدود خطأ صارمة للتكرار المكمم.
الهندسة: تُسجل قضايا مثل الانجراف العددي في التسلسلات الطويلة وتدهور قبول المسودة (draft-acceptance decay) في السياقات الطويلة كمسائل مفتوحة وليس كمسائل محلولة.
تختتم الورقة بأن البيانات والنصوص البرمجية يتم إصدارها للسماح للمجالات الأخرى بمتابعة هذه الأسئلة المفتوحة، مما يضع هذا العمل كتقرير تجريبي تأسيسي بدلاً من كونه حلاً نظرياً.