هل تستطيع المحوّلات اختيار النموذج؟ اختبار بايزي من arXiv على نموذج بـ 2.8M معلمة

تعلّم محوّل بحجم 2.8 مليون معلمة الاختيار البايزي للنموذج، أي تحديد فئة الفرضيات التي وُلّدت منها البيانات، بفارق لا يتجاوز 0.01 بت عن الحد الأمثل النظري. وهذا ما أظهرته دراسة «Bayesian Wind Tunnels for Model Selection» التي نُشرت على arXiv في يوليو 2026.

ما المقصود بـ«الأنفاق الهوائية البايزية»

«الأنفاق الهوائية البايزية» بيئات خاضعة للتحكم، يكون فيها التوزيع اللاحق الدقيق على فئات الفرضيات معروفًا بصيغة مغلقة، ولذلك تُقارَن إجابة النموذج مباشرة بالحد الأمثل البايزي. وقد ثبت سابقًا أن المحوّلات تنفّذ تصفية بايزية دقيقة داخل فئة فرضيات واحدة ثابتة. أما السؤال الجديد الذي يطرحه المؤلفون فهو: هل يستطيع النموذج اختيار الفئة نفسها، أي التعرّف على البنية التي أنتجت البيانات؟

بُنيت المهام على الإنفلوشنات (involutions) الخالية من النقاط الثابتة، وهي دوال تحقق الخاصية f(f(x))=x، وهي خاصية علائقية بحتة. ويصل المحوّل إلى توافق مع الحد الأمثل حتى حين تكون الرموز معتمة وتتغير قيمها في كل حلقة (episode). وللعمل مع الرموز المعتمة أهمية خاصة، لأنه يستبعد أي مؤشرات قد يتشبّث بها النموذج، ولا يُبقي سوى بنية المهمة.

• النموذج محوّل بحجم 2.8 مليون معلمة، جرى اختباره على 3 seeds
• التوافق في الإنتروبيا مع الحد الأمثل البايزي: 0.01 بت
• المقارنة غير المتداخلة (non-nested) بين الإنفلوشنات والدورات الثلاثية (3-cycles): خطأ التوزيع اللاحق MAE أقل من 0.001
• يظل الحد الفاصل في المهام الحسابية قائمًا عند التوسيع بمقدار 112 مرة (من 2.8M إلى 316M معلمة)
• فجوة المعايرة لدى نماذج LLM الحديثة: نحو 55×

أين ينهار اختيار النموذج

ينهار اختيار النموذج تمامًا حين لا يمكن التمييز بين الفئات إلا عبر العمليات الحسابية، أي الجمع أو الضرب بالمقياس. عندها يتعامل المحوّل جيدًا مع الرموز العددية الصحيحة، لكنه يفشل مع الرموز المعتمة. ووفقًا لملخص الدراسة، يبقى هذا الحد قائمًا عند تكبير النموذج 112 مرة، من 2.8 إلى 316 مليون معلمة، ما يعني أن السبب لا يكمن في حجم الشبكة.

وحدّد تشخيص المهام الفرعية موضع الخلل: فهو يظهر عند تركيب انعكاس الترويسة (header inversion) مع العمليات الحسابية، لا في تحليل الترويسة نفسه.

المسألة في الدلالة المستقرة

سبب الإخفاق ليس في الأعداد بحد ذاتها، بل في ثبات المعاني. فقد أظهرت تجربة ضابطة لاختبار الثبات أن الرموز المعتمة ذات إعادة التسمية الثابتة تعطي خطأ لا يتجاوز 0.009 بت، أي أنها تعمل بكفاءة لا تقل عن الأعداد الصحيحة.

«الدلالة المستقرة، لا الهوية العددية الصحيحة، هي ما يتيح «تصريف»

(compile) الدارة الحسابية»، كما ورد في ملخص الدراسة على arXiv.

وكشف اختبار نماذج LLM المتقدمة الحديثة على المهام نفسها عن سلوك بايزي من الناحية النوعية، لكن مع فجوة معايرة كبيرة تبلغ نحو 55×. ويؤكد المؤلفون أن هذا التقدير مستمد من مجسّات «خسارة» (loss probes)، ولذلك فهو يحدد الاتجاه لا القيمة الدقيقة.

ماذا يعني ذلك

ترسم الدراسة حدًّا محددًا لقدرات المحوّلات: فهي قادرة على اختيار النموذج، لكن فقط حين يتوفر للسمة المميِّزة وصول مستقر إلى الدلالة. وهذا معيار مرجعي للتفسيرية الآلية (mechanistic interpretability)، إذ يبيّن أي الدارات الحسابية تستطيع الشبكة «تصريفها»، وأيها يبقى بعيد المنال عنها بصرف النظر عن عدد المعلمات.

أسئلة شائعة

ما هو الاختيار البايزي للنموذج؟

هو القدرة على تحديد فئة الفرضيات التي جاءت منها البيانات، لا مجرد تقدير المعلمات داخل فئة واحدة. ففي الدراسة يقارن المحوّل، على سبيل المثال، بين الإنفلوشنات والدورات الثلاثية، ويُخرج توزيعًا لاحقًا بخطأ أقل من 0.001.

لماذا يفشل النموذج في الحساب؟

حين تتطلب السمة المميِّزة بين الفئات جمعًا أو ضربًا بالمقياس، لا ينجح المحوّل إلا مع الرموز العددية الصحيحة، ويفشل تمامًا مع الرموز المجردة. وأظهر الاختبار الضابط أن العامل الحاسم هو ثبات دلالة الرموز، لا طبيعتها العددية.