नेवियर-स्टोक्स: ओपनएआई के फाइनाइट-टाइम सिंगुलैरिटी दावे को तौलना

समीकरण क्या वर्णन करते हैं?

नेवियर-स्टोक्स समीकरण वर्णन करते हैं कि हवा और पानी जैसे तरल पदार्थ कैसे चलते हैं। वे द्रव्यमान संरक्षण के साथ-साथ संवेग के संरक्षण को व्यक्त करते हैं। पूरे प्रवाह में दबाव, वेग, चिपचिपाहट और बाहरी ताकतें परस्पर क्रिया करती हैं। इंजीनियर विमान, मौसम और परिसंचरण अध्ययनों में संख्यात्मक संस्करणों का उपयोग करते हैं।

समीकरण प्रत्येक अणु को ट्रैक करने के बजाय तरल पदार्थ को एक सतत सामग्री के रूप में मानते हैं। वह सन्निकटन कई सामान्य सेटिंग्स में बहुत अच्छी तरह से काम करता है। फिर भी उनका त्रि-आयामी गणित कठिन बना हुआ है। छोटे घूमने वाले मोशन कई पैमानों पर परस्पर क्रिया कर सकते हैं और जटिल अशांति (टर्बुलेंस) पैदा कर सकते हैं।

क्लाउड-लुई नेवियर और जॉर्ज गेब्रियल स्टोक्स ने उन्नीसवीं सदी के दौरान प्रमुख रूप विकसित किए। जीन लेरे ने बाद में 1934 में कुछ कमजोर समाधानों के अस्तित्व को साबित किया। ऐसे समाधान व्यापक गणितीय अर्थों में समीकरणों को संतुष्ट करते हैं। क्या हर चिकनी शुरुआत चिकनी रहती है, यह केंद्रीय अनसुलझा मुद्दा बन गया।

मिलेनियम प्राइज समस्या

क्ले मैथमेटिक्स इंस्टीट्यूट ने 2000 में सात मिलेनियम प्राइज समस्याओं का नाम दिया था। नेवियर-स्टोक्स अस्तित्व और चिकनाई (स्मूथनेस) उनमें से एक है। आधिकारिक सूत्रीकरण या तो वैश्विक स्मूथनेस प्रमाण या एक वैध ब्रेकडाउन उदाहरण की अनुमति देता है। कई सटीक विकल्प विभिन्न डोमेन और बाहरी फोर्सिंग स्थितियों को कवर करते हैं।

सिंगुलैरिटी का अर्थ है कि एक गणितीय मात्रा परिमित समय के भीतर असीमित हो जाती है। यह अनंत गति तक पहुंचने वाले वास्तविक तरल की भविष्यवाणी नहीं करता है। वास्तविक तरल पदार्थों में अणु होते हैं, जबकि ये समीकरण एक सातत्य (कंटीन्यूअम) का उपयोग करते हैं। एक सिंगुलैरिटी उस गणितीय विवरण में एक सीमा की पहचान करेगी।

विस्कोसिटी आमतौर पर वेग में तेज बदलावों को सुचारू करती है। एक वैध ब्रेकडाउन उदाहरण को सख्त धारणाओं को पूरा करते हुए उस प्रभाव को दूर करना चाहिए। यह बस एक अनंत बल नहीं डाल सकता है। प्रारंभिक डेटा और लागू बल को समस्या में स्मूथनेस और ऊर्जा की शर्तों को पूरा करना चाहिए।

ओपनएआई ने क्या दावा किया है

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

कंपनी एक भंवर (वोर्टेक्स) का वर्णन करती है जो अंदर की ओर घूमते हुए फैलता है। कथित तौर पर कई बड़े पद रद्द हो जाते हैं ताकि बाहरी बल सुचारू रहे। वह संतुलन कार्य प्रमाण का तकनीकी मूल है। पाठकों को केवल भौतिक चित्र की ही नहीं, बल्कि हर अनुमान और निर्माण की जांच करनी चाहिए।

ओपनएआई ने लीन में मशीन-चेक किया गया औपचारिकीकरण भी जारी किया। लीन सत्यापित करता है कि क्या बताए गए कदम एन्कोडेड परिभाषाओं और पहले के परिणामों से आते हैं। यह गुम तार्किक लिंक को उजागर कर सकता है। यह अपने आप में यह गारंटी नहीं दे सकता है कि हर परिभाषा प्रकाशित मिलेनियम समस्या से ईमानदारी से मेल खाती है।

स्वीकृति तत्काल क्यों नहीं हो सकती

एक नया पोस्ट किया गया प्रमाण तब तक एक दावा बना रहता है जब तक कि विशेषज्ञ इसका निरीक्षण नहीं करते। विशेषज्ञों को मान्यताओं, गणनाओं और आधिकारिक समस्या के साथ संबंध की जांच करनी चाहिए। औपचारिक कोड को छिपे हुए स्वयंसिद्धों (एक्सिओम्स) या बेमेल कथनों के लिए समीक्षा की भी आवश्यकता होती है। एक लंबा और कठिन पेपर इस प्रक्रिया को विशेष रूप से महत्वपूर्ण बनाता है।

क्ले दावेदारों से सीधे सबमिशन स्वीकार नहीं करता है। इसके नियमों के लिए योग्यता वाले आउटलेट में प्रकाशन की आवश्यकता होती है। प्रकाशन के बाद कम से कम दो साल बीतने चाहिए। समाधान को पुरस्कार पर विचार करने से पहले वैश्विक गणित समुदाय में सामान्य स्वीकृति भी प्राप्त होनी चाहिए।

आर्टिफिशियल इंटेलिजेंस और शोध श्रेय

ओपनएआई का कहना है कि एक बड़े समन्वित एजेंट सिस्टम ने कई दिनों में परिणाम तैयार किया। मानव टीमों ने फिर पेपर और औपचारिक सत्यापन तैयार किया। यह प्रक्रिया बड़े तकनीकी स्थानों की खोज के लिए शक्तिशाली समर्थन का सुझाव देती है। यह प्रजनन क्षमता (रिप्रोड्यूसिबिलिटी), निरीक्षण और पठनीय गणितीय व्याख्या के बारे में भी सवाल उठाती है।

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

ओपनएआई का कहना है कि उसके शोधकर्ताओं और एजेंटों ने उस काम से कोई विशिष्ट उपयोगकर्ता डेटा नहीं देखा। यह डी-आइडेंटिफाइड उत्पाद-उपयोग डेटा से अप्रत्यक्ष सुधार को पूरी तरह से बाहर नहीं कर सका। ये प्रतिस्पर्धी, सावधानीपूर्वक योग्य खाते हैं। उन्हें असमर्थित गोपनीयता खोज बने बिना शासन चर्चाओं को सूचित करना चाहिए।

आगे क्या होना चाहिए?

फ्लूइड विश्लेषकों और औपचारिक-तरीकों के विशेषज्ञों द्वारा पेपर और कोड की खुली जांच की आवश्यकता है। लेखकों को संपूर्ण विवरण के साथ तकनीकी आपत्तियों का उत्तर देना चाहिए। स्वतंत्र टीमों को परिभाषाओं से परिणाम का पुनर्निर्माण करना चाहिए। स्पष्ट श्रेय अंतिम निर्माण और इसे सक्षम करने वाले पहले के विचारों दोनों को पहचानना चाहिए।

निष्कर्ष

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