The set of primes is supernatural: a Lean formalization of the statement of the conjecture
यह शोध पत्र इस अनुमान का एक पूर्ण, मशीन-जाँचा गया लीन 4 (Lean 4) औपचारिक रूप प्रस्तुत करता है कि पहचान (identity), स्थिरांकों (constants) और सीमित बिंदुवार संक्रियाओं (योग, गुणन, घातांक) से निर्मित कोई भी गैर-अचर फलन प्रत्येक धनात्मक पूर्णांक को अभाज्य संख्या में मैप नहीं कर सकता है, जिससे यह अनुमान स्वचालित तर्क प्रणालियों के लिए एक सटीक, कर्नेल-सत्यापन योग्य लक्ष्य में परिवर्तित हो जाता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
एक विशाल, अनंत पुस्तकालय की कल्पना करें जहाँ हर किताब एक संख्या है। इस पुस्तकालय में, एक बहुत ही विशेष, विशिष्ट क्लब है जिसे "प्राइम्स" (Primes) कहा जाता है। ये वे संख्याएँ हैं जिन्हें छोटी संख्याओं को आपस में गुणा करके नहीं बनाया जा सकता; वे अंकगणित के अविभाज्य परमाणु हैं, जैसे कि 2, 3, 5, या 7। सदियों से, गणितज्ञों ने एक एकल, सरल विधि (रेसिपी) लिखने की कोशिश की है—गणित के बुनियादी उपकरणों से बनी एक मशीन—जो केवल इन विशेष क्लब सदस्यों को ही बाहर निकाल सके। वे एक ऐसी मशीन चाहते थे जो, आप इसे जो भी संख्या दें, वह हमेशा एक अभाज्य संख्या (Prime) ही दे।
इस रेसिपी में उपयोग के लिए जो उपकरण उपलब्ध हैं, वे हमारे द्वारा जाने जाने वाले सबसे बुनियादी उपकरण हैं: संख्याओं को आपस में जोड़ना, उन्हें गुणा करना और उनकी घातें (powers) निकालना (जैसे वर्ग या घन करना)। आप इन उपकरणों का जितना चाहें उतना मिश्रण और उपयोग कर सकते हैं, लेकिन आप भाग (division) या वर्गमूल (square roots) जैसी कोई भी फैंसी चीज़ इस्तेमाल नहीं कर सकते। बड़ा सवाल यह है कि क्या केवल इन सरल उपकरणों का उपयोग करके एक ऐसी मशीन बनाई जा सकती है जो कभी गलती न करे? क्या ऐसी मशीन अभाज्य संख्याओं की एक कभी न खत्म होने वाली सूची बना सकती है, या यह अंततः किसी ऐसी संख्या को उत्पन्न करने में चूक जाएगी जो अभाज्य नहीं है? यह केवल एक खेल नहीं है; यह इस बात से जुड़ा है कि संख्याओं की संरचना वास्तव में कैसी है। यदि ऐसी मशीन मौजूद होती, तो इसका अर्थ होता कि अभाज्य संख्याएँ एक सरल, अनुमानित पैटर्न का पालन करती हैं। यदि नहीं, तो इसका अर्थ है कि अभाज्य संख्याएँ जंगली, अराजक और "अलौकिक" हैं जो सरल सूत्रों को चुनौती देती हैं।
यह शोध पत्र उसी प्रश्न के बारे में एक डिजिटल जासूसी कहानी है। लेखक, अरनॉड मेयक्स (Arnaud Mayeux) ने एक विशिष्ट गणितीय शोध पत्र को लिया है जिसने एक साहसी अनुमान (conjecture) प्रस्तावित किया था और पूरे के पूरे उसे 'लीन' (Lean) नामक एक कंप्यूटर भाषा में अनुवादित किया है। लीन को एक अत्यंत सख्त रेफरी के रूप में समझें जो गणितीय प्रमाण के प्रत्येक चरण की जाँच करता है ताकि यह सुनिश्चित किया जा सके कि वह 100% तार्किक रूप से सुदृढ़ है, जिसमें मानवीय त्रुटि या "मुझे लगता है कि यह काम करता है" जैसे क्षणों के लिए कोई जगह नहीं है। यह शोध पत्र यह समाधान नहीं करता कि क्या अभाज्य संख्या बनाने वाली मशीन का अस्तित्व है; इसके बजाय, यह खेल के नियमों का एक पूर्ण, अटूट डिजिटल मॉडल बनाता है।
मुख्य निष्कर्ष यह है कि "प्राइम मशीन" के अनुमान के पीछे के संपूर्ण सिद्धांत को सफलतापूर्वक कंप्यूटर में कोड कर दिया गया है। मूल शोध पत्र की प्रत्येक परिभाषा, प्रत्येक उदाहरण और संख्याओं की प्रत्येक तालिका अब इस डिजिटल फ़ाइल के भीतर जीवित है। लेखक ने इन "प्राकृतिक फलनों" (natural functions - जो जोड़, गुणा और घातों से बने मशीनों का एक फैंसी नाम है) के 89 विभिन्न उदाहरणों की जाँच की। प्रत्येक एक के लिए, कंप्यूटर ने परिणामों की गणना की और पुष्टि की कि वे सभी अंततः एक अभाली संख्या उत्पन्न करने में विफल रहते हैं। उदाहरण के लिए, एक फलन पहले छह नंबरों के लिए पूरी तरह से काम करता है लेकिन सातवें पर टूट जाता है। कंप्यूटर ने इन विफलताओं को पूर्ण निश्चितता के साथ सिद्ध किया, जिसमें उन विशाल संख्याओं को सत्यापित करने के लिए उन्नत डिजिटल प्रमाणपत्रों का उपयोग किया गया जिन्हें जाँचने में एक मनुष्य को वर्षों लग सकते हैं।
हालाँकि, यह शोध पत्र इस बारें में बहुत स्पष्ट है कि इसने क्या नहीं किया है। इसने यह सिद्ध नहीं किया है कि प्राइम मशीन असंभव है। इसने अंतिम उत्तर नहीं खोजा है। केंद्रीय अनुमान—कि ऐसी कोई मशीन मौजूद नहीं है—एक खुला प्रश्न बना हुआ है, जो कंप्यूटर कोड में एक "नामित खुली समस्या" (named open problem) के रूप में है, जो किसी मानव या कृत्रिम बुद्धिमत्ता (AI) द्वारा अंततः इसे सिद्ध करने की प्रतीक्षा कर रहा है। यह शोध पत्र अनिवार्य रूप से कहता है, "यहाँ सटीक नियम पुस्तिका है, और यहाँ प्रमाण है कि अब तक आजमाए गए प्रत्येक मशीन विफल हो जाती है, लेकिन अंतिम निर्णय अभी भी बाकी है।"
लेखक ने खेल का विस्तार भी किया। उन्होंने पूछा, "क्या होगा यदि हम कुछ और उपकरण जोड़ दें, जैसे फैक्टोरियल (संख्याओं को उसके नीचे की सभी संख्याओं से गुणा करना) या थ्रूट्स केन एरो (Knuth arrows - विशाल घातों को लिखने का एक तरीका)?" उन्होंने इन अतिरिक्त उपकरणों के साथ मशीनों का एक नया, बड़ा वर्ग बनाया और एक नए, और भी कठिन संस्करण वाला अनुमान प्रस्तुत किया: कि इन सुपर-टूल्स के साथ भी, आप ऐसी मशीन नहीं बना सकते जो केवल अभाज्य संख्याएँ बनाए। यह नया अनुमान भी खुला है, अप्रामाणित है, लेकिन अब इसे इस तरह से लिखा गया है कि यदि कोई भविष्य में इसका प्रमाण खोज लेता है, तो कंप्यूटर इसे जाँच सके।
संक्षेप में, यह शोध पत्र अनुवाद और सत्यापन का एक विशाल कार्य है। यह अभाज्य संख्याओं की अराजक प्रकृति के बारे में एक जटिल गणितीय विचार को एक डिजिटल तिजोरी में लॉक करता है जहाँ प्रत्येक नियम की एक मशीन द्वारा जाँच की जाती है। यह पुष्टि करता है कि परीक्षण किए गए प्रत्येक विशिष्ट उदाहरण के लिए, "प्राइम मशीन" विफल हो जाती है, लेकिन यह अंतिम प्रश्न कि क्या सैद्धांतिक रूप से ऐसी मशीन संभव है, भविष्य के लिए एक चुनौती के रूप में छोड़ देता है। ऐसा प्रतीत होता है कि अभाज्य संख्याएँ वास्तव में "अलौकिक" हैं, जो किसी भी सरल सूत्र का विरोध करती हैं जिसे हम उन्हें पकड़ने के लिए उपयोग करते हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।