أدت مطالبة أساسية موجهة للذكاء الاصطناعي إلى تفنيد فرضية "دينيتز-غارغ-غويمانز"، وهي مسألة في نظرية المخططات يعود تاريخها إلى 30 عاماً. فقد استخدم ديمتري ريبين نسخة ChatGPT 5.6 Pro للعثور على مثال مضاد بعد إدخال أقل من 60 كلمة عبر أربع مطالبات، حيث استغرقت العملية 5.5 ساعة.
نشر ريبين، وهو أحد مؤسسي شركة "أوتوكيرنيل" (Autokernel) الناشئة في مجال الذكاء الاصطناعي، المثال المضاد على منصة إكس (X). وقد وجه الذكاء الاصطناعي بـ "تحقيق اختراق وإيجاد مثال مضاد منظم"، متبعاً ذلك بثلاث مطالبات أخرى تحثه على مواصلة البحث.
تتعلق الفرضية بمدى إمكانية تحويل سيناريوهات شحن معينة في نظرية المخططات دون زيادة التكاليف. وذكر ريبين على منصة إكس أنه أمضى أسابيع عديدة في التفكير في هذه المسألة.
وأشار كريس بومان-سكارجيل من جامعة يورك إلى أن فرضيات نظرية المخططات غالباً ما تفشل عند زيادة التعقيد. بينما قال أبهيشيك ساها من جامعة كوين ماري في لندن إن نماذج الذكاء الاصطناعي الحالية مناسبة لمثل هذه المشكلات، لكن لها حدوداً فيما يتعلق بالفرضيات الأكثر عمقاً.
وقال ألكسندر يونغ من جامعة إلينوي في أوربانا-شامبين إن الذكاء الاصطناعي سيساعد في استبعاد المسارات المسدودة وإثبات العديد من الفرضيات بفضل قدرته على اختبار الأفكار بسرعة.
