OpenAI ने कहा कि उसके AI ने 100 से ज्यादा खुली गणित समस्याएं सुलझाईं—अभी क्या पता है

OpenAI की 21 सितंबर की घोषणा गणित में एक असाधारण दावा थी, स्थापित और सर्वमान्य परिणाम नहीं। कंपनी ने कहा कि 28 अगस्त से प्रशिक्षण में रहे एक अनाम आंतरिक मॉडल ने गणित के अधिकांश क्षेत्रों की 100 से अधिक लंबे समय से खुली समस्याएं सुलझा लीं। यह घोषणा प्रिंसटन स्थित इंस्टीट्यूट फॉर एडवांस्ड स्टडी (IAS) में आयोजित गणित और कृत्रिम बुद्धिमत्ता संबंधी स्वतंत्र सलाहकार समूह की घोषणा के साथ की गई थी। 515

यहां सबसे अहम अंतर समझना जरूरी है: किसी कंपनी का किसी समस्या के हल का दावा और उस हल का स्वतंत्र विशेषज्ञों द्वारा जांचा और गणित समुदाय द्वारा स्वीकार किया जाना अलग बातें हैं। उपलब्ध सार्वजनिक सामग्री पहले बिंदु का समर्थन करती है; वह 100+ समस्याओं के पूरे दावे को स्वतंत्र रूप से स्थापित नहीं करती।

OpenAI ने क्या हासिल करने का दावा किया

21 सितंबर की घोषणा से पहले, 8 सितंबर को OpenAI ने कहा था कि लगभग 10,000 AI एजेंटों ने एक अप्रकाशित आंतरिक मॉडल की मदद से 88 घंटों में बाह्य बल वाले त्रि-आयामी नैवियर–स्टोक्स समीकरणों में सीमित समय में सिंगुलैरिटी खोज ली। कंपनी ने इसे नैवियर–स्टोक्स के अस्तित्व और स्मूदनेस संबंधी समस्या का समाधान बताया और कहा कि उसने विश्लेषणात्मक प्रूफ के साथ Lean में औपचारिक सत्यापन भी तैयार किया है। 113

फिर 21 सितंबर को कंपनी ने कहा कि नैवियर–स्टोक्स के अतिरिक्त, उस आंतरिक मॉडल ने 100 से अधिक लंबे समय से खुली समस्याएं हल की हैं। 515

लेकिन “हल की हैं” कंपनी का अपना वर्णन है। इसका अर्थ यह नहीं कि हर परिणाम प्रकाशित हो चुका है, स्वतंत्र विशेषज्ञों ने जांच लिया है या गणित समुदाय ने उसे स्वीकार कर लिया है।

क्या प्रमाण जारी हुए, और क्या नहीं

नैवियर–स्टोक्स के मामले में OpenAI ने विश्लेषणात्मक प्रूफ और Lean में औपचारिकीकरण का वर्णन सार्वजनिक रूप से दिया। Lean एक प्रूफ-असिस्टेंट भाषा है। Lean द्वारा जांचा गया परिणाम महत्वपूर्ण साक्ष्य हो सकता है: यह दिखा सकता है कि ठीक-ठीक एन्कोड किए गए प्रमेय का निष्कर्ष परिभाषाओं, स्वयंसिद्धों और इस्तेमाल की गई औपचारिक लाइब्रेरी से तार्किक रूप से निकलता है। 13

लेकिन 100+ समस्याओं वाले व्यापक दावे के लिए सार्वजनिक रिकॉर्ड काफी कम है। 21 सितंबर की घोषणा में समस्याओं की सार्वजनिक, क्रमांकित सूची; उनके सटीक गणितीय कथन; प्रूफ; औपचारिकीकरण की स्थिति; स्रोत या प्राथमिकता; अथवा स्वतंत्र समीक्षा की स्थिति नहीं दी गई। इसलिए बाहर के शोधकर्ता इस बड़े आंकड़े को समस्या-दर-समस्या परख नहीं सकते। 711

उपलब्ध रिपोर्टिंग यह भी स्थापित नहीं करती कि नैवियर–स्टोक्स प्रूफ की स्वतंत्र मानवीय सहकर्मी समीक्षा पूरी हो चुकी है या उसे व्यापक गणितीय स्वीकृति मिल चुकी है। प्रूफ सामग्री उपलब्ध होना या कोड का सफलतापूर्वक कंपाइल हो जाना, इन दोनों से अलग मानक हैं। 146

क्या हॉज परिकल्पना हल हो गई है?

नहीं। उपलब्ध रिकॉर्ड में ऐसा कोई सार्वजनिक प्रमाण नहीं है जिससे हॉज परिकल्पना को हल मान लिया जाए।

