OpenAI द्वारा अपने सबसे शक्तिशाली मॉडल को आम तौर पर उपलब्ध कराने के ठीक एक दिन बाद, कंपनी का कहना है कि सिस्टम ने साइकिल डबल कवर अनुमान का पूरा प्रमाण तैयार किया है - ग्राफ सिद्धांत में एक प्रसिद्ध खुली समस्या जिसने लगभग आधी सदी तक गणितज्ञों का विरोध किया है।

ओपनएआई के शोधकर्ता एथन नाइट ने 10 जुलाई, 2026 को परिणाम की घोषणा करते हुए कहा कि जीपीटी-5.6 सोल अल्ट्रा ने "सिर्फ एक घंटे से कम समय में 64 उप-एजेंटों का उपयोग करके 50 साल पुराने साइकिल डबल कवर अनुमान का प्रमाण तैयार किया।" यह दावा तेजी से हैकर न्यूज के शीर्ष पर पहुंच गया, गणितज्ञों और इंजीनियरों की सैकड़ों टिप्पणियां इस बात पर बहस करने लगीं कि क्या सबूत सही है।

नवीनतम एआई विकास पर नज़र रखने वाले किसी भी व्यक्ति के लिए, परिणाम एक शानदार प्रदर्शन है कि सीमांत मॉडल किस ओर जा रहे हैं - और एक अनुस्मारक है कि उनके गणितीय दावों को अभी भी पुराने ढंग से जांचने की आवश्यकता है।

साइकिल डबल कवर अनुमान क्या है?

अनुमान गणित की एक शाखा में बैठता है जिसे ग्राफ़ सिद्धांत कहा जाता है। स्पष्ट शब्दों में, यह एक भ्रामक सरल प्रश्न पूछता है: क्या किसी भी "ब्रिजलेस" ग्राफ़ के किनारों को - बिना किनारे वाला, जिसे हटाने से यह अलग हो जाएगा - हमेशा चक्रों के संग्रह द्वारा कवर किया जा सकता है ताकि हर एक किनारा बिल्कुल दो बार दिखाई दे?

इस समस्या को पिछले कुछ वर्षों में कई गणितज्ञों द्वारा स्वतंत्र रूप से प्रस्तुत किया गया था, जिसमें 1979 में पॉल सेमोर और 1973 में जॉर्ज स्ज़ेकेरेस शामिल थे, जिनकी जड़ें पहले डब्ल्यू. टी. टुटे और एलोन इटाई और माइकल रोडे के काम में थीं। अपने सरल कथन के बावजूद, यह क्षेत्र की सबसे प्रसिद्ध अनसुलझी समस्याओं में से एक बन गई, और आंशिक परिणाम केवल ग्राफ़ के विशेष वर्गों के लिए जाने जाते थे।

OpenAI द्वारा प्रकाशित प्रमाण नोट के अनुसार, तर्क समस्या को लूपलेस क्यूबिक ग्राफ़ में कम कर देता है, फिर एक शास्त्रीय परिणाम पर निर्भर करता है - समूह F32 पर कहीं नहीं-शून्य प्रवाह प्रमेय (टुटे के 8-प्रवाह प्रमेय के बराबर) - और एक प्रमुख रैखिक-बीजगणित चरण जो एक किनारे लेबलिंग को एक चक्र डबल कवर के लिए आवश्यक संरचना में परिवर्तित करता है। जैसा कि हैकर न्यूज़ के एक टिप्पणीकार ने कहा, यह आलेख केवल कुछ पेज लंबा है और, विशेष रूप से, "पिछले 30 वर्षों के भीतर कोई गणित विकसित नहीं हुआ" का उपयोग करता है।

GPT-5.6 Sol Ultra ने इसे कैसे प्राप्त किया

इस परिणाम को सामान्य चैटबॉट उत्तरों से अलग करने वाली बात यह है कि मॉडल को कैसे तैनात किया गया था। GPT-5.6 Sol Ultra OpenAI के "मल्टीएजेंट v2" मोड में चलता है, जिससे 64 सहयोगी उप-एजेंटों की एक प्रणाली तैयार होती है, जो समानांतर में विभिन्न प्रूफ रणनीतियों की खोज करती है। OpenAI ने प्रमाण के साथ पूर्ण संकेत जारी किया, जो सिस्टम को दिए गए निर्देशों पर एक दुर्लभ नज़र डालता है।

प्रॉम्प्ट ने मॉडल को "मल्टीएजेंट v2 को आक्रामक और गतिशील रूप से उपयोग करने", "दृष्टिकोण के विविध पोर्टफोलियो" को बनाए रखने और सामान्य नुकसान के लिए किसी भी उम्मीदवार के प्रमाण का ऑडिट करने के लिए प्रतिकूल एजेंटों को तैनात करने का निर्देश दिया - जैसे कि चक्र या आकस्मिक परिपत्र तर्क के रूप में बंद रास्ते। इसने सिस्टम से यहां तक ​​कहा कि "वापस लौटने या हार मानने से पहले इस पर कम से कम 8 घंटे बिताएं", हालांकि कथित तौर पर अंतिम रन एक घंटे से भी कम समय में पूरा हो गया।

