एक AI का प्रमाण, इंसानों के लिए दोबारा चित्रित

कुछ बिंदु बनाइए और उनमें से कुछ को रेखाओं से जोड़िए। गणितज्ञ इसे ग्राफ़ कहते हैं; बिंदु शीर्ष (vertices) हैं, रेखाएँ कोर (edges), और किसी बिंदु को छूने वाली रेखाओं की संख्या उसकी कोटि (degree) है। वृक्ष (tree) ऐसा ग्राफ़ है जिसमें कोई लूप नहीं होता और जो एक ही टुकड़े में जुड़ा रहता है, किसी शाखाओं वाली टहनी की तरह; t बिंदुओं वाले वृक्ष में हमेशा t − 1 रेखाएँ होती हैं।

1960 के दशक की शुरुआत में पॉल एर्डेश और वेरा टी. शोश ने एक सरल प्रश्न पूछा: कितनी रेखाएँ किसी ग्राफ़ को दिए गए आकार का हर वृक्ष रखने के लिए मजबूर करती हैं? उनका उत्तर, एर्डेश–शोश अनुमान (Erdős–Sós conjecture), यह है:

अगर किसी ग्राफ़ की औसत कोटि t − 2 से अधिक है, तो उसमें t शीर्षों वाला हर वृक्ष मौजूद है।

यह सीमा एकदम सटीक है। t − 1 बिंदुओं वाले एक पूर्ण ग्राफ़ की, जिसमें हर जोड़ी जुड़ी हो, अलग-अलग प्रतियाँ लीजिए: हर बिंदु के ठीक t − 2 पड़ोसी हैं, फिर भी कोई टुकड़ा इतना बड़ा नहीं कि t बिंदुओं का वृक्ष समा सके। कठिनाई औसत शब्द में है। अगर हर एक बिंदु के कम से कम t − 1 पड़ोसी होते, तो वृक्ष को शाखा-दर-शाखा बिना दिक़्क़त रखा जा सकता था। लेकिन औसत किसी एक बिंदु के बारे में कुछ नहीं कहता: कुछ के सैकड़ों पड़ोसी हो सकते हैं, दूसरों के लगभग कोई नहीं।

आंशिक उत्तरों के साठ साल

लेख में बताए गए इतिहास के अनुसार, यह समस्या 1962–1964 की है और गणित की उस शाखा के केंद्र में आ गई जो अध्ययन करती है कि कितने कोर किसी दिए गए पैटर्न को अनिवार्य बना देते हैं। विशेष स्थितियाँ एक-एक कर हल हुईं: तारे, पथ, दोहरे तारे, कम शाखाओं वाले वृक्ष। 1990 के दशक की शुरुआत में चार गणितज्ञों — अजताई, कोमलोश, शिमोनोवित्स और सेमेरेदी — ने बहुत बड़े वृक्षों के लिए एक प्रमाण की घोषणा की, लेकिन हाल के शोधपत्र बताते हैं कि उसकी कोई पूरी पांडुलिपि कभी प्रकाशित नहीं हुई। और आंशिक परिणाम 2021, 2024 और 2026 में आए। 4 सितंबर 2026 को रीड और स्टाइन ने बड़े, सघन ग्राफ़ों के लिए एक प्रमाण पोस्ट किया, जिसके बारे में वे कहते हैं कि वह AI के बिना विकसित किया गया।

फिर एक रिपोर्ट आई। सितंबर 2026 में टॉम आदमचेव्स्की और थॉमस ब्लूम ने FrontierMath Erdős नाम के एक दस्तावेज़ में पूरे अनुमान का एक प्रमाण एक AI मॉडल, GPT-6 Astra, के एक अप्रकाशित संस्करण के नाम दर्ज किया। मूल गणना-तर्क सार्वजनिक है, और साथ का एक रिपॉज़िटरी प्रमाण के लिए AI की स्वायत्त खोज और Lean प्रमाण-जाँच भाषा में एक औपचारिक सत्यापन को दर्ज करता है। रिपोर्ट के लेखकों ने मानव विशेषज्ञों से अधिक विस्तृत, पारंपरिक विवरण लिखने का आह्वान भी किया।

