AI मॉडल ने 80 साल पुरानी Erdős ‘Unit Distance’ परिकल्पना को कैसे गलत साबित किया

एर्डोश की मूल परिकल्पना

एर्डोश ने लगभग √n × √n ग्रिड जैसा एक विन्यास बनाया था। इससे लगभग

n^(1 + Ω(1 / log log n))

यूनिट‑डिस्टेंस जोड़े प्राप्त होते हैं। उन्होंने अनुमान लगाया कि यह निर्माण लगभग सर्वोत्तम है—यानी ν(n) मूलतः रैखिक n के करीब ही रहेगा।

दूसरी ओर, 1984 में स्पेंसर, सेमेरेदी और ट्रॉटर ने एक ऊपरी सीमा सिद्ध की:

ν(n) = O(n^(4/3)).

इसका अर्थ था कि वास्तविक उत्तर इन दोनों के बीच कहीं है—और यही अंतर दशकों तक डिस्क्रीट ज्योमेट्री का एक प्रमुख खुला प्रश्न बना रहा।

AI द्वारा बनाया गया प्रतिवाद (counterexample)

OpenAI द्वारा प्रस्तुत परिणाम यह साबित करता है कि कुछ बिंदु‑समुच्चयों के लिए

ν(n) ≥ n^(1+δ)

जहाँ δ एक स्थिर धनात्मक संख्या है और यह अनंत कई n के लिए संभव है।

यह सीधे एर्डोश की परिकल्पना का खंडन करता है। कारण यह है कि उनकी परिकल्पना के अनुसार वृद्धि केवल n^(1+o(1)) तक सीमित होनी चाहिए थी, जबकि यहाँ वृद्धि का घातांक स्थायी रूप से 1 से बड़ा है।

सरल शब्दों में: कुछ विशेष विन्यासों में यूनिट दूरी वाले जोड़ों की संख्या पहले सोचे गए से कहीं अधिक तेज़ी से बढ़ सकती है।

मुख्य विचार: ग्रिड नहीं, संख्या सिद्धांत

पहले के अधिकांश निर्माण ज्यामितीय पैटर्न—जैसे वर्गाकार ग्रिड—पर आधारित थे। नया तरीका बिल्कुल अलग दिशा अपनाता है: बीजगणितीय संख्या सिद्धांत।

इस निर्माण में कुछ उन्नत गणितीय अवधारणाएँ शामिल हैं:

• विशेष splitting गुणों वाले totally real number fields की अनंत class field towers
• Golod–Shafarevich प्रकार की संरचनाएँ, जो नियंत्रित संरचना वाले अनंत संख्या‑क्षेत्रों के टावर सुनिश्चित करती हैं
• CM fields, जिन्हें imaginary unit i जोड़कर बनाया जाता है

इनसे उच्च‑आयामी lattices बनते हैं जिनमें norm 1 वाले बहुत अधिक तत्व होते हैं। जब इन्हें यूक्लिडियन समतल में निरूपित किया जाता है, तो ये संबंध बिंदुओं के बीच बड़ी संख्या में distance‑1 edges के रूप में दिखाई देते हैं।

इसका लाभ यह है कि संख्या‑सिद्धांत आधारित संरचनाएँ ग्रिड की तुलना में कहीं अधिक समृद्ध दूरी‑संबंध उत्पन्न कर सकती हैं।

यह परिणाम परिकल्पना को क्यों तोड़ देता है

दोनों वृद्धि दरों के बीच अंतर छोटा दिख सकता है लेकिन निर्णायक है।

एर्डोश की परिकल्पना के अनुसार:

n^(1 + o(1))

जबकि नया निर्माण देता है:

n^(1 + δ)

क्योंकि δ स्थिर और धनात्मक है, इसलिए n बड़ा होने पर अंतर लगातार बढ़ता जाता है। यही कारण है कि यह परिणाम परिकल्पना के सीधे विरोध में खड़ा होता है।

गणितज्ञों द्वारा मानव सत्यापन

परिणाम सामने आने के बाद कई प्रमुख गणितज्ञों ने इसके तर्क की समीक्षा की और एक संक्षिप्त, मानव‑सत्यापित प्रस्तुति प्रकाशित की।

इसमें शामिल शोधकर्ताओं में नोगा अलोन, टिमोथी गॉवर्स, थॉमस ब्लूम, विल सॉविन, मेलानी मैचे्ट वुड और अन्य शामिल हैं। उन्होंने प्रमाण की मुख्य संरचना और इसके पीछे की गणितीय अवधारणाओं का सार प्रस्तुत किया।

उनके विश्लेषण में बताया गया कि यह निर्माण Golod–Shafarevich टावर्स और अन्य संख्या‑सिद्धांत तकनीकों से जुड़े विचारों को जोड़कर उन ज्यामितीय विन्यासों को उत्पन्न करता है जो प्रतिवाद का आधार बनते हैं।

इसे AI के लिए मील का पत्थर क्यों कहा जा रहा है

इस खोज ने खास ध्यान इसलिए खींचा क्योंकि इसे AI द्वारा किसी प्रमुख खुले गणितीय प्रश्न के लिए नया प्रमाण उत्पन्न करने के रूप में प्रस्तुत किया गया है।

पहले AI‑आधारित गणितीय प्रयोगों में कभी‑कभी ऐसा हुआ कि मॉडल ने सही समाधान तो दिया, लेकिन वह समाधान पहले से साहित्य में मौजूद था। यहाँ दावा यह है कि यह परिणाम वास्तव में नया प्रतिवाद है—ऐसी परिकल्पना के लिए जो 1946 से खुली थी।

यदि व्यापक गणितीय समुदाय अंततः इस प्रमाण को पूर्णतः सही मान लेता है, तो यह कंप्यूटेशनल गणित के इतिहास में एक महत्वपूर्ण क्षण हो सकता है—जहाँ स्वचालित तर्क प्रणाली और मानव सत्यापन मिलकर नए गणितीय विचार खोजते हैं।

आगे क्या होगा

इतने बड़े परिणामों की तरह, अब अगला चरण व्यापक जाँच का है। शोधकर्ता प्रमाण के हर हिस्से का अध्ययन करेंगे, इसे सरल बनाने की कोशिश करेंगे और देखेंगे कि इसका असर अन्य ज्यामितीय तथा संयोज्य समस्याओं पर क्या पड़ता है।

चाहे अंतिम निर्णय कुछ भी हो, यह काम एक महत्वपूर्ण बदलाव की ओर संकेत करता है: गणितीय खोज अब मानव और AI के सहयोग से नए तरीकों से आगे बढ़ सकती है।