हॉज परिकल्पना क्ले मैथमेटिक्स इंस्टीट्यूट की मिलेनियम प्राइज़ समस्याओं में से एक है। 37 रिपोर्टों के अनुसार OpenAI ने दूसरे, लेकिन अनाम, मिलेनियम प्रश्न पर “महत्वपूर्ण प्रगति” की बात स्वीकार की थी। उसने न तो उस प्रश्न को सार्वजनिक रूप से हॉज परिकल्पना बताया और न उसके लिए कोई प्रूफ जारी किया। 14

प्रगति की रिपोर्ट, अफवाह या दावा ऐसा प्रकाशित प्रूफ नहीं होता जिसे शोध समुदाय जांच सके। जब तक सटीक कथन और उसके समर्थन में काम सार्वजनिक नहीं होता तथा स्वतंत्र रूप से आंका नहीं जाता, जिम्मेदार निष्कर्ष यही है कि हॉज परिकल्पना का OpenAI-आधारित समाधान स्थापित नहीं हुआ है।

Lean प्रूफ सही हो सकता है, फिर भी उसे समझना कठिन क्यों है

औपचारिक सत्यापन और मनुष्यों की गणितीय समझ परस्पर जुड़ी, लेकिन अलग जरूरतें हैं।

Lean औपचारिकीकरण इस बात का मजबूत भरोसा दे सकता है कि औपचारिक ढांचे के सापेक्ष एन्कोड किए गए प्रमेय में तार्किक कमी नहीं है। मगर औपचारिक प्रूफ स्क्रिप्ट में सामान्य गणितीय कदम भी बड़ी संख्या में परिभाषाओं, लेमा, लाइब्रेरी निर्भरताओं, पुनर्लेखनों और तकनीकी चरणों के रूप में स्पष्ट लिखने पड़ते हैं। इस कारण विशेषज्ञों के लिए भी उसे एक सहज वैचारिक तर्क की तरह पढ़ना मुश्किल हो सकता है।

इसका मतलब यह नहीं कि “कोड कंपाइल हो गया” बेकार बात है। बल्कि केवल कंपाइल होने से गणितज्ञों के सभी जरूरी सवालों के जवाब नहीं मिलते:

• क्या औपचारिक कथन वास्तव में उसी मिलेनियम समस्या के अनुरूप है जिसका दावा किया जा रहा है?
• निर्माण या सिंगुलैरिटी बनने के पीछे मुख्य विचार क्या है?
• कौन-से अनुमान और तर्क असली बौद्धिक काम कर रहे हैं?
• क्या परिणाम मजबूत, नया और दूसरे शोधकर्ताओं के लिए उपयोगी रूप में प्रस्तुत है?
• पहले के संबंधित विचारों का श्रेय किसे और कैसे मिलना चाहिए?

औपचारिक जांच सत्यापन का बड़ा हिस्सा हो सकती है। पर वह अपने-आप संक्षिप्त मानवीय व्याख्या, प्राथमिकता का फैसला या समुदाय की सहमति पैदा नहीं करती।

आलोचना: श्रेय, प्राथमिकता और शोध की परंपराएं

घोषणा पर तकनीकी सवालों के अलावा शोध-संस्कृति को लेकर भी आलोचना हुई। 25 फील्ड्स मेडल विजेताओं ने A Severe Misalignment of AI in Mathematics नाम का खुला पत्र हस्ताक्षरित किया। इसमें मशहूर गणित समस्याओं को AI क्षमता दिखाने की होड़ में इस्तेमाल करने पर आपत्ति जताई गई और चेतावनी दी गई कि ऐसे प्रोत्साहन गणित, उसकी शोध-संस्कृति और प्रशिक्षण को नुकसान पहुंचा सकते हैं। 1921

प्राथमिकता को लेकर अलग विवाद गणितज्ञ ट्रिस्टन बकमास्टर और लेवेंट आल्पोगे से जुड़ा। समकालीन बयान में बकमास्टर ने कहा कि उन्हें बताया गया था कि OpenAI की आंतरिक प्रणाली के पास बाह्य बल वाले नैवियर–स्टोक्स समीकरणों में सीमित समय के ब्लो-अप का प्रूफ है। उन्होंने यह भी कहा कि उन्हें और आल्पोगे को अपने संबंधित काम का सत्यापन और प्रस्तुति पूरी होने से पहले जारी करने का दबाव महसूस हुआ। उनके बयान में यह भी है कि अलग हाइपो-डिसिपेटिव नैवियर–स्टोक्स परिणाम जारी नहीं किया गया, क्योंकि उसका Lean सत्यापन पूरा नहीं हुआ था। 17

