في عالم الرياضيات، تعد الرسوم البيانية ذات التشبع (Doubly Saturated Ramsey Graphs) ظاهرة مثيرة للاهتمام، حيث تعكس مستوى عميق من التعقيد والتنظيم. الرسوم البيانية الجيدة طبقيًّا (Ramsey-good graphs) هي تلك التي لا تحتوي على مجموعة متجانسة (clique) بحجم معين ولا على مجموعة مستقلة (independent set) بحجم آخر، ولكن الدراسات الأخيرة تشير إلى أنها تحمل في طياتها إمكانيات غير محدودة للاكتشاف.

تسلط هذه الدراسة الجديدة الضوء على مفهوم الرسوم البيانية المزدوجة المتشبعة، حيث يشير التعريف إلى أن إضافة أو إزالة أي حافة (edge) في هذه الرسوم البيانية يجب أن ينتج عنه بالضرورة تشكيل مجموعة متجانسة أو مجموعة مستقلة. ما يجعل هذا الموضوع شيقًا هو الطريقة التي تم استخدامها في البحث، حيث جمع الباحثون بين حل مشكلات الترضية (SAT solving) وكتابة الأكواد التلقائية باستخدام نماذج اللغة الكبيرة (Large Language Models) لاكتشاف عائلات لا نهائية من هذه الرسوم البيانية، وبالتالي، الإجابة على تساؤلات تُطرح منذ عام 1982.

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

إن الأدوات المدفوعة بالتكنولوجيا ستلعب دورًا متزايد الأهمية في الرياضيات التجريبية، فهل أنتم مستعدون لاكتشاف المزيد عن هذه الابتكارات؟ شاركونا آراءكم في التعليقات!