When Do Tools and Planning Help Large Language Models Think? A Cost- and Latency-Aware Benchmark
تقدم هذه الورقة معياراً يراعي التكلفة وزمن الاستجابة، يوضح أنه في حين أن التخطيط المعزز بالأدوات يحسن الدقة بشكل كبير للمهام المعقدة القائمة على المعرفة مثل "الاستعلام عن الأحداث" (Event-QA)، إلا أنه غالباً ما يتسبب في تكاليف زمن استجابة باهظة ولا يقدم أي فائدة — أو حتى يؤدي إلى تدهور الأداء — في مهام مثل توليد الاستجابات الإقناعية حيث يكون التلقين البسيط من محاولة واحدة أكثر كفاءة.
تخيل أنك تقوم بتوظيف فريق من المحققين لحل نوعين مختلفين تماماً من الألغاز. يتطلب أحد الألغاز البحث في مكتبة ضخمة ومنظمة من الحقائق (مثل السجلات الرسمية للمدينة)، بينما يتطلب الآخر كتابة رسالة مقنعة لإقناع جار بتغيير رأيه بشأن قضية محلية.
هذا البحث هو في الأساس بمثابة "تقرير درجات" يوضح مدى كفاءة نوعين مختلفين من المحققين (نماذج اللغات الكبيرة، أو LLMs) عندما يُسمح لهم باستخدام أدوات مثل محركات البحث وقواعد البيانات مقابل عندما يتعين عليهم الاعتماد فقط على ذاكرتهم.
إليك تفاصيل الدراسة باستخدام تشبيهات بسيطة:
المحققان الاثنين
اختبر الباحثون نسختين من نفس وكالة التحقيق:
المحقق الخبير (GPT-4o): ذكي جداً وذو خبرة عالية، لكن توظيفه مكلف وبطيء في العمل لأنه يفكر بعمق.
المحقق المبتدئ (GPT-4o-mini): أقل خبرة، وتكلفة توظيفه أرخص، ويعمل بسرعة كبيرة، ولكنه قد يغفل عن التفاصيل الدقيقة.
لغزا المهمتين (المهام)
1. لغز "المكتبة" (Event-QA)
المهمة: الإجابة على أسئلة محددة حول أحداث وقعت في الماضي (على سبيل المثال: "من حضر الاجتماع في عام 2019؟"). الإجابات مخفية في قاعدة بيانات معقدة ومنظمة (مثل جدول بيانات ضخم من الحقائق).
الاستراتيجية: يمكن للمحققين إما تخمين الإجابة فوراً (One-Shot) أو استخدام طريقة (التخطيط-التنفيذ-إعادة التخطيط). وهذا يعني أنهم يتوقفون، ويضعون قائمة بالخطوات، ثم يبحثون عن الحقائق في المكتبة، ويتأكدون مما إذا كانوا قد وجدوا المعلومات الصحيحة، وإذا لم يجدوها، يضعون خطة جديدة للبحث مجدداً.
النتيجة:
المحقق الخبير كان مذهلاً في هذا النوع عند استخدامه لأدوات المكتبة. قفزت دقة نتائجه من حوالي 47% إلى 67%. ومع ذلك، استغرق الأمر منه وقتاً طويلاً جداً (حوالي 317 ثانية لكل سؤال) لأنه كان يقرأ الخرائط بدقة ويراجع الملفات بشكل متقاطع.
المحقق المبتدئ واجه بعض الصعوبات مع أدوات المكتبة المعقدة، لكنه قدم أداءً جيداً بشكل مفاجئ مع أداة أبسط (البحث في ويكيبيديا فقط). كان أسرع ولكنه كان أقل دقة من المحقق الخبير.
الدرس المستفاد: بالنسبة للألغاز الصعبة القائمة على الحقائق، فإن استخدام الأدوات والتخطيط يساعد، ولكن ذلك يكلف الكثير من الوقت. أنت بحاجة إلى "المحقق الخبير" للتعامل مع الأدوات المعقدة بفعالية.
2. لغز "الجدال" (ChangeMyView)
المهمة: كتابة رد مقنع لشخص ما حول رأيه في منتدى (مثل Reddit). الهدف هو تغيير رأيه.
الاستراتيجية: مرة أخرى، كان بإمكانهم إما كتابة الحجة فوراً (One-Shot) أو التوقف للبحث في الويب عن معلومات خلفية وتخطيط حجتهم (التخطيط + البحث).
النتيجة:
مفاجأة! استراتيجية "التخطيط والبحث" أدت في الواقع إلى تراجع الأداء.
المحقق المبتدئ الذي استخدم طريقة "المرة الواحدة" (One-Shot) البسيطة كان هو الفائز. لقد نجح في المهمة بنسبة 75% في غضيرة 6 ثوانٍ فقط.
عندما حاول المحقق المبتدئ استخدام طريقة "التخطيط والبحث"، أصيب بالارتباك، واستغرق وقتاً طويلاً (أكثر من 150 ثانية)، وحصل على إجابات خاطئة بشكل أكبر.
الدرس المستفاد: بالنسبة للمهام الإبداعية أو القائمة على الآراء، فإن الإفراط في التفكير والبحث عن حقائق إضافية يمكن أن يكون تشتيتاً. أحياناً، يكون الوثوق بحدسك (أو المعرفة الداخلية للنموذج) أسرع وأفضل.
الخلاصة الكبرى: معضلة "صندوق الأدوات"
يطرح البحث سؤالاً عملياً للغاية للشركات: "متى يستحق الأمر دفع مبلغ إضافي مقابل عقل أذكى وصندوق أدوات أكبر؟"
فخ "الإفراط في الهندسة": وجد الباحثون أنه بالنسبة لبعض الوظائف (مثل الجدال)، فإن إعطاء المحقق صندوق أدوات ضخماً وإخباره بـ "خطط لكل شيء" جعلهم فقط بطيئين وخرقاء. كان الأمر أشبه بإعطاء عداء حقيبة ظهر مليئة بالطوب؛ لم يعد بإمكانه الركض بسرعة.
"الأداة المناسبة للمهمة المناسبة":
إذا كنت بحاجة إلى حقائق صلبة من قاعدة بيانات، فاستخدم المحقق الخبير مع أدوات المكتبة. سيكون الأمر بطيئاً ومكلفاً، لكنه سينجز المهمة.
إذا كنت بحاجة إلى كتابة إقناعية أو إجابات سريعة، فاستخدم المحقق المبتدئ مع عدم استخدام أدوات. سيكون الأمر رخيصاً، فورياً، ودقيقاً بشكل مفاجئ.
الخلاصة النهائية
لا تحتاج دائماً إلى الذكاء الاصطناعي الأكثر تكلفة أو أكثر أنظمة التخطيط تعقيداً.
فكر: إذا كانت المهمة تشبه حل مسألة رياضية أو العث البحث عن حقيقة محددة، فأبطئ، واستخدم الأدوات، وخطط.
لا تفكر: إذا كانت المهمة تشبه كتابة بريد إلكتروني أو مجادلة نقطة معينة، فاجعل الأمر بسيطاً، وتخطَّ الأدوات، وانطلق فقط.
يعلمنا هذا البحث أن "التفكير بجهد أكبر" (استخدام المزيد من الأدوات والتخطيط) ليس دائماً أفضل؛ بل قد يكون أحياناً مجرد إضاعة للوقت والمال. المفتاح هو مطابقة مستوى مهارة المحقق وحجم صندوق أدواته مع اللغز المحدد الذي يحاول حله.
إليك ملخص تقني مفصل للورقة البحثية بعنوان: "متى تساعد الأدوات والتخطيط النماذج اللغوية الكبيرة على التفكير؟ معيار مراعٍ للتكلفة وزمن الاستجابة."
1. بيان المشكلة
تعتمد النماذج اللغوية الكبيرة (LLMs) الحديثة بشكل متزايد على التخطيط أثناء الاستدلال والأدوات الخارجية (مثل محركات البحث، وقواعد البيانات) لتعزيز قدرات الاستدلال لديها. ومع ذلك، هناك نقص في التوجيه التجريبي حول متى تؤدي استراتيجيات "التفكير" المعقدة هذه (التخطيط متعدد الخطوات، وتنسيق الأدوات) إلى تحسين الأداء مقابل متى تسبب تأخراً غير ضروري في زمن الاستجابة (latency) وتكاليف إضافية.
المشكلة الجوهرية التي تعالجها الورقة هي المقايضة بين الدقة، وزمن الاستجابة، والتكلفة بالدولار. يواجه الممارسون سؤالاً متكرراً: هل يبرر استخدام نموذج أكبر وأغلى ثمناً مع أدوات معقدة تكلفته مقارنة بنموذج أصغر يستخدم التلقين البسيط ذي الخطوة الواحدة (one-shot prompting)؟ تركز المعايير الحالية غالباً على الألغاز الاصطناعية أو تتجاهل القيود الاقتصادية والزمنية في عمليات النشر الواقعية.
2. المنهجية
يقترح المؤلفون معياراً مراعياً للتكلفة وزمن الاستجابة يقيم سيناريوهين متميزين من الواقع باستخدام سير عمل تجريبي مضبوط.
أ. مجموعات البيانات والسيناريوهات
الأسئلة والأجوبة حول الأحداث (Event-QA) (المعرفة المهيكلة):
المهمة: الإجابة على أسئلة متمحورة حول الأحداث عبر معرفة مهيكلة في شكل رسوم بيانية (DBpedia).
التحدي: يتطلب تفسير الأسئلة ذات اللغة الطبيعية إلى استعلامات رسوم بيانية مهيكلة (SPARQL) والتعامل مع ربط الكيانات.
البيانات: 60 مثالاً (3 تقسيمات، كل منها 20 مثالاً) تغطي أسئلة العدّ (Count)، والأسئلة المنطقية (Boolean)، وأسئلة الكيانات (Entity).
تغيير وجهة النظر (ChangeMyView - CMV) (الإقناع في النطاق المفتوح):
المهمة: توليد ردود إقناعية في المناقشات عبر الإنترنت (Reddit).
التحدي: يتطلب فهم الحجج، ومواءمة النبرة، واحتمالية استرجاع المعرفة الخلفية للمواضيع السياسية أو السياساتية.
البيانات: 60 مطالبة (prompt) مع ردود مرجعية (3 تقسيمات، كل منها 20 مطالبة).
ب. الإعداد التجريبي
النماذج: تمت مقارنة GPT-4o (سعة أعلى، تكلفة أعلى) مقابل GPT-4o-mini (أصغر، تكلفة أقل).
البنى (Architectures):
الأساس (NoPlanning) (بدون تخطيط): تلقين بـ "خطوة واحدة" دون استخدام أدوات.
الوكيل (Agent) (خطط–نفذ–أعد التخطيط): آلة حالة (state machine) ثلاثية المراحل تم تنفيذها عبر LangGraph:
المخطط (Planner): يولد خطة خطوة بخطوة ويختار الأدوات.
المنفذ (Executor): يستدعي الأدوات (DBpedia SPARQL، بحث ويكيبيديا، بحث ويب) ويجمع الأدلة.
معيد التخطيط/المجيب (Replanner/Answerer): يقيم كفاية الأدلة؛ إذا كانت غير كافية، يقوم بتعديل الخطة؛ وإلا، يولد الإجابة النهائية.
الأدوات:
Event-QA: البحث في DBpedia، مستكشف المخطط (Schema Explorer)، تنفيذ SPARQL، وبحث ويكيبيديا.
CMV: بحث ويب موضوعي (Tavily) عبر 10 مجالات محددة (مثل السياسة، الاقتصاد).
مقاييس التقييم:
الدقة: مطابقة تامة (Exact match) لـ Event-QA؛ ومقياس ROUGE-1 F-measure (بحد أدنى ≥ 0.27) لـ CMV.
زمن الاستجابة (Latency): الوقت الإجمالي لكل مثال (بما في ذلك جميع استدعاءات الأدوات وتكرارات التخطيط).
التكلفة: حُسبت بناءً على استخدام الرموز (tokens) وأسعار OpenAI الرسمية.
ج. بروتوكول الضبط (Tuning Protocol)
استخدم المؤلفون بروتوكول ضبط تكراري عبر تقسيمات البيانات:
ضبط المطالبات (prompts) على التقسيم الأول (Split 1).
نقل الإعدادات إلى التقسيم الثاني (Split 2) لمزيد من الضبط.
تقييم الإعداد النهائي على التقسيم الثالث (Holdout Split 3). تم حساب النتائج النهائية كمتوسط للتقسيمين الثاني والثالث.
3. المساهمات الرئيسية
سير عمل تقييم عملي: تحديد معيار قابل لإعادة الإنتاج باستخدام هيكل (خطط–نفذ–أعد التخطيط) يحاكي الأنظمة الوكيلية (agentic systems) في الواقع، متجاوزاً الألغاز الاصطناعية.
التقييم المزدوج للمهام: تقييم كل من الوصول إلى المعرفة المهيكلة (Event-QA) والمرافعة الإقناعية (CMV) لاختبار حدود استخدام الأدوات في سياقات استدلال مختلفة.
تحليل المقايضة بين التكلفة وزمن الاستجابة والدقة: تقديم بيانات تجريبية حول كيفية تفاعل حجم النموذج وتعقيد الأدوات، مما يوفر توجيهاً محدداً لمهندسي الأنظمة حول متى يجب "التوسع للأعلى" (حجم النموذج) مقابل "التوسع للخارج" (الحوسبة/الأدوات).
4. النتائج الرئيسية
أ. Event-QA (الاستدلال المهيكل)
النتيجة: أدى التخطيط المعزز بالأدوات إلى تحسين الدقة بشكل كبير ولكن بتكلفة هائلة في زمن الاستجابة.
الأداء:
GPT-4o + DBpedia: حقق أعلى دقة (67.5% نهائية، بلغت ذروتها عند 75%) ولكنه تطلب ~317 ثانية لكل مثال (مقابل ~8 ثوانٍ للنموذج الأساسي).
GPT-4o-mini + Wikipedia: حقق توازناً بين الأداء (55% دقة) مع زمن استجابة قدره ~84 ثانية.
النموذج الأساسي (Baseline): حقق نموذج GPT-4o الأساسي دقة 47.5% في حوالي 8 ثوانٍ.
الاستنتاج: بالنسبة للاستعلامات الرسومية المعقدة، كان النموذج الأكبر (GPT-4o) ضرورياً للتعامل مع تنسيق الأدوات متعدد الخطوات. عانى النموذج الأصغر من صعوبة في التعامل مع منطق التحكم المطلوب لتوليد SPARQL، مما أدى إلى الفشل.
ب. CMV (الإقناع)
النتيجة: النهج الأبسط (الخطوة الواحدة) كان هو الأفضل. إضافة الأدوات والتخطيط أدى إلى تدهور الأداء أو عدم تحقيق أي مكاسب مع زيادة هائلة في زمن الاستجابة.
الأداء:
GPT-4o-mini (بدون تخطيط): حقق أفضل نتيجة إجمالية (75% دقة) مع أدنى زمن استجابة (~6 ثوانٍ).
GPT-4o-mini (التخطيط والبحث): انخفضت الدقة إلى 50%، بينما انفجر زمن الاستجابة إلى 150–216 ثانية.
GPT-4o (بدون تخطيط): حقق 70% دقة في حوالي 6 ثوانٍ.
الاستنتاج: بالنسبة للإقناع مفتوح النهايات، كانت المعارف المسبقة الداخلية للنموذج كافية. أدى استرجاع المعلومات الخارجي إلى إدخال الضوضاء أو تشتيت النموذج، وكان النموذج الأصغر أكثر كفاءة في أداء مهمة الخطوة الواحدة مقارنة بالنموذج الأكبر.
ج. حجم النموذج مقابل تعقيد الأدوات
GPT-4o: أكثر ملاءمة لخطوط العمل المعقدة متعددة الأدوات (Event-QA) حيث يتطلب الأمر عمقاً في الاستدلال.
GPT-4o-mini: فعال للغاية للمهام البسيطة أو الاسترجاع خفيف الوزن (بحث ويكيبيديا) ولكنه عرضة للفشل في التنسيق المعقد متعدد الخطوات (DBpedia/PlanningSearch).
5. الأهمية والآثار المترتبة
تتحدى الورقة الافتراض القائل بأن "المزيد من التفكير" (مزيد من الأدوات، مزيد من الخطوات) هو دائماً الأفضل. وهي تقدم إرشادات للنشر (deployment heuristic):
ابدأ بالبساطة: ابدأ بنموذج أساسي منخفض زمن الاستجابة ذي خطوة واحدة، ويفضل استخدام نموذج أصغر وفعال من حيث التكلفة (مثل GPT-4o-mini).
أضف التعقيد فقط عند الضرورة: أدخل التخطيط والأدوات فقط عندما تتطلب المهمة الوصول إلى أدلة مهيكلة (مثل استعلامات الرسوم البيانية) أو تركيباً متعدد الخطوات لا يستطيع النموذج التعامل معه داخلياً.
ارفع حجم النموذج للتحكم: إذا كانت المهمة تتطلب تنسيقاً معقداً للأدوات، فغالباً ما يتطلب الأمر نموذجاً أكبر لإدارة منطق التحكم؛ فالنماذج الأصغر قد تفشل في هذه السيناريوهات رغم انخفاض تكلفتها.
خصوصية المهمة: قيمة "التفكير" تعتمد بشدة على المهمة. فهو مفيد لاسترجاع البيانات المهيكلة، ولكنه غالباً ما يكون بنتائج عكسية في التوليد مفتوح النهايات حيث تكفي المعرفة الداخلية.
الخلاصة: تثبت الدراسة أن تحسين أنظمة النماذج اللغوية الكبيرة يتطلب توازناً دقيقاً بين حجم النموذج، وتعقيد الأدوات، ومتطلبات المهمة. إن تطبيق الأطر الوكيلية (agentic frameworks) بشكل أعمى يمكن أن يؤدي إلى عقوبات كبيرة في التكلفة وزمن الاستجابة دون تحقيق مكاسب مقابلة في الدقة.