SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
تقدم الورقة البحثية SolutionsX، وهي حزمة لبرنامج Mathematica تقوم بتحويل حلول الجاذبية الفائقة وغيرها من فيزياء xAct إلى كود برمجي قابل للتنفيذ والتحقق منه آلياً، مما يتيح سير عمل وكيل (agentic workflow) حيث يمكن للوكلاء الذكيين ترميز النتائج النظرية المعقدة والتحقق منها وتوسيعها تلقائياً بدقة عالية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
غالبًا ما يُوصف الكون، في مستوياته الأكثر جوهرية، ليس كمجموعة من الأجسام الصلبة، بل كتفاعل معقد بين الحقول والأشكال. يحاول الفيزيائيون الذين يدرسون أعمق طبقات الواقع، مثل أولئك الذين يعملون في مجال الجاذبية الفائقة (supergravity)، كتابة القواعد التي تحكم كيفية تفاعل الجاذبية مع القوى الأخرى. هذه القواعد معقدة للغاية، وتتضمن رياضيات تمتد عبر أبعاد عديدة وتتطلب تتبع كيفية تغير الكميات أثناء التواء وانحناء الفضاء. لعقود من الزمن، اعتمد العلماء على برامج الكمبيوتر للمساعدة في معالجة هذه الأرقام، لكن مشكلة مستمرة ظلت قائمة: وهي أن نتائج هذه الحسابات غالبًا ما تظل حبيسة عقول الباحثين أو مدفونة في أوراق أكاديمية كثيفة. إذا أراد عالم ما التحقق من عمل زميل له، فإنه غالبًا ما يضطر للبدء من الصفر، وإعادة اشتقاق كل خطوة يدويًا لضمان عدم تسلل أي خطأ مطبعي صغير أو نسيان لأي اصطلاح علمي. هذه العملية بطيئة، وعرضة للخطأ، وتجعل من الصعب بناء مكتبة موثوقة من المعرفة يمكن للآخرين الوثوق بها واستخدامها.
يهدف نهج جديد، قدمه باحث في الأكاديمية البلغارية للعلوم، إلى تغيير كيفية تخزين هذه الحسابات ومشاركتها. يقدم هذا العمل أداة برمجية تسمى SolutionsX، والتي تغير طريقة التعامل مع نتائج الفيزياء النظرية. فبدلاً من ترك الحل كوصف ثابت في ورقة بحثية، تقوم هذه الأداة بتحويل الحساب بأكمده إلى قطعة حية من الكود البرمجي. عندما يستخدم الفيزيائي هذا النظام، فإنه لا يكتب مجرد إجابة؛ بل ينشئ سجلاً رقميًا يمكن تحميله في جلسة كمبيوتر جديدة، وتشغيله مرة أخرى، والتحقق منه فورًا. يعمل النظام كحكم صارم ومحايد، يتحقق من كل خطوة من المنطق مقابل قوانين الفيزياء قبل قبول النتيجة. وقد صُممت الأداة للتعامل مع التفاصيل المعقدة والمربكة للجاذبية الفائقة، حيث ترتبط هندسة الفضاء وسلوك الجسيمات ارتباطًا وثيقًا، لكن تصميمها مرن بما يكفي للتطبيق على مجموعة واسعة من النظريات الفيزيائية المعقدة.
يكمن الابتكار الجوهري في كيفية إدارة البرنامج لـ "حياة" الحل. في الماضي، قد يحدد الفيزيائي نظرية ما، ثم يقترح سيناريو محددًا مثل ثقب أسود، ومن ثم يجري سلسلة طويلة من الحسابات ليرى ما إذا كان السيناريو يتوافق مع النظرية. ومع هذا النظام الجديد، يتم تخزين النظرية والحل معًا كحزمة واحدة منظمة. فعندما يقوم المستخدم بتحميل هذه الحزمة، يقوم الكمبيوتر تلقائيًا بإعادة بناء البيئة الرياضية بأكملها، بما في ذلك جميع التعريفات والقواعد اللازمة لهذا المشكل المحدد. ثم يقوم النظام بتشغيل الحسابات مرة أخرى، للتحقق مما إذا كان الحل المقترح يستوفي بالفعل معادلات الحركة. وإذا كان كذلك، يتم حفظ الحل كسجل تم التحقق منه. ويمكن بعد ذلك مشاركة هذا السجل مع الآخرين، الذين يمكنهم تحميله، وفحص الخطوات، وحتى استخدامه كأساس لبناء أفكار جديدة. إنه يحول الحساب الفردي إلى أصل جماعي، حيث يكون كل مدخل لبنة موثوقة يمكن البناء عليها في الأبحاث المستقبلية.
ولإثبات قوة هذه الطريقة، اتبع المؤلف حلاً محددًا ومعقدًا يُعرف باسم الثقب الأسود ذي التناظر الفائق (supersymmetric black hole) عبر سير العمل بأكمله. بدأت العملية بتحميل نظرية مخزنة للجاذبية خماسية الأبعاد. ثم أدخل الباحث التفاصيل المحددة للثقب الأسود، معرّفًا شكله والحقول المحيطة به. أخذ البرنامج هذه التعريفات وحسب قيم كل كمية فيزيائية ذات صلة، مثل انحناء الفضاء وقوة المجالات المغناطيسية، مع تفكيكها إلى أجزائها المكونة. وبمجرد حساب الأرقام، اختبر النظام النتائج فورًا مقابل المعادلات الأساسية للنظرية؛ حيث تحقق مما إذا كان الثقب الأسود مستقرًا وما إذا كان يحافظ على التناظرات الضرورية التي تتطلبها قوانين الفيزياء. كانت النتيجة مدخلًا تم التحقق منه، حُفظ في قاعدة بيانات حيث يمكن استرجاعه لاحقًا. وقد استُخدم هذا المدخل لإظهار كيفية ارتباط هذا الثقب الأسود المحدد بحلول أخرى معروفة، مما أثبت إمكانية اشتقاق أحدهما من الآخر عن طريق تعديل بعض المعايير. لقد سُجلت العملية بأكملها، من الإدخال إلى التحقق، بطريقة يمكن لأي شخص إعادة تشغيلها وتأكيدها.
كما تستكشف الورقة كيفية تفاعل هذا النظام مع الذكاء الاصطناعي، وهو مجال أصبح مهتمًا مؤخرًا بالاكتشاف العلمي. طور المؤلف مجموعة أدوات تسمح لوكيل ذكاء اصطناعي باستخدام البرنامج لحل المسائل الفيزيائية بمفرده. وفي سلسلة من الاختبارات، أُعطي للذكاء الاصطناعي مهمة إعادة إنشاء حلول من أوراق علمية منشورة. وبدون مجموعة الأدوات الجديدة، تعثر الذكاء الاصطناعي، واستغرق ساعات عديدة وفشل في الوصول إلى نتيجة صحيحة. ومع ذلك، عندما تم تزويده بمجموعة الأدوات، التي وفرت تعليمات واضحة وطريقة للتحقق من عمله في كل خطوة، نجح الذكاء الاصطناعي في إعادة إنشاء الحسابات الفيزيائية المعقدة في أقل من ثلاث ساعات. لم يقم الذكاء الاصطناعي بالتخمين فح، بل كتب الكود، وشغل الحسابات، واستخدم البرنامج للتحقق من إجاباته. وإذا فشلت خطوة ما، كان النظام يحدد الخطأ، ويقوم الذكاء الاصطناعي بتعديل نهجه. أظهرت هذه التجربة أنه عندما يُمنح الذكاء الاصطناعي بيئة موثوقة وقابلة للتحقق آليًا، يمكنه أن يصبح متعاونًا قويًا، قادرًا على التعامل مع الجوانب المملة والمعرضة للخطأ في الفيزياء النظرية التي أبطأت تقليديًا التقدم البشري.
يوحي نجاح هذه الاختبارات بتحول في كيفية تراكم المعرفة العلمية في المستقبل. فبدلاً من مكتبة من الأوراق التي يجب قراءتها والتحقق منها يدويًا، تتمثل الرؤية في قاعدة بيانات من الكود الموثق. في هذا المستقبل، يمكن للباحث أن يطلب من الكمبيوتر إيجاد حل لمشكلة جديدة، وسيقوم النظام بالبحث عبر مجموعة واسعة من الأمثلة الموجودة والمحققة للعثور على المسار الصحيح. سيعمل الذكاء الاصطناعي كمساعد دؤوب، يختبر الأفكار مقابل القواعد الصارمة للبرنامج ولا يقدم إلا النتائج التي ثبت نجاحها. هذا لا يحل محل العالم البشري، الذي لا يزال يقدم الإبداع والأسئلة الأولية، ولكنه يزيل عقبة التحقق. إنه يسمح للباحثين بالبناء على أساس من اليقين المطلق، مع معرفة أن النتائج التي يستخدمونها قد تم فحصها بواسطة آلة لا تمل ولا تتشتت.
تختتم الورقة بتحديد القدرات الحالية للنظام والخطوات اللازمة لتوسيع نطاقه بشكل أكبر. وبينما يتفوق البرنامج حاليًا في التعامل مع الجاذبية الفائقة والنظريات ذات الصلة، يشير المؤلف إلى وجود العديد من المجالات الأخرى في الفيزياء التي يمكن تطبيق هذا النهج فيها. النظام مفتوح للآخرين للمساهمة، مع خطة لتنمية قاعدة بيانات الحلول المتحقق منها. الهدف النهائي هو إنشاء مورد حيث تتماهى الحدود بين البصيرة البشرية والتحقق الآلي، مما يسمح بوتيرة أسرع وأكثر موثوقية للاكتشاف. ومن خلال تحويل الفيزياء إلى كود يمكن تشغيله، والتحقق منه، ومشاركته، يقدم هذا العمل طريقة لضمان أن قوانين الكون لا تُفهم فقط من قبل قلة من الناس، بل من قبل مجتمع يمكنه التحقق من كل خطوة في الرحلة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.