الذكاء الاصطناعي يحل مسألة مفتوحة عمرها 20 عامًا في 30 دقيقة؛ والتحقق يستغرق 5 أيام

استخدم ديميتريس بابايليوبولوس، العالم في أبحاث مايكروسوفت، نموذجي GPT-5.6 وClaude Fable 5 لحل مسألة ظلت مفتوحة منذ عام 2001: هل يمكن حل مشكلة كشف MIMO بواسطة خوارزمية متعددة الحدود سريعة أينما كان ذلك ممكنًا إحصائيًا؟ ادعى النموذجان بشكل مستقل أنه لا توجد فجوة، وقدما براهين لخوارزميات مختلفة. اختار بابايليوبولوس خوارزمية Claude Fable - وهي تقدير خطي تقريبي مع تقريب متبوع بقلب البتات الجشع - وطلب من GPT إصلاح برهانه، الذي كان 'خاطئًا في معظمه لكن يمكن إنقاذه'. ثم أمضى خمسة أيام في التكرار مع كلا النموذجين لتبسيط الحجة إلى صورة قابلة للتحقق، رافضًا أي خطوات لم يتمكن من متابعتها رغم السماح بثوابت أسوأ. البرهان النهائي أولي، ويستند إلى تقنيات معروفة من العقد الأول من القرن الحادي والعشرين. ومع ذلك، فإن النتيجة لم تخضع بعد لمراجعة الأقران، ونموذج القناة المثالي يعني أنها لن تحسن أجهزة التوجيه الفعلية. يقترح بابايليوبولوس أيضًا أن النماذج تقطر الحدس البشري الجماعي، وأن العديد من المشكلات المهجورة تنتظر حلولًا مماثلة.