बकमास्टर का विवरण समय, श्रेय और प्रकाशन के दबाव पर विवाद का महत्वपूर्ण साक्ष्य है। लेकिन यह अपने-आप में इस बात का प्रमाण नहीं कि OpenAI ने किसी का काम कॉपी किया। OpenAI ने कहा कि उसने दोनों गणितज्ञों की संभावित सफलता की अफवाह सुनने के बाद काम शुरू किया और प्राथमिकता को मान्यता देने के साथ समानांतर घोषणा की पेशकश की थी। 32

इसलिए मुद्दा सिर्फ इतना नहीं कि AI प्रूफ बना सकता है या नहीं। सवाल यह भी है कि AI-सहायित खोजों को किस तरह जारी किया जाए ताकि उचित श्रेय, स्वतंत्र जांच और सामान्य अकादमिक संवाद संभव रहे।

IAS का सलाहकार समूह क्या कर सकता है—और क्या नहीं

OpenAI ने प्रिंसटन के IAS में आयोजित, अवैतनिक और स्वतंत्र नौ-सदस्यीय Advisory Group on Mathematics and Artificial Intelligence की घोषणा की। रिपोर्टों में सदस्यों में टिमोथी गॉवर्स और मार्टिन हेयरर के नाम शामिल बताए गए हैं। 45

इस समूह का घोषित उद्देश्य AI-निर्मित गणितीय कार्यों के मूल्यांकन और संचार में गणितज्ञों की भूमिका बढ़ाना है, जिसमें समीक्षा और परिणाम जारी करने के तरीकों पर सलाह शामिल है। 515

हालांकि यह नियामक संस्था नहीं, सलाहकार निकाय है। उपलब्ध रिपोर्टिंग के मुताबिक यह OpenAI को मूल प्रूफ जारी करने के लिए बाध्य नहीं कर सकता, कंपनी की शोध गति तय नहीं कर सकता, घोषणाओं पर वीटो नहीं लगा सकता और न ही लेखकत्व पर अंतिम फैसला दे सकता है। 7

यह सीमा महत्वपूर्ण है: विशेषज्ञ सलाह पारदर्शिता और संवाद बेहतर कर सकती है, लेकिन केवल इससे कोई आंतरिक कंपनी दावा समुदाय द्वारा स्वीकार किया गया प्रमेय नहीं बन जाता।

अभी मिलेनियम पुरस्कार क्यों नहीं मिल सकता

क्ले मैथमेटिक्स इंस्टीट्यूट के नियम स्पष्ट हैं। किसी प्रस्तावित मिलेनियम प्राइज़ समाधान पर विचार करने से पहले उसका एक योग्य प्रकाशन माध्यम में प्रकाशित होना, प्रकाशन के कम-से-कम दो वर्ष बीतना और वैश्विक गणित समुदाय में उसे सामान्य स्वीकृति मिलना आवश्यक है। 46

कंपनी ब्लॉग पोस्ट, प्रीप्रिंट, कोड रिपॉजिटरी या सलाहकार समूह का आकलन अपने-आप इन शर्तों को पूरा नहीं करता। नैवियर–स्टोक्स घोषणा के बाद क्ले संस्थान ने भी कहा कि उसके नियम उपलब्धि के मूल्यांकन और श्रेय के निर्धारण—दोनों को नियंत्रित करते हैं। 42

इसलिए, यदि OpenAI का नैवियर–स्टोक्स परिणाम या कोई बाद का परिणाम अंततः सही सिद्ध होता है, तब भी सितंबर की घोषणाओं से वह तत्काल पुरस्कार के योग्य नहीं बनता। उसे स्थापित प्रकाशन और सामुदायिक स्वीकृति की प्रक्रिया से गुजरना होगा।

निष्कर्ष

OpenAI ने दावा किया है कि उसके आंतरिक AI मॉडल ने 100 से अधिक खुली गणित समस्याएं हल कीं, और इससे पहले उसने Lean-औपचारिकीकृत नैवियर–स्टोक्स समाधान का दावा किया था। नैवियर–स्टोक्स काम के लिए सार्वजनिक सामग्री मौजूद है; व्यापक 100+ दावे के लिए अभी समस्या-दर-समस्या सार्वजनिक प्रमाण रिकॉर्ड नहीं है। 1311

फिलहाल सही रुख न तो तुरंत खारिज करना है, न तुरंत स्वीकार करना। ये संभावित रूप से बड़े दावे हैं, जिनके लिए पारदर्शी प्रूफ, विशेषज्ञ जांच, सावधानी से श्रेय-निर्धारण और समय की जरूरत है। यही बात हॉज परिकल्पना जैसे किसी दूसरे मिलेनियम प्रश्न के हल होने के किसी भी संकेत पर भी लागू होती है।