नियम

26 अक्टूबर 2026 को, OpenAI ने घोषणा की कि उसके AI सिस्टम ने "साबित किया कि ETH गलत है, और बाद में Lean में इसकी पुष्टि की गई।" (देखें: https://openai.com/index/building-scientific-understanding-with-academic-communities/) यदि नीचे सूचीबद्ध योग्य पुष्टि विधियों में से कम-से-कम एक के माध्यम से निर्दिष्ट तारीख, 11:59 pm ET, तक Exponential Time Hypothesis का खंडन पुष्ट हो जाता है, तो यह बाज़ार "हाँ" पर तय होगा। अन्यथा, यह मार्केट "नहीं" के रूप में तय होगा। "Exponential Time Hypothesis" से आशय Russell Impagliazzo और Ramamohan Paturi द्वारा प्रतिपादित उस अनुमान से है कि 3-SAT समस्या को उप-घातीय समय में हल नहीं किया जा सकता। "खंडन" से आशय ऐसे किसी भी गणितीय प्रमाण से है जो दिखाता है कि Exponential Time Hypothesis गलत है। इसमें OpenAI के "The Exponential Time Hypothesis is False" शीर्षक वाले शोधपत्र (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) में प्रस्तुत प्रमाण और उसका कोई भी संशोधित, सुधारा गया या विस्तारित संस्करण शामिल है, चाहे वह OpenAI ने दिया हो या अन्य लोगों ने। ऐसी पुष्टियाँ योग्य नहीं होंगी जो केवल किसी कमज़ोर नतीजे को स्थापित करती हों, जैसे ऐसा तेज़ एल्गोरिदम जो Exponential Time Hypothesis का खंडन न करता हो, या जो केवल यह स्थापित करती हों कि OpenAI का Lean कोड कम्पाइल होता है। योग्य पुष्टि विधियाँ हैं: (i) सहकर्मी-समीक्षित प्रकाशन: खंडन प्रस्तुत करने वाला शोधपत्र, चाहे OpenAI ने लिखा हो या अन्य शोधकर्ताओं ने, किसी प्रतिष्ठित सहकर्मी-समीक्षित वैज्ञानिक पत्रिका या सहकर्मी-समीक्षित सम्मेलन (उदाहरण के लिए, STOC, FOCS, SODA) में प्रकाशित हो या प्रकाशन के लिए स्वीकार किया गया हो। प्रीप्रिंट और ऐसे अन्य प्रकाशन जिनकी सहकर्मी-समीक्षा पूरी नहीं हुई है, योग्य नहीं होंगे। प्रीप्रिंट और अन्य प्रकाशन जिनकी सहकर्मी समीक्षा पूरी नहीं हुई है, योग्य नहीं होंगे। (ii) स्वतंत्र सत्यापन: Russell Impagliazzo, Ramamohan Paturi और Ryan Williams के नेतृत्व वाला समीक्षा समूह, इन तीन शोधकर्ताओं में से कोई एक, या OpenAI से असंबद्ध कोई अन्य विश्वसनीय शोधकर्ता या शोध समूह सार्वजनिक रूप से पुष्टि करे कि खंडन सही है। पुष्टि में बिना किसी शर्त के कहा जाना चाहिए कि खंडन सही है या Exponential Time Hypothesis गलत है (उदाहरण के लिए, प्रमाण की जाँच की गई है और उसे सही पाया गया है)। इसे सत्यापन करने वाले शोधकर्ता, समूह या उसके सदस्यों द्वारा प्रकाशित किया जाना चाहिए, जिसमें शोधपत्र, प्रीप्रिंट, वेबसाइट, ब्लॉग या आधिकारिक सोशल मीडिया अकाउंट के माध्यम से प्रकाशन शामिल है; केवल OpenAI द्वारा बताई गई पुष्टियाँ योग्य नहीं होंगी। पुष्टि लिखित प्रमाण, Lean औपचारिक निरूपण या दोनों की समीक्षा पर आधारित हो सकती है; Lean औपचारिक निरूपण पर आधारित पुष्टि तभी योग्य होगी जब उसमें कहा गया हो कि औपचारिक रूप दिया गया नतीजा स्थापित करता है कि Exponential Time Hypothesis गलत है। ऐसे बयान योग्य नहीं होंगे जिनमें कहा गया हो कि समीक्षा जारी है, कि अब तक कोई त्रुटि नहीं मिली है, या कि खंडन सही होने की संभावना लगती है। निर्दिष्ट तारीख के बाद प्रकाशित या सार्वजनिक की गई पुष्टियों पर विचार नहीं किया जाएगा, भले ही उनकी आधारभूत समीक्षा उस तारीख से पहले हुई हो। OpenAI के कर्मचारियों, ठेकेदारों और निवेशकों को OpenAI से संबद्ध माना जाएगा। Russell Impagliazzo, Ramamohan Paturi और Ryan Williams के नेतृत्व वाले समीक्षा समूह और उसके सदस्यों को OpenAI से संबद्ध नहीं माना जाएगा। समीक्षा समूह का यह बयान कि उसकी भागीदारी को दावे के प्रमाणन के रूप में नहीं लिया जाना चाहिए, समूह या उसके सदस्यों की बाद की योग्य पुष्टि को बाज़ार के निपटारे में शामिल किए जाने से नहीं रोकेगा। OpenAI या उससे संबद्ध लोगों के बयान, सोशल मीडिया पोस्ट या प्रेस विज्ञप्तियाँ, ऐसे मीडिया लेख जो केवल इन दावों को आगे बताते हों, और OpenAI द्वारा प्रकाशित Lean औपचारिक निरूपण—इनमें से कोई भी अकेले योग्य नहीं होगा। इस बाज़ार के निपटारे का स्रोत योग्य पुष्टि की वैधता का सत्यापन करने वाले विश्वसनीय स्रोतों और संबंधित वैज्ञानिक विशेषज्ञों की सहमति होगी।

मशीन अनुवाद। विवाद की स्थिति में मूल पाठ मान्य होगा।