ओपनएआई ने अत्याधुनिक मॉडल द्वारा उत्पन्न सैकड़ों जटिल गणितीय परिणामों का खुलासा किया

ओपनएआई ने अपने एक उन्नत आंतरिक मॉडल द्वारा उत्पन्न सैकड़ों नई गणितीय खोजों को सार्वजनिक किया है, जो कंपनी द्वारा विकसित सबसे उन्नत तकनीकों में से एक का प्रतिनिधित्व करता है। कुल मिलाकर, संगठन ने गिटहब पर 722 पांडुलिपियाँ प्रकाशित कीं, जिसमें कई दशकों से गणितज्ञों को चुनौती दे रहे प्रश्नों के 372 परिणाम सेट समूहीकृत हैं।

यह खुलासा वैज्ञानिक क्षेत्र में कृत्रिम बुद्धिमत्ता के अनुप्रयोग पर गहन बहस के संदर्भ में हुआ है। हालांकि कंपनी ने प्रकाशन दिशानिर्देश स्थापित करने के लिए गणितज्ञों के एक स्वतंत्र समूह से परामर्श किया था, लेकिन उसने प्रदान किए गए सभी सुझावों को स्वीकार नहीं किया।

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

परिणामों में पांच मिलेनियम पुरस्कार समस्याओं में से तीन भी शामिल हैं जिनका अभी तक कोई समाधान नहीं है। इन परिणामों को प्राप्त करने के लिए, मॉडल ने लगभग 4 हजार समस्याओं पर समाधान के प्रयास किए।

वैज्ञानिक समुदाय की प्रतिक्रियाएं

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

हालांकि, यह बताना महत्वपूर्ण है कि सामग्री को अभी भी विशेषज्ञों द्वारा कठोर मूल्यांकन की आवश्यकता है। गणितीय प्रासंगिकता और प्रदर्शनों की वैधता स्वतंत्र रूप से किए गए विश्लेषणों पर निर्भर करती है।

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

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

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

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

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

उन्नत परीक्षणों पर रुख

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

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

अगला कदम शोधकर्ताओं पर है, जिन्हें प्रदर्शनों की जांच करनी होगी, जहां संभव हो परिणामों को दोहराना होगा और यह निर्धारित करना होगा कि उनमें से कौन से गणित के लिए महत्वपूर्ण प्रगति का गठन करते हैं।