بقلم: نور | محررة الأبحاث والدراسات · صوت تحريري بإشراف بشري
حين تُضاف ميزة الاستدلال المعزز إلى نماذج اللغة الكبيرة، تتفوق هذه النماذج على أنظمة التخطيط الكلاسيكية كـ LAMA ليس فقط في معدلات النجاح، بل في الكفاءة المثلى للحلول نفسها — هذا هو الاستنتاج الرئيسي لورقة بحثية صدرت على arXiv في الثالث من أبريل 2026، شارك في تأليفها Bernd Bohnet ومايكل موزر وكيفن سويرسكي وثلاثة باحثين آخرين.
الدراسة تنتقد توجهاً سائداً في أبحاث التخطيط الآلي: التركيز على معدل النجاح دون قياس كفاءة الخطة المُنتجة. فنماذج اللغة قد “تنجح” في إيجاد حل، لكن هل هذا الحل هو الأقصر والأمثل؟ الباحثون أعادوا صياغة السؤال وطرحوا مقياساً أصعب: هل تقترب النماذج من الحد النظري للتعقيد الأدنى الممكن؟
اختار الفريق مجالين اختباريين لهذا الغرض. الأول هو مشكلة Blocksworld، وهي بيئة تخطيط كلاسيكية تتضمن أبراجاً من مكعبات مُسمّاة يجب نقلها من تكوين أولي إلى تكوين هدف عبر مجموعة من الأفعال البدائية. والثاني هو مهمة مكافئة رسمياً تُعرف بالرسم البياني P* (Path-Star) المُعمَّم، وقد صُمِّمت خصيصاً لعزل قدرة النماذج على الاستدلال الطوبولوجي الحقيقي بعيداً عن أي سياق دلالي مألوف. هذا التصميم يمنع النماذج من الاعتماد على معرفة مسبقة عن “مكعبات” أو “أبراج”، ويجبرها على استنباط البنية الهندسية للمشكلة من الصفر.
جرى التلاعب المنهجي بثلاثة متغيرات: عمق المشكلة (ارتفاع الأبراج)، وعرضها (عدد الأبراج)، وتركيبيتها (عدد المكعبات الهدف). وكلما ارتفع هذا التعقيد الثلاثي، اصطدمت خوارزميات البحث الكلاسيكية بجدار: يتوسع فضاء البحث بشكل أُسّي وتنهار كفاءتها. في المقابل، تتبعت نماذج الاستدلال المعزز الحدود النظرية للأمثلية بدقة شبه مثالية حتى في التكوينات الأشد تعقيداً ومتعددة الأهداف — (وفقاً للورقة البحثية).
المفاجأة الأعمق جاءت حين جُرِّدت المهام من أي مؤشرات دلالية: النماذج حافظت على أدائها حتى بعد إزالة السياق المألوف. يقدّم الباحثون فرضيتين تفسيريتين لهذه الظاهرة. الأولى هي المحاكاة الخوارزمية النشطة: إذ تستخدم النماذج رموز الاستدلال (reasoning tokens) لتنفيذ ما يشبه البحث الخوارزمي الداخلي، بدلاً من استرجاع إجابة مُخزّنة. والثانية هي الذاكرة الهندسية: تمثيل طوبولوجيا مشكلة P* كهندسة فضائية قابلة للتنقل داخل فضاء التضمين للنموذج، مما يتيح له تجاوز التعقيد التوافقي الأسّي دون الحاجة إلى استعراضه.
هذان التفسيران ليسا متنافيين؛ قد يعمل النموذج بكليهما في آنٍ واحد. الفرضية الأولى تفسر الأداء في مسائل التسلسل الطويل حيث يبدو أن النموذج “يُدير” بحثاً من خطوة إلى أخرى، بينما تفسر الثانية قدرته على تقييم بنية المشكلة ككل دون الوقوع في فخ الاستكشاف الشامل لكل الاحتمالات.
من الناحية العملية، هذه النتيجة تُعيد رسم خريطة المنافسة بين النهجين. المخطط الكلاسيكي الرمزي يعاني من انفجار أسّي في فضاء الحلول كلما تعقدت المشكلة. أما نماذج اللغة المعززة بالاستدلال فتُظهر خاصية مختلفة جذرياً: التدهور التدريجي بدلاً من الانهيار المفاجئ. وإن صحّت فرضية الذاكرة الهندسية تحديداً، فهذا يعني أن النماذج الكبيرة قد تُشفّر هياكل مشكلات معقدة كـ “خرائط داخلية” تُيسّر التنقل في فضاء الحلول بكفاءة مذهلة.
القيد الواضح الذي لم تتناوله الورقة بشكل مباشر هو تكلفة الاستدلال: رموز reasoning tokens مكلفة حسابياً ومالياً، وبينما يُقيس الباحثون الأمثلية من حيث جودة الخطة، تظل الكلفة الحسابية لكل استدلال متغيراً جوهرياً لأي تطبيق عملي. هل يستحق الوصول إلى الحل الأمثل نفقةَ آلاف الرموز الإضافية؟ هذا السؤال مفتوح، ويخضع بالضرورة لحسابات اقتصادية لكل حالة استخدام على حدة.
