एआई ने 30 मिनट में 20 साल पुरानी खुली समस्या हल की; सत्यापन में 5 दिन लगे

माइक्रोसॉफ्ट रिसर्च के वैज्ञानिक दिमित्रिस पापाइलियोपोलोस ने GPT-5.6 और क्लॉड फेबल 5 का उपयोग करके 2001 से खुले एक प्रश्न को हल किया: क्या MIMO डिटेक्शन समस्या को तेज़ बहुपद एल्गोरिदम द्वारा हल किया जा सकता है, जहाँ भी यह सांख्यिकीय रूप से संभव हो। मॉडलों ने स्वतंत्र रूप से दावा किया कि कोई अंतर नहीं है और विभिन्न एल्गोरिदम के लिए प्रमाण प्रदान किए। पापाइलियोपोलोस ने क्लॉड फेबल का एल्गोरिदम चुना—एक मोटा रैखिक अनुमान जिसमें पूर्णांकन और उसके बाद लालची बिट फ्लिप होते हैं—और GPT से उसका प्रमाण ठीक करने को कहा, जो 'ज्यादातर गलत लेकिन सुधारने योग्य' था। फिर उन्होंने दोनों मॉडलों के साथ पाँच दिनों तक पुनरावृत्ति करके तर्क को सत्यापन योग्य रूप में सरल बनाया, और उन चरणों को अस्वीकार कर दिया जिन्हें वे समझ नहीं सके, भले ही इससे गुणांक बदतर हों। अंतिम प्रमाण प्राथमिक है, 2010 के दशक की ज्ञात तकनीकों पर आधारित। हालाँकि, परिणाम अभी तक सहकर्मी समीक्षा से पारित नहीं हुआ है, और आदर्श चैनल मॉडल का अर्थ है कि यह वास्तविक राउटर में सुधार नहीं करेगा। पापाइलियोपोलोस यह भी सुझाव देते हैं कि मॉडल सामूहिक मानव अंतर्ज्ञान को संग्रहीत करते हैं, और कई परित्यक्त समस्याएँ समान समाधानों की प्रतीक्षा कर रही हैं।