तीन सिद्धता बुडवणारी चिन्हाची चूक

हॉज अटकळ (Hodge conjecture) हा गणितातील सर्वांत खोल अनुत्तरित प्रश्नांपैकी एक आहे. या शोधनिबंधात तिचे विधान क्ले गणित संस्थेच्या The Millennium Prize Problems या पुस्तकातील पिएर डेलिन्य (Pierre Deligne) यांच्या प्रकरणातून घेतले आहे. अगदी ढोबळपणे, ती म्हणते की बहुपदी समीकरणांनी व्याख्यित केलेल्या भौमितिक अवकाशाच्या संस्थिती-शास्त्रात (topology) दडलेले काही “आकार” नेहमीच अशा लहान तुकड्यांतून बांधता येतात जे स्वतःही समीकरणांनी व्याख्यित असतात.

सप्टेंबर आणि ऑक्टोबर 2026 मध्ये, OpenAI ने “OAI” अशी स्वाक्षरी असलेले तीन दस्तऐवज प्रसिद्ध केले, ज्यांनी विशेष प्रकरणांत अटकळ सिद्ध केल्याचा दावा केला: K3 पृष्ठे म्हटल्या जाणाऱ्या काही पृष्ठांसाठी, त्यांच्या गुणाकारांसाठी, आणि काही आठ-मितीय अवकाशांसाठी. OpenAI ने नंतर तिन्ही मागे घेतले. इम्पीरियल कॉलेज लंडनचे Yankı Lekili आणि एडिनबरा विद्यापीठाचे Nick Sheridan आता ते नेमके कुठे चुकले हे स्पष्ट करतात.

आरशातून जाणारा वैध मार्ग

दस्तऐवजांनी एक मोहक मार्ग धरला. मॅक्सिम कॉन्त्सेविच यांनी मांडलेली होमोलॉजिकल मिरर सिमेट्री (homological mirror symmetry) ही प्रभावी कल्पना एका भौमितिक अवकाश X ला अगदी वेगळ्या प्रकारच्या “आरसा” अवकाश Y शी जोडते, ज्याचा अभ्यास सिम्प्लेक्टिक भूमितीत (symplectic geometry) होतो — गतीच्या भौतिकशास्त्रातून आलेली एक भूमिती, जिच्यात लांबी नव्हे तर क्षेत्रफळे मोजली जातात. हा दुवा प्रस्थापित झाला की X बद्दलचा प्रश्न Y बद्दलच्या प्रश्नाशी अदलाबदल करता येतो.

इथे, X साठी हॉजचा प्रश्न निकाली काढण्यासाठी आरसा Y मध्ये एक विशिष्ट वस्तू बांधणे पुरेसे आहे: लाग्रांजियन निमज्जन (Lagrangian immersion) म्हटला जाणारा पृष्ठासारखा आकार, जो अबाधित (unobstructed) देखील असायला हवा — ही एक तांत्रिक अट आहे जी त्याला आरशाच्या साधनसंचाचा वैध सदस्य बनवते. Lekili आणि Sheridan मान्य करतात की हा दृष्टिकोन वैध आहे. अडचण अशी: अबाधित लाग्रांजियन बांधणे हीच एक कठीण समस्या आहे. तिथेच तिन्ही दस्तऐवज मोडले.

छेदनबिंदू कुठे येतात

निमज्जनाला स्वतःलाच छेदण्याची मुभा असते, आणि प्रत्येक छेदनबिंदूला एक संख्या असते, त्याची कोटी (degree). इथे विषम कोटीचे छेद निरुपद्रवी आहेत. कोटी 2 चे छेद अडथळा निर्माण करू शकतात.

दस्तऐवजांनी आधी एका लवचिक तंत्राने — ग्रोमोव्ह आणि लीज यांच्या h-तत्त्वाने — एक ढोबळ निमज्जन बांधले. मग त्यांनी ते नीटनेटके करण्यासाठी Tobias Ekholm, Yakov Eliashberg, Emmy Murphy आणि Ivan Smith यांचे 2013 चे एक प्रमेय वापरले, जेणेकरून प्रत्येक छेदाची कोटी विषम होईल. एकही सम छेद उरला नाही, तर अबाधितपणा आपोआप सिद्ध झाला असता.