ग्राफ़ को एक-एक बिंदु करके उजागर करना

कैलिफ़ोर्निया स्टेट यूनिवर्सिटी, सैक्रामेंटो के जे कमिंग्स इसी आह्वान का उत्तर देते हैं। उनका 27 पन्नों का लेख AI के केंद्रीय गणना-तर्क को बनाए रखता है, लेकिन उसे बताने का तरीक़ा बदल देता है:

ग्राफ़ को धीरे-धीरे उजागर करें। शीर्षों को किसी क्रम में सूचीबद्ध करें और उन्हें एक-एक करके खोलें, साथ में पहले से दिखे शीर्षों के बीच के कोर भी।
ज़्यादा माँगें। वृक्ष की किसी भी प्रति के बजाय ऐसी प्रति खोजें जिसका चुना हुआ “मूल” (root) ठीक पहले शीर्ष पर हो। ज़्यादा माँगना प्रमाण को आसान बना देता है।
जल्दी आने वाले पड़ोसियों को गिनें। ये पहले शीर्ष के वे पड़ोसी हैं जो ऐसी प्रति प्रकट होने से पहले दिख जाते हैं। हर संभव क्रम पर इन्हें जोड़ें।
कुल योग की सीमा बाँधें। शीर्षों या क्रम के पूरे खंडों की अदला-बदली करके — ऐसी चालें जिन्हें हमेशा पलटा जा सकता है — कमिंग्स दिखाते हैं कि सभी क्रमों पर औसतन अधिक से अधिक t − 2 जल्दी आने वाले पड़ोसी होते हैं।

अंतिम चरण छोटा है। अगर ग्राफ़ में वृक्ष की कोई प्रति न होती, तो पहले शीर्ष का हर पड़ोसी, हर क्रम में, जल्दी आने वाला होता। सभी क्रमों पर औसत लेने पर, यह ठीक औसत कोटि है — जो मान्यता के अनुसार t − 2 से अधिक है। विरोधाभास: वृक्ष वहाँ होना ही चाहिए।

प्रमाण कोटियों के केवल कुल योग का उपयोग करता है, इसका नहीं कि वे कैसे बँटी हैं। कमिंग्स एक प्रायिकतात्मक संस्करण भी देते हैं, और ठोस ग्राफ़ों पर चार और पाँच शीर्षों वाले वृक्षों के उदाहरण हल करके दिखाते हैं।

एक प्रमाण की चित्र-पुस्तक

लेख में 32 चित्र हैं। यह एक क्लासिक परिणाम के साथ समाप्त होता है: किसी पूर्ण ग्राफ़ की सभी रेखाओं को q रंगों से रँगिए, तो जैसे ही ग्राफ़ में q(t − 2) + 2 शीर्ष होंगे, किसी एक रंग में दिया गया वृक्ष हमेशा मौजूद होगा। एक अंतिम वक्तव्य में कमिंग्स बताते हैं कि उन्होंने यह पाठ ChatGPT के साथ एक लंबे संवाद में विकसित किया, कि प्रस्तुति के नए विचार — जल्दी आने वाले पड़ोसी, स्पष्ट विभाजन, चित्र — उनके अपने हैं, और कि उन्होंने सब कुछ जाँचा है और पूरी ज़िम्मेदारी लेते हैं।

वे अपने विवरण की तुलना रियोर्डन और स्कॉट, वुड और फ़्रेडरिकसन के दूसरे हालिया विवरणों से करते हैं, और बताते हैं कि यह विधि पहले ही दिशा वाले नेटवर्कों और “हाइपरग्राफ़ों” तक बढ़ाई जा चुकी है, जिनमें से कुछ विस्तार भी GPT-6 Astra के नाम दर्ज हैं। उनका योगदान, वे लिखते हैं, “तर्क की पाठक-केंद्रित, दृश्य व्याख्या है, अनुमान का नया समाधान नहीं।”