OpenAI का गणित सलाहकार समूह: अधिकार सीमित, परीक्षा अभी बाकी

OpenAI ने नैवियर–स्टोक्स संबंधी अपने दावे के बाद उठे सवालों के जवाब में गणित और कृत्रिम बुद्धिमत्ता पर सलाहकार समूह बनाया है। यह समूह प्रिंसटन के इंस्टीट्यूट फॉर एडवांस्ड स्टडी (IAS) में स्थित है और AI से निकले गणितीय नतीजों की समीक्षा तथा उन्हें सार्वजनिक करने के तरीके पर सलाह देगा। लेकिन इसे जर्नल, स्वतंत्र प्रमाण-प्रमाणीकरण संस्था या OpenAI की रिसर्च को नियंत्रित करने वाला निकाय समझना गलत होगा। 332

विवाद की शुरुआत कैसे हुई

8 सितंबर को OpenAI ने 166 पन्नों की एक पांडुलिपि और Lean में औपचारिक रूप से लिखा गया प्रमाण जारी किया। कंपनी का दावा है कि उसने नैवियर–स्टोक्स के अस्तित्व और चिकनाई (existence and smoothness) प्रश्न का समाधान दिया है: किसी चिकने बाहरी बल के तहत, शुरू में चिकने त्रि-आयामी द्रव-प्रवाह में सीमित समय के भीतर सिंगुलैरिटी विकसित हो सकती है। 6

Lean एक प्रूफ असिस्टेंट है, जो औपचारिक भाषा में लिखे प्रमाण को मशीन से जांचने देता है। यह एक महत्वपूर्ण सत्यापन-स्तर है, लेकिन 166-पन्नों की मानवीय व्याख्या को गणितज्ञों के लिए तुरंत समझने योग्य नहीं बना देता। रिपोर्टिंग में कहा गया कि प्रमाण को समझने में समय लग रहा है और समीक्षा व प्रकाशन की प्रक्रिया पर चिंताओं के बीच नया समूह घोषित किया गया। 2

इसी दौरान श्रेय और प्राथमिकता पर भी विवाद खड़ा हुआ। ट्रिस्टन बकमास्टर और लेवेंट अल्पोजे ने संबंधित द्रव-समीकरणों पर Lean से सत्यापित नतीजे प्रकाशित किए, जिसके बाद दोनों पक्षों के काम के श्रेय को लेकर सार्वजनिक बहस हुई। यह प्रश्न इस बात से अलग है कि OpenAI का औपचारिक प्रमाण मशीन से जांच में पास होता है या नहीं; इसमें विचारों की उत्पत्ति, पहुंच और अकादमिक श्रेय जैसे मुद्दे आते हैं। 1

पैनल में कौन-कौन हैं

संस्थापक सदस्यों की सूची यह है:

• फ्रांस्वा शार्ल
• कैमिलो डे लेलिस
• टिमोथी गोवर्स
• मार्टिन हेयरर
• निखिल श्रीवास्तव
• उलराइके टिलमान
• रवि वकील
• एडवर्ड विटन
• मेलानी मैचेच वुड 26

समूह की मेजबानी IAS कर रहा है, जबकि OpenAI का कहना है कि यह कंपनी से स्वतंत्र रूप से काम करेगा। 33

यह समूह वास्तव में क्या कर सकता है

OpenAI के अनुसार, समूह नए गणितीय नतीजों के मूल्यांकन और संचार पर सलाह देगा। इसमें नतीजे की अहमियत समझना, उसके समन्वित प्रकाशन की योजना बनाना और अकादमिक तथा पेशेवर मानकों पर सुझाव देना शामिल है। 1733

इसके स्वतंत्र ढांचे की कुछ खास बातें हैं:

• सदस्यों को OpenAI से भुगतान नहीं मिलेगा।
• वे ऐसी सलाह भी दे सकते हैं जो OpenAI ने मांगी न हो।
• वे गणित पर OpenAI के प्रभाव पर सार्वजनिक टिप्पणी कर सकते हैं।
• वे अपनी सलाह को सार्वजनिक कर सकते हैं।
• समूह अपने सदस्यों में बदलाव खुद कर सकता है। 33

ये प्रावधान अहम हैं, क्योंकि इनके तहत सलाहकारों के पास बंद कमरे के भीतर ही नहीं, सार्वजनिक रूप से भी OpenAI से असहमति जताने की गुंजाइश है। फिर भी, उनकी भूमिका सलाह तक सीमित है; उनकी सिफारिशें OpenAI पर बाध्यकारी नहीं हैं। 33

यह समूह क्या नहीं कर सकता

इस पैनल के पास OpenAI की रिसर्च दिशा या समय-सीमा तय करने का अधिकार नहीं है। कंपनी ने स्पष्ट कहा है कि समूह उसके आंतरिक गणितीय शोध की गति पर सलाह नहीं देगा। 332

इसका व्यावहारिक अर्थ है कि समूह:

• किसी रिसर्च घोषणा को रोक नहीं सकता;
• OpenAI को प्रमाण, मॉडल या आंतरिक शोध-रिकॉर्ड जारी करने के लिए बाध्य नहीं कर सकता;
• कंपनी की प्रकाशन रणनीति बदलने का आदेश नहीं दे सकता;
• किसी गणितीय दावे को शोध-जगत की ओर से आधिकारिक स्वीकृति नहीं दे सकता; या
• पुराने श्रेय अथवा प्राथमिकता विवाद का अकेले फैसला नहीं कर सकता।

