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