OpenAI का Navier–Stokes ‘प्रूफ’ दावा: 10,000 AI एजेंटों के नतीजे का क्या मतलब है

दावा क्या है?

OpenAI ने एक असाधारण दावा किया है: कंपनी के एक आंतरिक, अभी सार्वजनिक रूप से उपलब्ध नहीं AI सिस्टम ने लगभग 10,000 समांतर एजेंटों की मदद से तीन-आयामी असंपीड्य Navier–Stokes समीकरणों के लिए finite-time singularity या blow-up का प्रमाण खोजा। कंपनी के अनुसार, एजेंट-रन को करीब 88 घंटे लगे और अलग से Lean प्रूफ असिस्टेंट में प्रमाण को औपचारिक रूप देने व सत्यापित करने में 17 घंटे और लगे। 17

सरल भाषा में, दावा यह है कि किसी तरल को शुरुआत में स्थिर रखा जाए और फिर एक चिकने, सीमित क्षेत्र में लागू बाहरी बल से चलाया जाए, तो उसकी गति एक सीमित समय पर गणितीय रूप से असीमित हो सकती है—हालांकि कुल गतिज ऊर्जा सीमित रहे। 134

यह अभी स्थापित गणितीय निष्कर्ष नहीं है। OpenAI ने लिखित प्रमाण और Lean सामग्री जांच के लिए जारी की है, मगर स्वतंत्र गणितज्ञों की समीक्षा, स्वीकार्यता और Clay Mathematics Institute की प्रक्रिया में समय लगता है। 126

Navier–Stokes समस्या आखिर पूछती क्या है?

Navier–Stokes समीकरण पानी, हवा और दूसरे श्यान तरलों की गति का गणितीय वर्णन करते हैं। इनमें वेग, दाब, श्यानता और प्रवाह का गैर-रेखीय प्रभाव शामिल होता है।

मूल सवाल यह है: यदि 3D तरल प्रवाह शुरुआत में पूरी तरह चिकना हो, तो क्या वह हर भविष्य के समय तक चिकना बना रहता है? या फिर किसी सीमित समय पर उसमें ऐसी गणितीय टूटन आ सकती है, जहां वेग जैसी राशि असीमित हो जाए? इसे ही singularity या blow-up कहा जाता है। 172133

OpenAI का दावा किसी अत्यधिक अशांत प्रवाह की कंप्यूटर सिमुलेशन भर का नहीं है। कंपनी इसे विश्लेषणात्मक प्रमाण बताती है, जिसके तर्कों को Lean में भी औपचारिक रूप से जांचा गया है। 134

सही साबित हुआ तो यह इतना बड़ा क्यों होगा?

Navier–Stokes existence and smoothness, Clay Mathematics Institute की सात Millennium Prize Problems में से एक है। इनके लिए कुल 70 लाख अमेरिकी डॉलर का कोष रखा गया था—हर समस्या के लिए 10 लाख डॉलर। 1820

Clay की आधिकारिक समस्या-रचना दो व्यापक रास्ते स्वीकार करती है: या तो दिखाइए कि अपेक्षित शर्तों में समाधान हमेशा चिकना रहता है, या फिर ऐसा मान्य उदाहरण बनाइए जिसमें सीमित समय में चिकनापन समाप्त हो जाए। शुरुआती डेटा और बाहरी बल—दोनों के लिए शर्तें तय हैं। 1721

OpenAI का कहना है कि उसका निर्माण इस ढांचे के कथन C और D को सिद्ध करता है: यूक्लिडीय और आवर्ती (periodic) परिस्थितियों में चिकने बल के साथ finite-time singularity के विकल्प। 17 यदि विशेषज्ञ इसे सही मानें और यह Clay की सभी औपचारिक शर्तों पर खरा उतरे, तो यह Poincaré conjecture के बाद हल होने वाली दूसरी Millennium Prize Problem हो सकती है। OpenAI की घोषणा के समय छह समस्याएं शेष बताई गई थीं। 1118

Lean सत्यापन महत्वपूर्ण है, लेकिन अंतिम फैसला नहीं

Lean एक proof assistant है—ऐसा सॉफ्टवेयर जो जांचता है कि कोई औपचारिक कथन परिभाषाओं, स्वीकृतियों और पहले से सत्यापित परिणामों से तार्किक रूप से निकलता है या नहीं। इसलिए Lean में सफल सत्यापन इस बात का मजबूत संकेत है कि औपचारिक रूप में दर्ज प्रमाण में उस स्तर का कोई तार्किक अंतराल नहीं मिला। 17

लेकिन बाहरी विशेषज्ञों को फिर भी कई अहम बातें जांचनी होंगी:

• क्या Lean में लिखा गया प्रमेय ठीक उसी Navier–Stokes स्थिति को दर्शाता है जिसका दावा किया गया है?
• क्या लिखित गणितीय तर्क को औपचारिक परिभाषाओं में बदलना उचित है?
• क्या सभी मान्यताएं Clay समस्या की शर्तों को पूरा करती हैं?
• क्या व्यापक गणितीय समुदाय इस प्रमाण को स्वीकार करता है?

