कहा जाता है कि ओपनएआई का अप्रकाशित आंतरिक एआई मॉडल नेवियर-स्टोक्स समीकरण समस्या को हल करता है

सार:

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

कंपनी ने कहा कि उसने नेवियर-स्टोक्स समीकरण का समाधान प्रदान करने के लिए मशीन सत्यापन विधियों का उपयोग किया है, लेकिन आधिकारिक तौर पर पुरस्कार जीतने से पहले गणितीय समुदाय द्वारा अभी भी समीक्षा प्रक्रिया चल रही है।

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

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

ओपनएआई ने यह भी कहा कि इस काम को आगे बढ़ाने के लिए, कंपनी ने समानांतर में कई मिलेनियम पुरस्कार समस्याएं चलाईं; नेवियर-स्टोक्स समस्या पर, लगभग 10,000 एजेंटों ने एक साथ काम किया और लगभग 88 घंटों के बाद परिणाम पाया, और फिर जीपीटी-6 एस्ट्रा ने औपचारिकता और सत्यापन को पूरा करने में मदद करने के लिए अतिरिक्त 17 घंटे खर्च किए। पूरी प्रक्रिया के दौरान, इन एजेंटों ने कुल मिलाकर लगभग 4.9 मिलियन संदेशों का आदान-प्रदान किया और 300 बिलियन आउटपुट टोकन उत्पन्न किए, जिनमें से नेवियर-स्टोक्स समस्या में 2.7 मिलियन संदेश और लगभग 130 बिलियन आउटपुट टोकन शामिल थे।

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