SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
تقدم الورقة البحثية SolutionsX، وهي حزمة لبرنامج Mathematica تقوم بتحويل حلول الجاذبية الفائقة وغيرها من فيزياء xAct إلى كود برمجي قابل للتنفيذ والتحقق منه آلياً، مما يتيح سير عمل وكيل (agentic workflow) حيث يمكن للوكلاء الذكيين ترميز النتائج النظرية المعقدة والتحقق منها وتوسيعها تلقائياً بدقة عالية.