मशीन-चेक किसी निर्दिष्ट औपचारिक वस्तु की वैधता जांचता है; वह अपने-आप यह तय नहीं करता कि वह वस्तु किसी पुरस्कार-समस्या के हर आशय और शर्त को पूरा करती है।

अभी 10 लाख डॉलर का पुरस्कार क्यों नहीं मिला?

Clay Institute प्रस्तावित हलों की सीधी जमा-प्रक्रिया स्वीकार नहीं करता। उसके नियमों के अनुसार, किसी समाधान पर विचार से पहले उसे किसी योग्य प्रकाशन माध्यम में प्रकाशित होना चाहिए, प्रकाशन के बाद कम-से-कम दो वर्ष बीतने चाहिए और उसे वैश्विक गणितीय समुदाय की सामान्य स्वीकृति मिलनी चाहिए। 26

इसलिए, प्रमाण अंततः सही निकला तब भी तुरंत पुरस्कार मिलना Clay के प्रकाशित नियमों के अनुरूप नहीं होगा। फिलहाल सबसे सटीक वर्णन यही है: यह सार्वजनिक जांच के अधीन एक दावा किया गया समाधान है, न कि पुरस्कार-विजेता निष्कर्ष। 126

अहम अंतर: बाहरी बल वाला प्रवाह बनाम बल-रहित प्रवाह

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

यह वैज्ञानिक रूप से महत्वपूर्ण अंतर है। फिर भी, इससे दावा अपने-आप Clay के दायरे से बाहर नहीं हो जाता, क्योंकि आधिकारिक रूप में चिकने और तेजी से क्षीण होने वाले बाहरी बल के विकल्प शामिल हैं। 1735 असली कसौटी यह है कि क्या OpenAI का प्रमाण संबंधित Clay विकल्प की हर शर्त पूरी करता है।

श्रेय और डेटा-उपयोग का विवाद क्या है?

घोषणा के समय न्यूयॉर्क यूनिवर्सिटी के गणितज्ञ Tristan Buckmaster और Anthropic के शोधकर्ता Levent Alpöge के संबंधित काम को लेकर भी चर्चा थी। दोनों का कार्य मानक Navier–Stokes समस्या का स्थापित हल नहीं था, बल्कि बाहरी बल वाले संबंधित द्रव-समीकरणों पर था। 237

Buckmaster ने आरोप लगाया कि OpenAI ने सहयोग का एक ऐसा प्रस्ताव रखा जिसमें Alpöge को उनकी Anthropic संबद्धता के कारण बाहर रखा जाता। उन्होंने यह सवाल भी उठाया कि OpenAI के उत्पादों—जिसमें Codex भी शामिल है—के साथ उनकी बातचीत ने मॉडल प्रशिक्षण में योगदान दिया हो सकता है या नहीं। 25052

OpenAI ने कहा कि उसके शोधकर्ताओं और एजेंटों ने समस्या हल करने के दौरान दोनों का विशिष्ट काम या यूज़र डेटा नहीं देखा। कंपनी ने साथ ही कहा कि वह इस संभावना को पूरी तरह नकार नहीं सकती कि उत्पाद-उपयोग से निकला डी-आइडेंटिफाइड डेटा उसके मॉडलों को बेहतर बनाने में सहायक रहा हो। 5354

इससे कुछ सवाल खुले रहते हैं: क्या संबंधित बातचीत प्रशिक्षण के लिए पात्र थी, क्या उसका वास्तविक उपयोग हुआ, और यदि हुआ तो क्या उसका परिणाम पर कोई ठोस असर पड़ा? सार्वजनिक रिपोर्टिंग से यह सिद्ध नहीं होता कि OpenAI ने Buckmaster और Alpöge का काम इस्तेमाल किया था; इसलिए आरोप को स्थापित तथ्य नहीं माना जा सकता। 25354

अब आगे क्या देखना चाहिए?

निर्णायक बात एजेंटों की संख्या या 88 घंटे की गति नहीं है। असली परीक्षा यह होगी कि स्वतंत्र विशेषज्ञ पांडुलिपि और Lean औपचारिकीकरण की जांच करें, औपचारिक जांच को दोहरा सकें और इस पर सहमत हों कि प्रमेय Clay की प्रासंगिक शर्तों को पूरा करता है।

यदि ऐसा होता है, तो यह गणित और AI-सहायित शोध—दोनों के लिए ऐतिहासिक मोड़ हो सकता है। तब तक इसे एक बेहद महत्वपूर्ण, सार्वजनिक रूप से जांचे जा सकने वाले उम्मीदवार-प्रमाण के रूप में देखना चाहिए; साथ ही श्रेय, डेटा प्रशासन और शोधकर्ताओं के अप्रकाशित विचारों से AI कंपनियों के व्यवहार पर अलग बहस भी जारी है। 12653