कार्डानो के संस्थापक चार्ल्स हॉकिंसन ने 9 सितंबर को कहा कि कृत्रिम बुद्धिमत्ता औपचारिक गणित में उनकी अपेक्षा से कहीं आगे बढ़ गई है।

उनकी यह टिप्पणी ओपनएआई के इस दावे के बाद आई है कि एक आंतरिक प्रणाली ने Navier-Stokes Millennium Prize Problem का समाधान प्रस्तुत किया है।

एक प्रसारण के दौरान, हॉकिंसन ने रिपोर्ट की गई क्षमताओं को "काफी उल्लेखनीय" बताया। हालांकि, उन्होंने काम की उत्पत्ति और क्लाउड-आधारित एआई सेवाओं में सबमिट किए गए शोध की गोपनीयता के बारे में अनसुलझे सवालों पर भी बात की।

कार्डानो के संस्थापक का कहना है कि एआई सहयोग उपकरणों से आगे बढ़ गया है

हॉकिंसन ने कहा कि उन्होंने मूल रूप से उम्मीद की थी कि औपचारिक प्रणालियाँ गणितज्ञों की बड़ी टीमों को मानव-लिखित प्रमाणों को सहयोग करने और सत्यापित करने में मदद करेंगी। उन्होंने इतनी जल्दी बड़े भाषा मॉडल द्वारा स्वयं पूर्ण प्रमाण उत्पन्न करने की अपेक्षा नहीं की थी।

हॉकिंसन ने कहा, "हमने कभी भी उस हद तक उम्मीद नहीं की थी जिस हद तक एआई आगे आएगा।" उन्होंने आगे कहा कि एआई द्वारा पूर्ण रूप से एक प्रमाण लिखने का विचार पहले "काफी दूर की कौड़ी" लगता था।

हॉकिंसन का औपचारिक गणित अनुसंधान से सीधा संबंध है। विश्वविद्यालय की घोषणा के अनुसार, 2021 में, उन्होंने कार्नेगी मेलन विश्वविद्यालय को 20 मिलियन डॉलर का दान दिया था ताकि हॉकिंसन सेंटर फॉर फॉर्मल मैथमेटिक्स की स्थापना की जा सके।

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

ओपनएआई का दावा है कि उसके सिस्टम ने Navier-Stokes को हल कर दिया है

ओपनएआई ने 8 सितंबर को अपना शोध प्रकाशित किया। कंपनी ने कहा कि एक आंतरिक मॉडल ने लगभग 10,000 एजेंटों का समन्वय किया और 88 घंटों के बाद एक प्रस्तावित समाधान तैयार किया। जीपीटी-6 एस्ट्रा (GPT-6 Astra) ने फिर लीन (Lean) में तर्क को औपचारिक बनाने और जांचने में 17 घंटे और लगाए।

यह प्रमाण यह स्थापित करने का प्रयास करता है कि एक प्रारंभ में चिकना, स्थिर द्रव एक चिकनी बाहरी शक्ति के अधीन होने पर सीमित समय में एक विलक्षणता विकसित कर सकता है। ओपनएआई ने कहा कि यह आधिकारिक Millennium Prize के सूत्रण में कथन C और D को पूरा करता है।

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

ओपनएआई ने कहा कि वह संबंधित 1 मिलियन डॉलर के पुरस्कार की तलाश करने की योजना नहीं बना रहा है। फिर भी कंपनी ने अपने काम को समस्या के समाधान के रूप में वर्णित किया।

क्ले ने दावा किए गए समाधान को मान्यता नहीं दी है

क्ले मैथमेटिक्स इंस्टीट्यूट (Clay Mathematics Institute) अभी भी Navier-Stokes समस्या को "अनसुलझा" के रूप में लेबल करता है। रिपोर्टिंग के समय इसकी वेबसाइट ने ओपनएआई के प्रस्तावित प्रमाण को एक स्वीकृत समाधान के रूप में मान्यता नहीं दी थी।

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

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

उत्पत्ति विवाद अनुसंधान गोपनीयता के प्रश्न उठाता है

इस घोषणा ने न्यूयॉर्क विश्वविद्यालय के गणितज्ञ ट्रिस्टन बकमास्टर (Tristan Buckmaster) और एंथ्रोपिक (Anthropic) के शोधकर्ता लेवेंट अल्पोज (Levent Alpöge) से जुड़े विवाद को भी आकर्षित किया। शोधकर्ता बल लगाने के दृष्टिकोण का उपयोग करके एक संबंधित यूलर-समीकरण (Euler-equation) परिणाम पर काम कर रहे थे।

बकमास्टर ने सवाल उठाया कि क्या ओपनएआई के कोडक्स (Codex) सिस्टम में दर्ज निजी काम ने कंपनी के परिणाम में योगदान दिया होगा। उन्होंने साबित कदाचार का आरोप लगाने से परहेज किया, यह कहते हुए: "मुझे नहीं पता कि हमारे डेटा का उपयोग किया गया था या नहीं।"

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

हॉकिंसन ने तर्क दिया कि यह विवाद अप्रकाशित विचारों को संभालने वाले शोधकर्ताओं को चिंतित करना चाहिए। उन्होंने कहा कि केंद्रीकृत एआई सेवाओं का उपयोग करने वाले विद्वानों को यह विचार करना चाहिए कि क्या प्रॉम्प्ट, नोट्स और शोध लॉग गोपनीय रहते हैं।

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