यही सबसे महत्वपूर्ण सीमा है। समूह मानक सुझा सकता है, आपत्ति दर्ज कर सकता है और उसे सार्वजनिक भी कर सकता है, मगर मॉडल, आंतरिक कार्यप्रवाह, सबूतों तक पहुंच और सिफारिशें मानने का अंतिम नियंत्रण OpenAI के पास ही है। इसलिए इसे AI लैब और गणित समुदाय के बीच एक पुल कहना अधिक सही है—स्वतंत्र सहकर्मी समीक्षा का विकल्प नहीं। 332

स्वतंत्रता और प्रतिनिधित्व पर सवाल क्यों बने हुए हैं

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

सदस्य अत्यंत प्रतिष्ठित गणितज्ञ हैं, जो पैनल को विश्वसनीयता देते हैं। फिर भी नौ लोगों का समूह गणित की हर संबंधित आवाज का स्वतः प्रतिनिधित्व नहीं कर सकता। औपचारिक विधियों के विशेषज्ञ, सीधे प्रभावित उपक्षेत्रों के शोधकर्ता, शुरुआती करियर के गणितज्ञ और संस्थापक पैनल में प्रतिनिधित्व न पाने वाले समुदायों के विचार समीक्षा, पहुंच, श्रेय और प्रकाशन-मानकों पर अलग हो सकते हैं। सदस्यों के चयन की प्रक्रिया पर भी सवाल उठे हैं। 37

अवैतनिक ढांचा OpenAI से दूरी बढ़ा सकता है, पर इसका दूसरा पहलू भी है: गहन और आलोचनात्मक समीक्षा के लिए सदस्यों के पास समय होना चाहिए और उन्हें आवश्यक मूल सामग्री तक पहुंच भी मिलनी चाहिए।

नैवियर–स्टोक्स दावे के लिए इसका क्या अर्थ है

Lean सत्यापन यह जांच सकता है कि औपचारिक रूप से दर्ज परिभाषाओं, स्वयंसिद्धों और लेम्माओं से कोई प्रमेय निकलता है या नहीं। लेकिन मशीन-जांचा औपचारिक प्रमाण अपने-आप यह सुनिश्चित नहीं करता कि मनुष्यों के लिए तर्क साफ हो गया है, हर मॉडलिंग-चुनाव अनौपचारिक दावे को ठीक-ठीक पकड़ता है, या नतीजे का गणितीय महत्व स्पष्ट हो गया है।

नया सलाहकार समूह इस बुनियादी विभाजन को नहीं बदलता। वह मूल्यांकन और संचार के तरीके पर सुझाव दे सकता है; पर पांडुलिपि, Lean फाइलों, मान्यताओं और मूल समस्या से घोषित प्रमेय के संबंध की स्वतंत्र जांच गणितज्ञों को ही करनी होगी। 332

इसी तरह, समूह बनने से बकमास्टर से जुड़ा श्रेय-विवाद खत्म नहीं होता। विश्वसनीय समाधान के लिए घटनाक्रम, योगदान, विचारों तक पहुंच और अकादमिक श्रेय की साक्ष्य-आधारित जांच चाहिए—सिर्फ सलाहकार सिफारिश नहीं। 1

असली कसौटी: 100 से अधिक अतिरिक्त दावों का प्रकाशन

OpenAI का कहना है कि उसके आंतरिक मॉडल ने 100 से अधिक अतिरिक्त खुले गणितीय प्रश्न हल किए हैं। सलाहकार समूह से इन नतीजों को जिम्मेदारी से जारी करने में मदद लेने की अपेक्षा है। 3633

इस प्रक्रिया को भरोसेमंद बनाने के लिए समूह निम्न कदमों को प्रोत्साहित कर सकता है:

1. हर समस्या को स्पष्ट रूप से परिभाषित किया जाए। सार्वजनिक सूची में स्थापित प्रमेय, दावा किए गए समाधान, विस्तार और संबंधित नतीजों के बीच अंतर होना चाहिए।
2. पढ़ने योग्य और मशीन-जांच योग्य, दोनों प्रकार का काम जारी हो। मानवीय प्रमाण नतीजे का अर्थ बताते हैं; औपचारिक फाइलें यांत्रिक सत्यापन को दोहराने देती हैं।
3. विषय-विशेषज्ञों से समीक्षा हो। द्रव गतिकी, बीजगणित, ज्यामिति या तर्कशास्त्र के दावों की जांच उसी क्षेत्र के शोधकर्ताओं को करनी चाहिए, केवल सामान्य सलाहकार पैनल को नहीं।
4. उत्पत्ति और योगदान का रिकॉर्ड रखा जाए। जहां प्राथमिकता, मॉडल तक पहुंच या पहले के अप्रकाशित काम के उपयोग पर सवाल हो सकते हैं, वहां स्पष्ट रिकॉर्ड जरूरी है।
5. खोज और सत्यापन को अलग रखा जाए। AI कोई आशाजनक प्रमाण खोज सकता है, लेकिन शोध-जगत में स्वीकृति खुली जांच और टिकाऊ अकादमिक संचार से आती है।

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