SCOPE؟">ما هو SCOPE؟
SCOPE (التخطيط والتنفيذ مشروط بالحالة) يُعتبر نموذج تثبيت قوي يركز على تحقيق تقسيم العمل الطبيعي بين النموذج والعمليات الحسابية. يقسم عمله إلى ثلاثة أقسام رئيسية: التخطيط باستخدام مفردات العمليات، تنفيذ الحسابات بواسطة محرك رمزي، وتصميم الإثبات بواسطة مترجم.
إنجازات النظام">إنجازات النظام
أثبت SCOPE كفاءته من خلال نجاحه في اختبار 218 مسألة، حيث حصل على نسبة تأكيد تبلغ 87.6% (191 من 218)، وذلك باستخدام العمود الفقري بوزن 135 مليون. بينما نموذج DeepSeek-Prover-V1.5-RL حقق 18 من 218 فقط، مع تكلفة زمنية ضخمة وتعقيد أعلى مقارنة بـ SCOPE.
SCOPE؟">كيف يعمل SCOPE؟
العملية تتطلب مراحل متعددة من اتخاذ القرارات، حيث يُظهر النظام أن التفكير المُتعدد الخطوات لا يكفي لوحده، وإنما يتطلب ربط الحالة الحالية بإدارة المعلومات خلال فترة اتخاذ القرار. من خلال تحسينات هذا النوع، تمكن SCOPE من رفع نسبة النجاح بشكل ملحوظ.
تأشير النظر في المكتبة العامة Lean-Workbook يُظهر نتائج مثيرة، حيث تم التحقق من 2,132 من أصل 3,536 من المشاكل القابلة للتصحيح، بنسبة تأكيد 60.29% مع الحفاظ على نتائج مستقرة.
بشكل عام، يمثل SCOPE خطوة جادة نحو مستقبل الذكاء الاصطناعي في إثبات النظريات، ويشير إلى أن زيادة حجم النموذج ليست الطريقة الوحيدة لتحقيق إنجازات أكبر.