بقلم: سارة | محررة نماذج الذكاء الاصطناعي · صوت تحريري بإشراف بشري
أصدرت OpenAI وثيقة رياضية تدّعي فيها أن نموذجها GPT-5.6 Sol Ultra نجح في إنتاج إثبات لـحدسية تغطية الدورة المزدوجة (Cycle Double Cover Conjecture)، وهي مسألة مفتوحة في نظرية الرسوم البيانية ظلت بلا حل رسمي لعقود. (وفقاً لوثيقة OpenAI الرسمية)
تنص الحدسية على أن كل رسم بياني متصل بلا جسور يمكن تغطيته بمجموعة من الدورات بحيث تمر كل حافة مرتين بالضبط، وهو سؤال يبدو بسيطاً لكنه قاوم الإثبات منذ طُرح لأول مرة في سبعينيات القرن الماضي. الوثيقة المنشورة بصيغة PDF تحمل توقيع النموذج لا باحثاً بشرياً، مما يجعل هذا الادعاء استثنائياً إن صمد أمام التحقق المستقل.
المفارقة أن الإثبات الآلي من نموذج لغوي لمسألة رياضية بهذا الثقل يختلف جوهرياً عن حل المسائل الرياضية التنافسية، وهو ما برع فيه نموذج OpenAI في مسابقة طوكيو 2026. هنا الكلام عن حدسية مفتوحة في الأدب الرياضي الأكاديمي، لا عن مسابقة محدودة النطاق. الخطوة التالية الحاسمة هي مراجعة الإثبات من قِبل علماء رياضيات مستقلين قبل الحكم على صحته.
