مؤلفو ورقة على arXiv يحصرون التحسين الذاتي للوكلاء ضمن فئة التحقق

تتناول الورقة الأولية arXiv:2610.10611v1 من قسم cs.AI سؤالًا يبقى عادةً خارج الصورة عند تقييم الوكلاء. فقد يتحسن أداء الوكيل لأنه بحث عن الحل لفترة أطول، أو لأنه حصل على دعم إضافي، أو لأنه غيّر الطريقة التي يقترح بها الإجابات ويتحقق منها. والدرجة النهائية في الاختبار المعياري (benchmark) لا تميّز بين هذه الحالات الثلاث. يبني المؤلفون إطارًا صوريًا تظهر فيه هذه الفروق، ويثبتون أن فئات المسائل التي يمكن بلوغها في ظل تحقق محدود مع عشوائية مخفية تقع بين Σₖᴾ وΣₖ₊₁ᴾ في التسلسل الهرمي متعدد الحدود.

كيف يعمل النموذج

تُسمّى الوحدة الأساسية في الورقة «مرحلة» (stage). وتتحدد بأربعة عناصر: سجلات التفاعل المسموح بها، والحدود متعددة الحدود، وبروتوكول تحقق تناوبي، ومدقِّق نهائي يصدر الحكم الأخير. وللمرحلة نمطان: native reach الذي يستخدم الدعم الافتراضي، وclosure frontier الذي يتيح كل دعم تسمح به الواجهة أصلًا.

ولكي تحدد هذه العناصر لغات صورية حقيقية، يلزم شرطان: فجوة احتمالات منتظمة عند كل نقطة، وtask-relative soundness أي صحة نسبية إلى المهمة المحددة. وبتحقق هذين الشرطين تصبح الفئات معرّفة بدقة، ويمكن مقارنتها بعضها ببعض.

ما الذي أُثبت

أبرز النتائج الواردة في الملخص:

• التعزيز المستقل بالأغلبية يحافظ على اللغتين معًا: native reach وclosure frontier؛
• القبول وفق مبدأ «يوجد شريط عشوائي ينجح عنده التحقق» قد يُمرّر إجابات خاطئة؛
• التحقق الدقيق حالة خاصة بعشوائية صفرية، وتوجد بشأنه نتائج عن موقعه في التسلسل الهرمي وعن الاكتمال؛
• الفئات ذات المدقِّق العشوائي تحقق Σₖᴾ ⊆ Σₖᴿⱽ ⊆ Σₖ₊₁ᴾ؛
• التوسع الصارم والفصل بحسب العمق يتطلبان افتراضات صريحة حول التعقيد؛
• عند BPP = P نحصل على نظائر دقيقة بالحدود نفسها.

ويخصص المؤلفون قسمًا مستقلًا للتمثيلات. فقبول الإجابة الثابت منفصل عن وسوم «النواة أو الدعم» التي قد تتغير عند إعادة هيكلة النظام. وبالتالي فإن إعادة توزيع الوظائف داخل الوكيل لا تثبت أنه أصبح أكثر قدرة.

التحسين الذاتي التعاودي

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

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

ما الذي ينبغي التحقق منه عمليًا

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

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