Reining in an Agentic Harness for High Energy Physics
تقترح هذه الورقة إطار عمل لإنشاء حمالة وكيلة (agentic harness) محمولة ومُدارة مجتمعياً لفيزياء الطاقات العالية، وذلك عبر ترقية مكونات سير العمل المستقرة إلى عمليات علمية مُصنّفة ضمن إصدارات، مع اعتماد بروتوكولات مشتركة وعقود قابلة للقراءة آلياً للتغلب على تحديات التوافق التشغيلي عبر النماذج والأدوات المختلفة.
المؤلفون الأصليون:Tony Menzo, George T. Fleming, Konstantin T. Matchev, Stephen Mrenna, Alexander Roman
إن الكون مكان شاسع ومعقد، وعلى مدى عقود، اعتمد العلماء على حواسيب قوية لمحاكاة سلوكه، بدءاً من تصادم الجسيمات دون الذرية وصولاً إلى تشكل المجرات. هذه المحاكاة ليست مجرد حسابات بسيطة؛ بل هي سير عمل معقد حيث يتعين على الباحثين ربط عشرات البرامج المتخصصة ببعضها البعض، حيث يمتلك كل منها قواعده ولغته الخاصة. وللحصول على نتيجة، يجب على الفيزيائي أن يعمل كقائد أوركسترا، يضمن أن مخرجات برنامج ما تتوافق مع متطلبات المدخلات للبرنامج التالي، كل ذلك مع الاحتفاظ بسجل دقيق لكل خطوة لإثبات سلامة العلم. مؤخراً، ظهر نوع جديد من البرامج الحاسوبية التي تعد بأتمتة هذا العمل. تُسمى هذه البرامج "الوكلاء" (agents)، وهي في الأساس نماذج لغوية كبيرة وُضعت داخل بيئة محكومة حيث يمكنها كتابة الأكواد، وتشغيل البرامج، والتحقق من عملها بنفسها. يمكن لهذه الوكلاء التخطيط لتجربة معقدة، وتنفيذ الخطوات اللازمة، وتقديم التقارير، لتعمل كمساعد بحثي لا يكل.
ومع ذلك، برزت مشكلة كبيرة مع زيادة شيوع هؤلاء الوكلاء في مجال فيزياء الطاقات العالية. حالياً، تُبنى معظم هذه الأنظمة كعروض تجريبية لمرة واحدة، مرتبطة ارتباطاً وثيقاً بالبرمجيات والقواعد الخاصة بالفريق الذي أنشأها. فإذا بنى فريق ما وكيلاً لتحليل تصادمات الجسيمات، فإن هذا الوكيل غالباً ما يكون وحدة مستقلة بذاتها لا يمكنها التواصل بسهولة مع وكيل بناه فريق آخر لدراسة المادة المظلمة. إن الأدوات، وطرق التحقق من النتائج، والطريقة التي يفهم بها الوكيل المهمة، كلها محبوسة داخل ذلك النظام المحدد. وهذا يعني أن القدرة التي ثبت نجاحها في مختبر واحد لا يمكن نقلها بسهولة إلى مختبر آخر، ومن المستحيل تقريباً معرفة ما إذا كان التغيير في النتائج ناتجاً عن نموذج حاسوبي أفضل أم عن طريقة مختلفة لإعداد التجربة. إن المجال يراكم العديد من العروض المثيرة للإعجاب، ولكن بدون إطار عمل مشترك، لا يمكن دمج هذه العروض أو مقارنتها أو البناء عليها لتحقيق تقدم علمي تراكمي.
في ورقة بحثية حديثة، يقترح باحثون من جامعة ألاباما ومختبر فيرمي الوطني للمسرعات طريقة جديدة لتنظيم هذه الأنظمة لحل مشكلة التجزئة هذه. ويجادلون بأن الأجزاء المستقرة والموثوقة من سير العمل العلمي يجب أن تُستخلص من الأكواد الفوضوية وحرة الشكل، وتتحول إلى عمليات علمية قابلة للإصدار والاستشهاد. تخيل "العملية العلمية" كمهام محددة ومحققة - مثل حساب طاقة تصادم جسيم أو محاكاة استجابة كاشف - والتي تم اختبارها، وإعطاؤها رقماً فريداً للإصدار، وتغليفها بحيث يمكن لأي شخص استخدامها. يقترح المؤلفون أنه بدلاً من بناء وكيل جديد ومخصص لكل سؤال بحثي جديد، يجب على العلماء بناء "حمالة" مرنة، أو نظام تحكم، يمكنه توصيل هذه العمليات المعيارية. ستقوم هذه الحمالة بإدارة ذاكرة الوكيل وحالته، بينما يتم العمل العلمي الفعلي من خلال استدعاء هذه الأدوات التي تم التحقق منها مسبقاً.
توضح الورقة تصميماً يتم فيه عرض هذه الأدوات من خلال لغة مشتركة يمكن لأي وكيل فهمها، بغض النظر عن النموذج الحاسوبي المحدد الذي يشغل الوكيل. يعتمد هذا النهج على "سجل" (registry)، يشبه فهرس المكتبة، حيث يمكن للعلماء العثور على هذه العمليات وتحميلها. ومن الأهمية بمكان أن يؤكد المؤلفون على ضرورة أن تأتي هذه العمليات مع "عقد علمي"، وهو وصف قابل للقراءة آلياً يشرح بالضبط ما تحتاجه الأداة لتعمل وما تضمنه في المقابل. على سبيل المثال، قد تتطلب أداة ما إدخال جميع كتل الجسيمات بوحدة قياس محددة وتعد بإرجاع النتال بدقة معينة. إذا حاول الوكيل دمج أداتين لهما متطلبات متضاربة، يمكن للنظام اكتشاف عدم التطابق قبل تشغيل التجربة، مما يمنع حدوث أخطاء يصعب العثور عليها لاحقاً.
كما يقترح الباحثون طريقة جديدة لاختبار ومقارنة هذه الأنظمة. حالياً، غالباً ما تقوم الاختبارات المعيارية (benchmarks) لهذه الوكلاء بتثبيت الإعداد بالكامل، مما يجعل من المستحيل معرفة أي جزء من النظام هو المسؤول عن النتيجة الجيدة أو السيئة. يقترح المؤلفون إطار عمل حيث يتم تحديد كل مكون بشكل منفصل - المهمة العلمية، والنموذج الحاسوبي، والأدوات المتاحة، وقواعد تشغيل التجربة. يسم Allowed هذا للعلماء تشغيل المهمة نفسها مع نماذج مختلفة أو مجموعات مختلفة من الأدوات، ورؤية كيف يؤثر كل تغيير على النتيجة بدقة. ومن خلال الاحتفاظ بسجل كامل لكل تجربة، بما في ذلك الإصدار الدقيق لكل قطعة برمجية مستخدمة، يمكن للمجتمع ضمان إمكانية إعادة إنتاج النتائج وقياس التقدم بدقة.
لا تدعي الورقة أن هذا النظام قد بُني بالكامل بالفعل أو أنه يحل كل المشكلات في فيزياء الطاقات العالية. بدلاً من ذلك، هي تقدم مجموعة من مبادئ التصميم وخارطة طريق للمجتمع لاتباعها. فهي تحدد عدم التوافق الحالي كعائق رئيسي، وتجادل بأن الحل يكمن في التعامل مع القدرات العلمية كمكونات نمطية قابلة للإصدار بدلاً من كونها أجزاءً في نظام متجانس. ويقترح المؤلفون أنه من خلال اعتماد بروتوكولات مشتركة لكيفية تواصل الوكلاء مع الأدوات، والحفاظ على سجلات عامة لهذه الأدوات، يمكن للمجال أن يتحرك نحو مستقبل لا تكون فيه الوكلاء مجرد تجارب معزولة، بل جزءاً من بنية تحتية مشتركة يديرها المجتمع. وهذا سيسمح للباحثين بالتركيز على العلم نفسه، مع معرفة أن الآلية الأساسية موثوقة، وقابلة للتدقيق، وقادرة على التحسن بفضل الجهد الجماعي للمجال بأكره.
ملخص تقني: كبح جماح نظام تحكم وكيل (Agentic Harness) لفيزياء الطاقات العالية
بيان المشكلة تُطبق الأنظمة الوكيلية (Agentic systems) التي تستخدم النماذج اللغوية الكبيرة (LLMs) بشكل متزايد عبر مجالات الفيزياء النظرية، والفيزياء الظواهرية، وفيزياء التجارب في مجال فيزياء الطاقات العالية (HEP). ومع ذلك، يتسم المشهد الحالي بالتجزئة؛ حيث يتم تطوير معظم الأنظمة الوكيلية في فيزياء الطاقات العالية كعروض توضيحية ذاتية الاحتواء، تربط بشكل وثيق بين المهام العلمية، والسياق، والأدوات، والنماذج، والمزودين، وبيئات التشغيل. هذه البنية تمنع القدرات التي تم التحقق من صحتها من أن تصبح بنية تحتية علمية قابلة لإعادة الاستخدام. ونتيجة لذلك، لا يمكن إعادة استخدام قدرة تم التحقق منها في نظام ما بسهولة في نظام آخر، كما لا يمكن عزو التغيرات في الأداء بوضوح إلى عوامل محددة (مثل النموذج، أو نظام التحكم، أو الأدوات). علاوة على ذلك، فإن المعايير المرجعية (Benchmarks) الحالية غالباً ما تثبت تكوين النظام بالكامل، مما يؤدي إلى الفشل في الحفاظ على أدلة كافية لإعادة إنتاج النتائج أو إعادة تفسيرها. يفتقر المجال إلى إطار عمل تقني وتجريبي مشترك لمقارنة هذه العروض التوضيحية وإعادة استخدامها والبناء عليها.
المنهجية وإطار العمل المقترح يقترح المؤلفون تحولاً من الأنظمة المتجانسة ذاتية الاحتواء إلى بنية معيارية تعتمد على هندسة نظام التحكم (Harness Engineering). يعتمد هذا النهج على فصل الأجزاء المستقرة من سير العمل العلمي عن المكونات المتغيرة للنظام الوكيلي. وتعتمد المنهجية على ثلاث ركائز أساسية:
العمليات العلمية ذات الإصدارات المحددة: يجب ترقية العمليات العلمية المستقرة لتصبح نواتج (Artifacts) معتمدة، وموثقة، وقابلة للاستشهاد بها. يتم عرض هذه العمليات من خلال بروتوكولات مشتركة بدلاً من كونها توليداً برمجياً حراً.
الواجهات: يمكن عرض العمليات عبر واجهات برمجية أصلية (كود/CLI/DSL) أو كـ أدوات (واجهات وظائف محدودة). وتُفضل واجهة الأدوات لأنها تضيق نطاق الواجهة المتاحة لتقتصر على العمليات ذات المعنى العلمي، وتوفر تشخيصات متسقة، وتسمح لنظام التحكم بتسجيل مصدر البيانات (Provenance).
البروتوكولات: لضمان القابلية للنقل عبر مختلف مزودي الاستدلال (مثل OpenAI، Anthropic) وأنظمة التحكم، يدعو المؤلفون إلى اعتماد بروتوكول سياق النموذج (Model Context Protocol - MCP). يعمل بروتوكول MCP على توحيد اكتشاف الأدوات، ووصف الواجهات القابل للقراءة آلياً، والاستدعاء، مما يسمح بعرض عملية واحدة مرة واحدة واستخدامها عبر أنظمة متعددة.
الحمولات (Loadouts): تشكل مجموعات الأدوات والمهارات الخاصة بمهمة معينة (المعرفة الإجرائية في الاختيار والتركيب) "حملة قدرات" (Capability Loadout). ويمكن تجميع هذه الحمولات من سجل للعمليات ذات الإصدارات المحددة.
البنية التحتية للاكتشاف والتوافق:
السجلات (Registries): هناك حاجة إلى سجل ذي إصدارات محددة لفهرسة القدرات النطاقية حسب الاسم والإصدار، وتخزين البيانات الوصفية (الاعتمادات، وتكوينات البرامج الخارجية) لحل العمليات وصولاً إلى تنفيذات ثابتة.
العقود العلمية: يحدد المؤلفون تحدياً حرجاً يتمثل في عدم التطابق في الاصطلاحات، والافتراضات، ونطاقات الصلاحية بين العمليات المطورة بشكل مستقل. ويقترح المؤلفون عقوداً علمية قابلة للقراءة آلياً كحل لذلك. وبخلاف مخططات الواجهة البسيطة، تصف هذه العقود الخصائص العلمية للمدخلات والمخرجات (مثل الوحدات، وأطر المرجع، والترتيب الاضطرابي). وسيقوم "محلل التوافق" بفحص هذه العقود أثناء تجميع الحمولة لضمان توافق العمليات أو قابليتها للتحويل عبر محولات مسجلة.
القياس المرجعي القابل لإعادة الإنتاج:
يحدد البحث إطار عمل للقياس المرجعي يركز على العلم، حيث يتم تعريف "شرط القياس المرجعي" من خلال الفصل المستقل لكل من المهمة العلمية، وهيكلية المهمة، وعناصر التحكم في النموذج/الاستدلال، والمزود، ونظام التحكم، وحملة القدرات. oli يتطلب التقييم تجارب متكررة تحت ظروف ثابتة لأخذ عينات من توزيع المسارات.
سجلات التجارب: يجب الحفاظ على سجلات كاملة، بما في ذلك التكوين المطلوب والمحلل، والمطالبات (Prompts)، والمسار، وتدخلات الباحثين، والنواتج، وإصدارات البرامج، وأدلة التقييم. وهذا يسمح بالتقييم اللاحق ويميز الفشل العلمي عن فشل البنية التحتية.
المساهمات الرئيسية
مبادئ التصميم: يضع البحث مبادئ تصميم لنظام تحكم وكيلي قابل للنقل وصيانة مجتمعية، مع التأكيد على فصل العمليات العلمية المستقرة عن بيئة تنفيذ الوكيل.
المصطلحات والتصنيف: يقدم تصنيفاً مهيكلاً للأنظمة الوكيلية الحالية في فيزياء الطاقات العالية (الجدول I) بناءً على بنية الواجهة الأساسية (حر، تسليم مهيكل، خلفية ثابتة، مقيد بالأدوات).
الاقتراح المعماري: يقترح بنية معينة حيث يتم تخصيص أنظمة التحكم العامة لفيزياء الطاقات العالية من خلال حمولات مهام محددة من العمليات النطاقية القابلة للنقل، بدلاً من ربط القدرات بنظام واحد.
تحديد الفجوات: حدد المؤلفون غياب إطار عمل مشترك للأنواع العلمية وصعوبة الحفاظ على البيانات الوصفية عبر الأنظمة غير المتجانسة كعوائق رئيسية أمام التوافق التشغيلي.
النتائج والحالة الراهنة لا يقدم البحث نتائج تجريبية جديدة أو نظاماً مطبقاً بالكامل، بل يقوم بتوليف الحالة الراهنة للمجال (حتى سبتمبر 2026) لتحديد القيود النظامية.
نتائج المسح: يكشف مراجعة الأنظمة الحالية (الجدول I) والمعايير المرجعية (الجدول II) أنه على الرغم من وجود العديد من الأنظمة، إلا أن التصدير الموثق للعمليات النطاقية عبر بروتوكولات قياسية مثل MCP لا يزال غير شائع.
محدودية المعايير المرجعية: تعالج المعايير المرجعية الحالية (مثل Collider-Bench، TPBench) مهاماً واقعية ولكنها بشكل عام تثبت تكوين النظام بالكامل، مما يمنع التغيير المستقل للمكونات لعزل عوامل الأداء.
الجدوى: يشير المؤلفون إلى أن المكونات الضرورية (دعم MCP في الأنظمة الكبرى، وأدبيات استخدام الأدوات، وممارسات الإصدارات) موجودة بالفعل في هندسة البرمجيات ويتم تبنيها في فيزياء الطاقات العالية، ولكن لم يتم دمجها بعد في إطار عمل علمي متماسك.
الأهمية والادعاءات يجادل البحث بأن خفض الحواجز أمام إعادة الاستخدام وإعادة الإنتاج أمر ضروري لتقدم فيزياء الطاقات عالية الطاقة مستقبلاً للمساهمة في التقدم التراكمي.
المسار قريب المدى: يزعم المؤلفون أن اعتماد العمليات العلمية ذات الإصدارات المحددة والبروتوكولات المشتركة (MCP) يوفر مساراً قريب المدى لنظام تحكم وكيلي قابل للنقل.
الدقة العلمية: من خلال التعامل مع العمليات كنواتج معتمدة وقابلة للاستشهاد، يمكن للمجال الانتقال من "العروض التوضيحية" إلى "البنية التحتية". وهذا يسمح للباحثين بتثبيت العمليات مع تغيير النماذج أو أنظمة التحكم، مما يتيح مقارنات منضبطة.
دور المجتمع: يتطلب تحقيق هذه الرؤية دعماً مجتمعياً واسع النطاء لتطوير مفردات مشتركة، وقواعد التوافق للتعاقدات العلمية، ومعياراً مشتركاً للسجلات المرجعية المحللة وسجلات التجارب.
التواضع: يؤطر البحث هذه المبادئ صراحةً كقاعدة لـ "المساعدة في الأبحاء الاستكشافية" وخطوة نحو أنظمة أكثر استقلالية، وليس كادعاء بأن الاكتشاف العلمي المستقل تماماً بات وشيكاً. ويؤكد على أن التحقق البشري يظل ضرورياً، لا سيما للتحقق من تركيب الأدوات والمعقولية الفيزيائية للنتائج.