في عالم نظرية الألعاب، يعد تصميم خوارزميات ذات زمن متعدد الحدود للتقريب من توازن ناش (Nash Equilibrium) بمواصفات مؤكدة مشكلة مفتوحة أساسية. ولكن مع ظهور نماذج اللغات الضخمة (Large Language Models)، بدأت تظهر آفاق جديدة مثيرة.

في هذا السياق، نعرض إطار العمل الجديد LegoNE الذي يرمز استراتيجيات إثبات الخبراء بلغة رمزية. هذا النظام يمكنه تلقائياً تحويل أي خوارزمية مرشحة إلى مشكلة تحسين نهائية، مما يضمن تأكيد أسوأ الحالات.

بالتعاون مع نموذج لغوي ضخم يعمل على التحليل المنطقي، تمكن الباحثون من إعادة اكتشاف خوارزمية تتوافق مع أفضل ضمانات زمنية متعلقة بالألعاب ذات اللاعبين الثنائيين، بالإضافة إلى اكتشاف خوارزمية ثلاثية اللاعبين تعمل على تحسين أفضل ضمان من 0.6+Δ إلى 0.5+Δ. هذه النتائج تعكس إمكانية إدخال استراتيجيات إثبات متخصصة في لغات يمكن للآلة معالجتها، مما يدعم إعادة اكتشاف الخوارزميات خارج الأنماط المعروفة من التصميم البشري.

هذا الابتكار يمهد الطريق لاستراتيجيات جديدة في الذكاء الاصطناعي ونظرية الألعاب، حيث يمكن للأنظمة الآلية الآن تطوير حلول لمشكلات كانت تعتبر صعبة للغاية. ما قد يبدو وكأنه مجرد خطوة صغيرة في عالم الذكاء الاصطناعي هو، في الحقيقة، قفزة نوعية في كيفية فهمنا وتطبيقنا للرياضيات المعقدة في العالم الواقعي.