चिह्न की वह चूक जिसने तीन प्रमाण डुबो दिए

हॉज अनुमान (Hodge conjecture) गणित के सबसे गहरे अनसुलझे सवालों में से एक है। इस शोधपत्र में इसका कथन Clay Mathematics Institute की पुस्तक The Millennium Prize Problems में Pierre Deligne के लिखे एक अध्याय से लिया गया है। बहुत मोटे तौर पर, यह कहता है कि बहुपद समीकरणों से परिभाषित किसी ज्यामितीय स्थान की टोपोलॉजी में छिपी कुछ “आकृतियाँ” हमेशा ऐसे छोटे टुकड़ों से बनाई जा सकती हैं जो ख़ुद भी समीकरणों से परिभाषित हों।

सितंबर और अक्टूबर 2026 में OpenAI ने “OAI” नाम से हस्ताक्षरित तीन दस्तावेज़ जारी किए, जिनमें विशेष मामलों में इस अनुमान को सिद्ध करने का दावा था: K3 सतहें कहलाने वाली कुछ सतहों, उनके गुणनफलों, और कुछ आठ-आयामी स्थानों के लिए। बाद में OpenAI ने तीनों वापस ले लिए। Imperial College London के Yankı Lekili और University of Edinburgh के Nick Sheridan अब ठीक-ठीक समझाते हैं कि वे कहाँ ग़लत हुए।

दर्पण से होकर जाने वाला एक वैध रास्ता

दस्तावेज़ों ने एक सुंदर रास्ता अपनाया। समजातीय दर्पण सममिति (homological mirror symmetry) नामक एक शक्तिशाली विचार, जिसका अनुमान Maxim Kontsevich ने लगाया था, एक ज्यामितीय स्थान X को एक बिल्कुल अलग तरह के “दर्पण” स्थान Y से जोड़ता है, जिसका अध्ययन सिम्प्लेक्टिक ज्यामिति (symplectic geometry) में होता है — गति की भौतिकी से विरासत में मिली एक ज्यामिति, जिसमें लंबाइयाँ नहीं, क्षेत्रफल मापे जाते हैं। यह जुड़ाव स्थापित हो जाने पर X के बारे में एक सवाल को Y के बारे में एक सवाल से बदला जा सकता है।

यहाँ, X के लिए हॉज के सवाल को सुलझाने के लिए दर्पण Y में एक ख़ास वस्तु बनाना काफ़ी है: सतह जैसी एक आकृति जिसे लैग्रांजीय निमज्जन (Lagrangian immersion) कहते हैं, और जिसे अबाधित (unobstructed) भी होना चाहिए — एक तकनीकी शर्त जो इसे दर्पण के औज़ारों का एक वैध सदस्य बनाती है। Lekili और Sheridan सहमत हैं कि यह एक वैध तरीक़ा है। पेच यह है: अबाधित लैग्रांजीय बनाना अपने-आप में एक कठिन समस्या है। तीनों दस्तावेज़ ठीक यहीं टूटे।

कटान-बिंदु कहाँ आते हैं

एक निमज्जन को ख़ुद को काटने की छूट होती है, और हर कटान-बिंदु के साथ एक संख्या जुड़ी होती है, उसकी कोटि (degree)। यहाँ विषम कोटि वाले कटान हानिरहित हैं। कोटि 2 वाले कटान एक बाधा पैदा कर सकते हैं।

दस्तावेज़ों ने पहले एक लचीली तकनीक, Gromov और Lees के h-सिद्धांत (h-principle), से एक मोटा-मोटा निमज्जन बनाया। फिर उसे व्यवस्थित करने के लिए उन्होंने Tobias Ekholm, Yakov Eliashberg, Emmy Murphy और Ivan Smith के 2013 के एक प्रमेय का सहारा लिया, ताकि हर कटान विषम कोटि का हो जाए। सम कटानों के न रहने पर अबाधितता अपने-आप सिद्ध हो जाती।

एक धन, जिसे ऋण होना चाहिए था

2013 का प्रमेय सही है। लेकिन वह कटानों की गिनती मानक परिपाटी के उलट चिह्न-परिपाटी से करता है। उसके लेखक यह बात कभी स्पष्ट रूप से नहीं कहते; वे अपनी परिपाटी लगातार इस्तेमाल करते हैं, और इसे उनके सूत्रों और प्रमाण से निकाला जा सकता है। OpenAI के दस्तावेज़ों ने इसके बजाय मानक परिपाटी इस्तेमाल की — एक चिह्न उलट गया। यह इसलिए अहम है क्योंकि प्रमेय का नतीजा इस पर निर्भर करता है कि कटानों का एक ख़ास जोड़, जिसे धन और ऋण चिह्नों के साथ गिना जाता है, ऋणात्मक निकलता है या नहीं। दस्तावेज़ों ने अपना निमज्जन इस तरह बनाया था कि यह जोड़ ऋणात्मक हो — वह स्थिति जिसमें उन्हें लगता था कि हर कटान को विषम बनाया जा सकता है। प्रमेय के अपने चिह्न के साथ यही जोड़ धनात्मक है: यानी दूसरी स्थिति। लगता है कि इस समस्या को सबसे पहले Nathan Humphrey ने पकड़ा और OpenAI को इसकी सूचना दी।

चिह्न को सही पढ़ने पर प्रमेय एक अलग कहानी कहता है। उसकी रचना हमेशा कोटि 2 का एक कटान-बिंदु छोड़ देती है, जिसे Lekili और Sheridan p कहते हैं। बाक़ी हर कटान को विषम बनाया जा सकता है; p बना रहता है। और प्रमाण को तोड़ने के लिए p काफ़ी है।

यह एक कमी से भी बदतर है। लेखक दिखाते हैं कि इस तरह बने निमज्जन आम तौर पर बाधित होते हैं: एक छोटी “दृढ़” चकती — एक अलग-थलग सतह, जिसे विकृत नहीं किया जा सकता, और जिसका किनारा निमज्जन पर स्थित है और p से होकर गुज़रता है — एक ऐसी बाधा पैदा करती है जो एक ख़ास दायरे में ग़ायब नहीं हो सकती — और उस दायरे के बाहर इसके रद्द होने की कोई वजह नहीं है। उनके शब्दों में, यह कटान “लचीलेपन की क़ीमत” है।

दृढ़ बनाम लचीला

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

क्या बचता है

Lekili और Sheridan बाक़ी तर्कों का विश्लेषण नहीं करते, और तीन सकारात्मक नतीजे गिनाते हैं। समग्र रणनीति — दर्पण सममिति के ज़रिए हॉज अनुमान पर हमला — दिलचस्प और आगे बढ़ाने लायक़ है; अगर कोई लैग्रांजीय बाधा को पार कर ले, तो ये दस्तावेज़ बचे हुए तकनीकी क़दमों में राह दिखा सकते हैं। 2013 के शोधपत्र की छिपी चिह्न-परिपाटी अब स्पष्ट हो गई है। और यह सवाल भी, कि क्या उसके निमज्जन कभी अबाधित हो सकते हैं।