Can a Dynamic Internal Field Govern a Transformer's Cognition? Certifiability, not Superiority, in Homeostatic Compute Control
تُثبت هذه الورقة أنه في حين أن المجال الداخلي الديناميكي المحكوم بمعادلات تفاضلية جزئية لا يعزز بطبيعته القدرات الإدراكية للمحول، إلا أنه يعمل كآلية قابلة للتطبيق وفريدة من نوعها وقابلة للتحقق لضبط موارد الحوسبة من خلال فحوصات دقيقة لاستقرار وقت التشغيل.
المؤلفون الأصليون:Francisco M. Arrabal-Campos, Ignacio Fernandez, Francisco G. Montoya, Alfredo Alcayde
تواجه الأنظمة الذكية، من الدماغ البشري إلى أكثر برامج الكمبيوتر تطوراً، تحدياً مستمراً: معرفة متى تتوقف عن التفكير. فالإنسان لا يتأمل في سؤال بسيط بنفس العمق الذي يتأمله في سؤال معقد؛ فنحن نقدر غريزياً مقدار الجهد الذهني الذي تتطلبه المهمة ونتوقف بمجرد حصولنا على الإجابة. وفي عالم الذكاء الاصطيائي، وتحديداً في الأنظمة المعروفة باسم "المحولات" (transformers)، تكون هذه القدرة على التنظيم الذاتي عادةً نتاج التعلم عبر التجربة والخطأ. يحاول الكمبيوتر اكتشاف مقدار العمل المناسب للقيام به، لكنه غالباً ما يتعلم طرقاً مختصرة تعمل جيداً في المسائل المألوفة ولكنها تفشل عند مواجهة شيء جديد. وقد تساءل العلماء طويلاً عما إذا كانت هناك طريقة أفضل لإدارة هذه الميزانية الذهنية. هل يمكن بناء نظام مزود بـ "حاكم" داخلي — آلية تحكم مخصصة تراقب حالة الكمبيوتر وتقرر متى يتوقف، تماماً كما ينظم المنظم الحراري (thermostat) عمل الفرن، دون أن يقوم بعملية التفكير نفسها؟ يقع هذا السؤال عند تقاطع علوم الحاسوب والفيزياء، متسائلاً عما إذا كان يمكن استخدام قوانين الطبيعة لإنشاء مدير مستقر وموثوق للذكاء الاصطناعي.
وضع فريق من الباحثين في جامعة ألميريا حداً لهذا التساؤل عبر بناء نوع محدد من الحكام يسمى "معالج الخلفية المتوازن" (Homeostatic Background Processor). لقد تخيلوا الأجزاء الداخلية للكمبيوتر كشبكة من العقد المتصلة، مثل خريطة مدينة. وفوق هذه الخريطة، وضعوا حقلاً منخفض الأبعاد، وهو نوع من الحالة غير المرئية التي تتدفق وتتغير بينما يعمل الكمبيوتر. هذا الحقل محكوم بقواعد مستعارة من الفيزياء، وتحديداً المعادلات التي تصف كيفية تموج الأمواج، أو انتشار الحرارة، أو حركة السوائل. صمم الباحثون هذا الحقل ليعمل كطبقة "ما وراء معرفية" (metacognitive layer): فهو لا يحل المسائل الرياضية أو يعالج اللغة؛ بل يراقب "العلامات الحيوية" للكمبيوتر، مثل مقدار الجهد الذي يبذله أو مدى عدم اليقين لديه، ثم يدفع النظام للقيام بمزيد من الحوسبة أو التقليل منها. كان الهدف هو معرفة ما إذا كان هذا النهج الفيزيائي يمكن أن يجعل الكمبيوتر أكثر متانة عند مواجهة مهام صعبة وغير مألوفة، وما إذا كان نوع الفيزياء المستخدمة — سواء كانت موجية أو سائلة — سيؤثر على النتيجة النهائية.
أجرى الباحثون سلسلة من التجارب الصارمة، حيث قاموا بتدريب نماذج كمبيوتر صغيرة على مهمة صعبة تتضمن دمج التباديل (permutations)، وهي مسألة تتطلب من النظام تتبع حالة متغيرة عبر خطوات عديدة. واختبروا نسخاً مختلفة من حاكمهم الفيزيائي، بما في ذلك نسخة تتصرف مثل موجة مخمدة، وأخرى مثل مادة منتشرة، وثالثة تتضمن سلوكيات تشبه السويد المعقدة. كما قارنوا بين هذه الحكام الفيزيائية وبين متحكم قياسي متعلم لا ترتبط به أي قواعد فيزيائية. كانت النتائج مفاجئة ودقيقة؛ إذ لم يؤثر نوع الفيزياء المستخدمة على دقة الإجابات. وسواء كان الحقل نموذجاً لموجة، أو عملية انتشار، أو حتى تدفقاً ثنائي الأبعاد لسائل، فقد أدى الكمبيوتر المهمة بنفس الكفاءة تماماً. وفي الواقع، وجد الباحثون أن نموذج السوائل اصطدم بحد قاطع: لأن فيزياء التدفق غير القابل للانضغاط تمنع المادة من التركز في نقطة واحدة، لم يستطع النموذج إيصال المعلومات بفعالية إلى الجزء المحدد من الكمبيوتر الذي يحتاجها. كانت الطبيعة الفيزيائية للحاكم غير ذات صلة بجودة الاستنتاج.
ومع ذلك، كانت بنية الحاكم مهمة، ولكن بطريقة محددة فقط. وجد الباحثون أن النظام من الدرجة الثانية، الذي يتصرف مثل موجة ذات عطالة (inertia)، ساعد الكمبيوتر على تخصيص موارده الحوسبية بشكل أكثر فعالية عند مواجهة مسائل غير مألوفة. سمح هذا الحاكم من الدرجة الثانية للنظام بتكييف جهده بشكل أفضل من النظام الأبسط من الدرجة الأولى. ومع ذلك، لم تكن هذه الميزة حصرية للفيزياء؛ فعندما استبدل الباحثون المعادلات الفيزيائية بخلية كمبيوتر متعلمة قياسية لها نفس الواجهة، أدت هذه الخلية المتعلمة أداءً مماثلاً، وفي بعض الحالات، كان أداؤها أفضل قليلاً. لم يكن الحقل الفيزيائي معززاً سحرياً للذكالء؛ فهو لم يجعل الكمبيوتر يفكر بذكاء أكبر أو يحل مسائل أصعب مما يستطيع حله بالفعل. كان دوره يقتصر حصرياً على تنظيم العملية، أي تحديد متى يتوقف، وليس القيام بالعمل نفسه.
تكمن القيمة الحقيقية لهذا البحث ليس في أداء الحقل، بل في موثوقيته. وبينما عمل المتحكم المتعلم بشكل جيد، إلا أن استقرار النظام كان شيئاً لم يستطع الباحثون ملاحظته إلا من خلال الاختبار. في المقابل، جاء الحاكم الفيزيائي مع إثبات رياضي بأنه لن يخرج عن السيطرة. أثبت الباحثون أن استقرار نظامهم يمكن اعتماده مسبقاً، وهي ميزة حاسمة في التطبيقات التي تتطلب معايير سلامة عالية حيث لا يكون وجود كمبيوتر جامح أمراً مقبولاً. لقد أثبتوا أن الديناميكيات الداخلية للنظام مضمونة البقاء مستقرة تحت مجموعة واسعة من الظروف، وهي يقين لا تستطيع الأنظمة المتعلمة توفيره بسهولة. تخلص الدراسة إلى أن الحقل الداخلي الديناميكي يعد مديراً قابلاً للاعتماد والتحقق للذكاء الاصطناعي، حيث يعمل كـ "جذع دماغ" حوسبي ينظم ميزانية التفكير. إنه أداة للتحكم، وليس للإدراك، وتتمثل أعظم مساهماته في القدرة على إثبات أن النظام سيظل مستقراً، بدلاً من مجرد الأمل في ذلك.
ملخص تقني: هل يمكن لمجال داخلي ديناميكي أن يحكم إدراك المحول (Transformer)؟
بيان المشكلة تتطلب الأنظمة الذكية ليس فقط قدرات الاستنتاج، بل أيضًا طبقة فوق معرفية (metacognitive) تحكم كيفية استنتاجها: تحديد عمق الحوسبة، ومتى تتوقف، وكيفية توزيع الجهد عبر مدخلات متفاوتة الصعوبة. في الأنظمة البيولوجية، يتم ملء هذا الدور بواسطة الأنظمة الاستتبابية (homeostatic) والتعديل العصبي (مثل جذع الدماغ والمهاد)، وليس القشرة المخية. يبحث هذا البحث فيما إذا كان المجال الداخلي الديناميكي — وهو حالة استتبابية منخفضة الأبعاد، محكومة بفيزياء صريحة ذات استقرار موثق — يمكن أن يعمل كحاكم فوق معرفي في محول متكيف. السؤال الجوهري هو ما إذا كان تثبيت سياسة التوقف في مثل هذا المجال يحسن الدقة، أو يعزز المتانة خارج نطاق التوزيع (OOD)، أو يقدم مزايا فريدة مقارنة بالمتحكمات المتكررة المتعلمة.
المنهجية يقترح المؤلفون المعالج الخلفي الاستتبابي (HBP)، وهو مجال منخفض الأبعاد مُعرف فوق مخطط وحدات المحول (كتل العمود الفقري، المستنتج، والذاكرة العاملة). يتطور المجال وفقًا لعائلة من المعادلات التفاضلية الجزئية (PDEs) على "لابلاسيان الرسم البياني" (graph Laplacian)، وتتطور عبر "الزمن" (تكرارات المستنتج) بدلاً من عمق الشبكة.
ديناميكيات المجال: تشمل عائلة HBP ما يلي:
الرتبة الثانية (الموجة): معادلة موجية مخمدة (Klein–Gordon مدفوعة) مع وضع مؤثرات غير متماثلة (antisymmetric) دورانية (gyroscopic).
الرتبة الأولى (الانتشار): حد انتشار (diffusive limit).
متغيرات غير خطية: تشمل تشتت من نوع KdV وتفاعلات تشبع.
الخلط: يسمح الخلط المحدب (α∈[0,1]) بالانتقال المستمر بين أنظمة الموجة والانتشار، وهو ما يمكن التحكم فيه عبر إشارات الاستقبال الداخلي (interoceptive signals).
الواجهة: تعرض كل وحدة إشارة استقبال داخلي (si، من أسفل إلى أعلى: التقدم، الجهد، الإنتروبيا) وتتلقى تعديلاً (mi، من أعلى إلى أسفل: عتبات التوقف، مكاسب الكتل، بوابات الذاكرة). لا يقوم المجال بمهمة الاستنتاج، بل يعدل سياسة الحوسبة.
تحليل الاستقرار: يقدم المؤلفون توصيفًا صارمًا للاستقرار:
ثنائية الوضع (Placement Dichotomy): يجب وضع المؤثرات غير المتماثلة بشكل دوراني (على السرعة) في ديناميكيات الرتبة الثانية، وبشكل موضعي في ديناميكيات الرتبة الأولى لتجنب "الرفرفة الدائرية" (instability كلاسيكية في الميكانيكا غير المحافظة).
شهادات منفصلة: تم اشتقاق معيار Schur–Cohn المنفصل الجديد لمكامل "فيرليه" (Verlet integrator) مع اقتران السرعة، مما يثبت الاستقرار لكل جذر كامن دون الحاجة لفرضيات التبادل (commutation) بين المؤثرات.
المهمة: تتبع الحالة غير التبادلية (non-commutative state tracking) على الزمرة المتناظرة S5 (بدرجة تعقيد NC1-hard)، والتي تتطلب حوسبة تكرارية.
النماذج: محولات صغيرة (decoder-only) تتراوح بارامتراتها بين 4.2 و5.6 مليون.
التصميم: بروتوكولات مسجلة مسبقًا مع بذور جديدة (n=10 في البداية، n=20 لإزالة التضارب).
الدراسات المقارنة (Ablations): مقارنات مع نماذج أساسية (النموذج الأصلي، التغليف المتعلم، والتغليف مع الذاكرة العاملة) ومع متحكم GRU "مطابق للواجهة" لعزل تأثير المكامل الفيزيائي عن واجهة التحكم.
إصلاح خطأ: تم تحديد وتصحيح خطأ حرج في الدقة العددية (تجمد BF16 للمعلمات الفيزيائية)، مما أدى إلى إعادة تشغيل التجارب (v3).
المساهمات الرئيسية
التموضع المعماري: تضع الأدلة التجريبية المجال الداخلي الديناميكي في طبقة الحاكم فوق المعرفي للحوسبة، وليس في طبقة الاستنتاج. هو يعدل الحوسبة لكنه لا يعزز القدرة الإدراكية (الدقة) نفسها.
الصيغة الجديدة: عائلة من مجالات المعادلات التفاضلية الجزئية (PDE) الاستتبابية فوق رسوم بيانية للوحدات، تتميز بالخلط المستمر بين فروع الرتبة الأولى والثانية مع إمكانية التغليف عبر الاستقبال الداخلي.
توصيف الاستقرار: تحليل استقرار شامل يجمع بين النتائج الكلاسيكية (Kelvin–Tait–Chetaev placement، وعتبة Bottema للرفرفة) مع معيار Schur–Cohn المنفصل الجديد لمكامل "فيرليه". يوفر هذا شهادة قابلة للتحقق أثناء التشغيل للاستقرار.
النتائج التجريبية (الجوهر مقابل الهيكل مقابل القابلية للتوثيق):
الجوهر (لا): نوع الفيزياء (موجة، انتشار، KdV، تدفق Navier–Stokes) غير ذي صلة بالدقة. تعمل التدرجات فعليًا على تصفيح طلبات التعديل إلى نقاط ضبط شبه ثابتة، مما يجعل "نكهة" النظام الديناميكي غير مؤثرة. حتى ركائز التدفق غير القابلة للانضغاط تفشل في تركيز المعلومات.
الهيكل (جزئيًا): توفر ديناميكيات الرتبة الثانية (القصور الذاتي) تخصيصًا أكثر متانة للحوسبة في حالات OOD مقارنة بانتشار الرتبة الأولى أو التغليف المتعلم، ولكن فقط في واحدة من عائلتين من المولدات بمجرد مساواة السعة. في العائلة الأخرى، يؤدي متحكم GRU المطابق للواجهة أداءً مساويًا أو أفضل.
القابلية للتوثيق (نعم): القيمة الفريدة لـ HBP ليست في الأداء المتفوق، بل في الاستقرار المثبت. بخلاف التكرارات المتعلمة (التي قد تتطلب شهادات مخصصة ومحافظة)، فإن استقرار المجال مستمد مباشرة من نصف قطره الطيفي وخصائصه الهيكلية، مما يوفر طبقة "جذع دماغ" مضمونة عدم التباعد.
النتائج
الدقة: لم يحقق HBP أي تحسن في دقة التوزيع الداخلي أو OOD مقارنة بنموذج أساسي يحتوي على تغليف متعلم وذاكرة عاملة. كما أن الذاكرة العاملة نفسها لم تضف أي قيمة كبيرة مقارنة بالتكرار البسيط.
تخصيص الحوسبة: في عائلة مولد "التبديلات المتجاورة"، أظهر HBP من الرتبة الثانية قدرة أفضل بكثير على التكيف مع الحوسبة في حالات OOD (الارتباط بين صعوبة المشكلة وعدد التكرارات) مقارنة بالتحكم المتعلم. ومع ذلك، تلاشى هذا التأثير في عائلة "5-cycle" بمجرد مساواة سقف البارامترات، كما طابق متحكم GRU أداء HBP في عائلة التبديلات المتجاورة.
عدم جدوى الفيزياء: أكدت التجارب مع الاقتران غير الموضعي (Poisson enslavement) وركائز تدفق Navier–Stokes ثنائية الأبعاد أن النظام الفيزيائي لا يغير الدقة. إن حد عدم الانضغاط (∇⋅u=0) يمنع ركائز التدفق من تركيز المعلومات، حيث تعمل فقط كمزج.
تراكم الأدلة: اختبرت تجربة "بوابة القتل" (kill-gate) ما إذا كان المجال يعمل كمجمع للأدلة الزمنية. كانت النتائج سلبية (ΔAUC≈0)، مما يشير إلى أن الحالة المتكررة للمستنتج تدمج تاريخها بالفعل، مما يترك مساحة فارغة للمجال لملئها كمجمع للأدلة.
الأهمية والادعاءات يخلص البحث إلى أن المجال الداخلي الديناميكي هو حاكم حوسبة قابل للتوثيق ولكنه ليس معززًا للإدراك.
الدور: يعمل كـ "جذع دماغ" للبنية المعرفية — يضبط الكسب، والاستثارة، والميزانية — وليس كـ "قشرة" تؤدي عملية الاستنتاج.
القيمة المميزة: مساهمته الأساسية هي القابلية للتوثيق. بينما يمكن للمتحكمات المتكررة المتعلمة (مثل GRUs) تحقيق أداء مماثل في تخصيص الحوسبة، إلا أنها تفتقر إلى ضمانات الاستقرار الصريحة والمثبتة التي يوفرها HBP عبر خصائصه الطيفية وقيود وضعه.
القيود: الفوائد الهيكلية (القصور الذاتي من الرتبة الثانية) محدودة بعائلات محددة من المولدات وليست حصرية للمكاملات الفيزيائية. كما أن "جوهر" الفيزياء (موجة مقابل انتشار) غير ذي صلة بالأداء في النظام المختبر.
يؤكد المؤلفون أن توصيف ما لا يستطيع المكون فعله (تعزيز الدقة، العمل كمجمع للأدلة) لا يقل أهمية عن توصيف ما يمكنه فعله (تعديل الحوسبة باستقرار مثبت). يساعد هذا التمييز في تحديد الطبقة المناسبة للمجالات الاستتبابية في البنى التكيفية.