नेवियर स्टोक्स समस्या क्या है अचानक क्यों चर्चा में आया ये गणित का रहस्य

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

यह गणित की सबसे मुश्किल समस्याओं में से एक क्यों है?

इस सवाल को 2000 के दशक की शुरुआत में क्ले मैथमेटिक्स इंस्टीट्यूट ने सात 'मिलेनियम प्राइज़ प्रॉब्लम्स' में से एक के तौर पर तय किया था, जिनमें से हर एक के लिए $1 मिलियन का इनाम है। सात में से अब तक सिर्फ़ एक, पॉइनकेयर कंजक्चर, ही हल हो पाया है। नेवियर-स्टोक्स इतने लंबे समय से हर कोशिश के बावजूद हल नहीं हो पाया है, क्योंकि फ्लूइड का व्यवहार अव्यवस्थित और नॉन-लीनियर होता है - छोटे-छोटे बदलाव अप्रत्याशित रूप से बढ़ते जाते हैं, जिससे यह साबित करना बहुत मुश्किल हो जाता है कि कोई समाधान हमेशा स्मूथ रहेगा, या ऐसा उदाहरण बनाना जहाँ वह स्मूथ न रहे।

OpenAI का कहना है कि उसने क्या किया है

इस हफ़्ते, OpenAI ने कहा कि एक अनरिलीज़्ड इंटरनल मॉडल ने यह साबित करने में मदद की कि नेवियर-स्टोक्स इक्वेशन का एक वर्शन असल में सीमित समय में 'ब्लो-अप' हो सकता है। कंपनी के अनुसार, लगभग 10,000 AI एजेंट ने इस समस्या पर एक साथ काम किया, जिसमें लाखों डॉलर का खर्च आया, और नतीजे के तौर पर मिले सबूत को 'लीन' (Lean) वेरिफिकेशन भाषा का इस्तेमाल करके औपचारिक रूप से जांचा गया। ध्यान देने वाली बात यह है कि यह सबूत इक्वेशन के 'फ़ोर्स्ड' वर्शन पर लागू होता है, जिसमें एक बाहरी फ़ोर्सिंग टर्म शामिल है - न कि क्ले इंस्टीट्यूट के प्राइज़ के लिए बताए गए सटीक 'अनफ़ोर्स्ड' वर्शन पर। क्या यह मिलेनियम प्राइज़ के मानदंडों को पूरा करता है, यह अभी तय नहीं हुआ है।

गणित से परे यह क्यों मायने रखता है

अगर AI सिस्टम इतनी मुश्किल समस्याओं में सार्थक योगदान दे सकते हैं, तो यह गणितीय रिसर्च के तरीके में बदलाव का संकेत देता है - जिससे इंसानी कोशिशों के सालों का काम हफ़्तों में हो सकता है। इसके फ्लूइड डायनामिक्स पर निर्भर क्षेत्रों - जैसे क्लाइमेट मॉडलिंग से लेकर एयरोस्पेस इंजीनियरिंग - पर असल असर पड़ सकता है, जहाँ बेहतर थ्योरेटिकल गारंटी ज़्यादा भरोसेमंद अनुमानों और डिज़ाइनों में बदल सकती है। कुछ गणितज्ञ क्यों परेशान हैं?

इस घटना ने क्रेडिट को लेकर भी विवाद खड़ा कर दिया है; स्वतंत्र शोधकर्ताओं का आरोप है कि OpenAI ने उनके अप्रकाशित (unpublished) काम के विचारों का इस्तेमाल करके यह काम किया है। इसके अलावा, गणितज्ञ टेरेंस ताओ ने चेतावनी दी है कि अगर अहम और अनसुलझी समस्याओं (open problems) को सिर्फ़ AI की क्षमता मापने का पैमाना माना जाएगा, तो गणितज्ञ अपने शुरुआती विचारों को साझा करने से कतराने लगेंगे। ये ऐसे शुरुआती और अक्सर अप्रकाशित विचार होते हैं, जिन्होंने इतिहास में बड़ी खोजों और सफलताओं की नींव चुपचाप रखी है।