إيتيريس: حلقة الأبحاث الذكية لأولويات الرياضيات الحاسوبية

في الآونة الأخيرة، شهدت نماذج اللغات الضخمة (Large Language Models) وتطورات أنظمة الذكاء الاصطناعي المدروسة تقدماً كبيراً في مجالات الرياضيات، بدءاً من حلّ المسائل التنافسية وصولاً إلى معالجة الفرضيات البحثية على مستويات أعلى. ومع ذلك، فإن المشكلات المفتوحة في مجال الرياضيات الحاسوبية لم تحظَ بالاهتمام الكافي، على الرغم من أنها تتطلب تقديم الأدلة والتجارب العددية وتصميم الخوارزميات.

في هذا السياق، تم تقديم نظام بحثي مبتكر يُعرف بإسم إيتيريس، الذي صُمم خصيصاً لمواجهة مشكلات الرياضيات الحاسوبية المفتوحة. يستخدم إيتيريس في دراسة حالتين من مجموعة ورش عمل سيمونز الحديثة (arXiv:2602.05394)، وقد تمكن من إنتاج أدلة عددية، وتكوينات، ومسودات إثبات قادت، بعد مراجعة الخبراء وتصحيحها، إلى نتائج موثوقة.

النتيجة الأولى هي مخطط المرحلة للمقارنة اللانهائية بين خوارزمية التدرج المقارن (Conjugate Gradient) ومنهج الانحدار العشوائي على أطياف القوى. أما النتيجة الثانية، فهي مثال مضاد يظهر كيفية فشل تحليل QR مع تباين الأعمدة في اختيار مصفوفات فرعية ذات حالة جيدة حتى في ظروف تماسك منخفض.

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