प्रूफ नोट के "एआई उपयोग का विवरण" अनुभाग में, ओपनएआई स्पष्ट है: "इस नोट में प्रमाण पूरी तरह से जीपीटी 5.6 सोल अल्ट्रा और कोडेक्स के साथ राइटअप (जीपीटी 5.6 सोल के साथ) के कारण है।"

हर कोई अभी तक आश्वस्त नहीं है

गणितीय समुदाय ने उत्साह और सावधानी के मिश्रण के साथ प्रतिक्रिया व्यक्त की है - और यह संदेह सही है। प्रकाशन के समय, प्रमाण को लीन जैसे प्रमाण सहायक में औपचारिक रूप से सत्यापित नहीं किया गया है, न ही इसने पारंपरिक सहकर्मी समीक्षा पारित की है।

हैकर न्यूज़ पर, कई टिप्पणीकारों ने कहा कि प्रसिद्ध अनुमानों के संक्षिप्त, सुरुचिपूर्ण प्रमाण विशेष रूप से सावधानीपूर्वक जांच के लायक हैं। एक उपयोगकर्ता ने लिखा, "यह एक बहुत छोटा प्रमाण है जो पिछले 30 वर्षों के भीतर विकसित किसी भी गणित का उपयोग नहीं करता है।" "जो आवश्यक रूप से इसे गलत नहीं बनाता है, लेकिन लीन में मशीनीकरण या उचित सहकर्मी समीक्षा के अभाव में, मुझे लगता है कि इसे पोस्ट करना जल्दबाजी होगी।"

अन्य लोगों ने बताया कि ग्राफ़ सिद्धांत के प्रमुख औपचारिक प्रमाण पुस्तकालय अभी तक इस प्रकार के अनुसंधान-स्तर के परिणामों की जांच करने के लिए पर्याप्त परिपक्व नहीं हैं, जिसका अर्थ है कि सत्यापन को पंक्ति दर पंक्ति तर्क पढ़ने वाले मानव विशेषज्ञों से आने की आवश्यकता हो सकती है। OpenAI ने स्वयं घोषणा को एक व्यापक पैटर्न के हिस्से के रूप में तैयार किया: "अधिक परीक्षण-समय की गणना से अधिक बुद्धिमत्ता प्राप्त होती है," कंपनी ने संकेत दिया कि मल्टीएजेंट दृष्टिकोण - यह एकल परिणाम नहीं - वह वास्तविक कहानी है जिसे वह बताना चाहती है।

यह क्यों मायने रखती है

भले ही साइकिल डबल कवर प्रूफ को अंततः सुधार की आवश्यकता हो, यह एपिसोड शुद्ध गणित में बड़े भाषा मॉडल क्या कर सकते हैं, इसमें एक सार्थक बदलाव का संकेत देता है। फ्रंटियर एआई सिस्टम ने पहले विशेष डोमेन में उपन्यास अनुसंधान परिणाम तैयार किए हैं - जिसमें ज्यामिति और कॉम्बिनेटरिक्स में हल की गई समस्याओं के अन्य हालिया दावे भी शामिल हैं - लेकिन तर्क एजेंटों के समन्वित झुंड के साथ एक नामित, दशकों पुराने अनुमान पर हमला करने से बार काफी बढ़ जाता है।

शोधकर्ताओं के लिए, टेकअवे दुगना है। सबसे पहले, मल्टीएजेंट नुस्खा - कई स्वतंत्र प्रयास, विचारों का क्रॉस-परागण, और प्रतिकूल ऑडिटिंग - कठिन समस्या-समाधान के लिए वास्तव में उपयोगी टेम्पलेट प्रतीत होता है। दूसरा, सत्यापन की बाधा अब पूरी तरह से मनुष्यों पर है: मॉडल समुदाय की तुलना में तेजी से उम्मीदवार प्रमाण उत्पन्न कर सकता है।

यह तनाव एआई-सहायता प्राप्त गणित के अगले चरण को परिभाषित करने की संभावना है। जैसा कि एक टिप्पणीकार ने कहा, यदि यह प्रमाण सही बैठता है, तो अगली पीढ़ी के मॉडलों पर फेंकने के लिए अन्य लंबे समय से चली आ रही समस्याओं की "कोई सूची शुरू करने वाला है"।

अभी के लिए, गणितज्ञ तीन पेज के नोट को ध्यान से पढ़ेंगे - हाथ में पेंसिल - जबकि बाकी एआई उद्योग यह देखने के लिए देख रहा है कि क्या GPT-5.6 का घंटे भर का प्रयास स्थायी गणितीय रिकॉर्ड का हिस्सा बनता है या नहीं।

एआई से आगे रहें

फ्रंटियर मॉडल की सफलताओं और एआई अनुसंधान कवरेज पर अधिक जानकारी के लिए, [एआई बज़ वायर होमपेज] (https://aibuzzwire.news) पर जाएं।

अधिक एआई समाचार पढ़ें →

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →