«خوارزمية بويد المعممة»: حلقة استكشاف هجينة تكسر عقدة مسألة ليمر وتستحوذ على 99 بالمئة من أرقامها القياسية
نجح فريق بحثي يقوده يوري شيرفوني وسيرغي غوكوف وثانغ لونغ في كسر حاجز الدرجات العليا في مسألة ليمر الرياضية المفتوحة منذ عام 1933، عبر معمارية هجينة تجمع الباحث البشري بحلقة استكشاف ذاتية يقودها الذكاء الاصطناعي. الورقة العلمية المنشورة عبر منصة «أركايف» في 36 صفحة، أظهرت أن الوصول إلى بنى رياضية عميقة يتطلب تجاوز نوافذ المحادثة البسيطة نحو خطوط إنتاج عددية وحسابية متكاملة، حيث استطاعت المنظومة اقتناص 99.6 بالمئة من أفضل الأرقام القياسية المسجلة في هذا التحدي الرياضي المعقد.
تركز مسألة ليمر الشهيرة على دراسة مقياس مالر لكثيرات الحدود ذات المعاملات الصحيحة، وهو مقياس يرصد مدى ابتعاد جذور الدالة عن دائرة الوحدة، ويبحث فيما إذا كان هذا المقياس يمكن أن يقترب من الصفر دون حدود دنيا. تاريخيًا، اقتصرت المحاولات المنهجية لبناء كثيرات حدود غير قابلة للاختزال ذات مقياس مالر ضئيل على الدرجات الزوجية التي لا تتجاوز 180 درجة، في حين اصطدمت الحلول التحليلية السابقة، وتحديدًا عائلة بويد أحادية المعامل، بعقبة التفكك المستمر عند الانتقال إلى درجات أعلى، مما تسبب في تخطي نحو 50 بالمئة من الدرجات المستهدفة وغياب أي بناء رياضي عام.
الانتقال الحاسم في التجربة تمثل في ربط هندسة الأوامر الحوارية بمدقق رمزي دقيق وبحث موزع واسع النطاق. لم يكتف الوكيل الذكي بطرح الفرضيات، بل تولى بنفسه بناء نماذج أولية لحلول عددية ورمزية محليًا، ثم أطلق عمليات بحث متوازية عبر مجمعات حوسبة موزعة، مع تفاعل مستمر مع الباحث البشري لاستخلاص الفرضيات الرياضية والتدقيق الصارم في صحتها. هذه الدورة التفاعلية أثمرت عن صياغة «خوارزمية بويد المعممة» ذات المعاملات الخمسة، والتي قضت كليًا على ظاهرة تخطي الدرجات الحسابية، وأتاحت توليد كثيرات حدود بمقياس مالر يقع قطعًا دون نقطة حد بويد البالغة تقريبًا 1.255434 لكل درجة مستهدفة.
أثبت التقييم التجريبي الشامل الذي خضعت له الخوارزمية عبر كافة الدرجات الزوجية حتى الدرجة 2000 فاعلية هذا المسار، حيث نجح الباحثون في تحسين ست قيم كانت منشورة سابقًا في الأدبيات المتخصصة، مع إطلاق مجموعة بيانات موثقة ومعتمدة لكثيرات الحدود ذات المقياس الأدنى عبر ملف رقمي متاح للباحثين. هذه النتيجة تبرهن عمليًا على أن الوكلاء الأذكياء قادرون على حل معضلات علمية عمرها قرابة قرن كامل، شريطة إخراجهم من قوالب التوليد اللغوي إلى بيئات التحقق الرمزي والحوسبة الفائقة المتزامنة.
تفرض هذه التجربة تحولًا نوعيًا في معايير بناء مشاريع الذكاء الاصطناعي لدى المراكز البحثية والجامعات في مصر وبلاد الشام والخليج. القيمة الحقيقية للنماذج الذكية في بيئات العمل الحسابية والمالية والهندسية لم تعد تقاس بمهارة صياغة المطالبات النصية المجردة، بل بقدرة الفرق المحلية على بناء حلقات تحقق برمجية ورمزية تحيط بالنموذج وتدقق مخرجاته لحظيًا. على مستوى استثمارات الحوسبة الفائقة ومراكز البيانات المتوسعة في المنطقة، يوضح هذا الإنجاز أن توجيه قدرات المعالجة نحو عمليات البحث الموزع المدعومة بوكلاء برمجيين يفتح آفاقًا لحل مشكلات التشفير والتحسين الهندسي المعقدة دون استنزاف ميزانيات ضخمة في تدريب نماذج عملاقة من الصفر.
خطوتك التالية إن كنت تقود فريقًا تقنيًا أو بحثيًا هي إعادة تصميم خطوط العمل لتدمج أدوات الحساب الرمزي مع محركات الذكاء الاصطناعي في دورة مغلقة تضمن الاختبار الآلي لكل فرضية قبل اعتمادها. الاستثمار في سد الفجوة بين قدرة النموذج على الاستنتاج وآليات الفحص الرياضي الصارم يمثل اليوم الأساس المتين لتحقيق اكتشافات علمية راسخة تقاوم التدقيق الرياضي الدقيق.