जिथे वजा हवे होते तिथे अधिक

2013 चे प्रमेय बरोबर आहे. पण ते छेद प्रमाणित संकेताच्या उलट चिन्ह-संकेताने मोजते. त्याचे लेखक हे कधीही स्पष्टपणे सांगत नाहीत; ते आपला संकेत सातत्याने वापरतात, आणि तो त्यांच्या सूत्रांवरून व सिद्धतेवरून काढता येतो. OpenAI च्या दस्तऐवजांनी त्याऐवजी प्रमाणित संकेत वापरला — एक चिन्ह उलटले. हे महत्त्वाचे आहे, कारण प्रमेयाचा निष्कर्ष छेदांच्या, अधिक आणि उणे चिन्हांनी मोजलेल्या, एका विशिष्ट बेरजेचे उत्तर ऋण येते की नाही यावर अवलंबून असतो. दस्तऐवजांनी आपले निमज्जन असे बांधले होते की ही बेरीज ऋण यावी — ज्या स्थितीत प्रत्येक छेद विषम करता येईल असे त्यांना वाटत होते. प्रमेयाच्या स्वतःच्या चिन्हाने तीच बेरीज धन येते: म्हणजे दुसरी स्थिती. ही समस्या बहुधा सर्वप्रथम Nathan Humphrey यांनी हेरली आणि OpenAI ला कळवली.

चिन्ह बरोबर वाचले की प्रमेय वेगळीच गोष्ट सांगते. त्याची रचना नेहमीच कोटी 2 चा एक छेदनबिंदू शिल्लक ठेवते, ज्याला Lekili आणि Sheridan p म्हणतात. इतर प्रत्येक छेद विषम करता येतो; p राहतो. आणि सिद्धता मोडायला p पुरेसा आहे.

हे एखाद्या त्रुटीपेक्षाही वाईट आहे. लेखक दाखवतात की अशा प्रकारे मिळणारी निमज्जने सहसा बाधित असतात: एक लहान “दृढ” (rigid) चकती — एक वेगळा, विकृत करता न येणारा पृष्ठभाग, ज्याची कड निमज्जनावर असते आणि p मधून जाते — असा अडथळा निर्माण करते जो एका विशिष्ट क्षेत्रात नाहीसा होऊच शकत नाही — आणि त्या क्षेत्राबाहेर तो रद्द होण्याचे कोणतेही कारण नाही. त्यांच्याच शब्दांत, हा छेद म्हणजे “लवचिकतेची किंमत” आहे.

दृढ विरुद्ध लवचिक

या क्षेत्रातील गणितज्ञ विकलन संस्थिती-शास्त्राच्या (differential topology) सर्वसाधारण साधनांपुढे झुकणाऱ्या लवचिक समस्या आणि न झुकणाऱ्या दृढ समस्या यांत फरक करतात. अबाधित लाग्रांजियन सहसा दृढ असतात, आणि सहसा दृढाकडून लवचिकाकडे जाता येते, पण उलट नाही. या अंतःप्रेरणेमुळे अनेक संशोधक दस्तऐवज मागे घेतले जाण्यापूर्वीच साशंक होते. तरीही लेखक नम्रतेची एक टीप जोडतात: अंतःप्रेरणा चुकू शकते, आणि 2013 च्या प्रमेयाने स्वतःच एकेकाळी अपेक्षांना छेद दिला होता.

काय टिकते

Lekili आणि Sheridan उर्वरित युक्तिवादांचे विश्लेषण करत नाहीत, आणि ते तीन सकारात्मक निष्पत्ती नोंदवतात. एकूण रणनीती — मिरर सिमेट्रीमार्फत हॉज अटकळीवर हल्ला — रोचक आणि पाठपुरावा करण्याजोगी आहे; कोणी लाग्रांजियनचा अडथळा पार केला, तर हे दस्तऐवज उर्वरित तांत्रिक पायऱ्यांसाठी मार्गदर्शक ठरू शकतात. 2013 च्या शोधनिबंधातील दडलेला चिन्ह-संकेत आता स्पष्ट झाला आहे. आणि त्याची निमज्जने कधी अबाधित असू शकतात का, हा प्रश्नही.