सार:
सैद्धांतिक कंप्यूटर जगत पर भी AI का हमला हुआ है! कल रात, एआई ने वैज्ञानिक अनुसंधान की रूबिकॉन नदी को पूरी तरह से पार कर लिया और आधिकारिक तौर पर मानव ज्ञान के निर्माण को "उलटना" शुरू कर दिया। OpenAI ने सैद्धांतिक कंप्यूटर, शुद्ध गणित और सैद्धांतिक भौतिकी के तीन प्रमुख क्षेत्रों में परमाणु बम गिराए:
यदि उनमें से एक नहीं तो यह इस वर्ष की सबसे विस्फोटक प्रौद्योगिकी समाचार हो सकता है।
क्लाउड ने यहां तक स्पष्ट रूप से कहा कि यदि ये परिणाम सही हैं, तो यह गणित और सैद्धांतिक कंप्यूटिंग के इतिहास में सबसे महत्वपूर्ण दिन होगा।
उनमें से, गणितीय सफलता काकेया के अनुमान पर फील्ड्स मेडल विजेता वांग होंग के पिछले काम से अत्यधिक संबंधित है, जबकि भौतिक सफलता तीनों में से सबसे महत्वपूर्ण हो सकती है, और नोबेल पुरस्कार विजेता चेन निंग यांग द्वारा छोड़ी गई समस्याओं को हल कर सकती है।
इस बार मैं कंप्यूटर क्षेत्र में एक सफलता के बारे में बात करने जा रहा हूं: घातीय समय की धारणा मान्य नहीं है।
क्लाउड के अनुसार, यह ट्यूरिंग पुरस्कार-स्तर की विघटनकारी उपलब्धि है कि "यदि कथन सही है, तो यह कंप्यूटर विज्ञान को बदल देगा।"
सेबेस्टियन बुबेक, वर्तमान ओपनएआई शोधकर्ता, आर्टिफिशियल इंटेलिजेंस के पूर्व माइक्रोसॉफ्ट उपाध्यक्ष और प्रतिष्ठित वैज्ञानिक, ने इसे "20 वर्षों में मैंने देखा सबसे बड़ा आश्चर्य" बताया।
इसके अलावा, एक ही दिन, दो एआई ने लगभग एक ही समय में इस सफलता की घोषणा की!
ओपनएआई और एंथ्रोपिक, दो एआई दिग्गजों ने लगभग एक ही समय में घोषणा की कि उनके आंतरिक मॉडल ने "घातीय समय परिकल्पना" (ईटीएच) को उलट दिया है जो 27 वर्षों से सैद्धांतिक कंप्यूटर विज्ञान पर हावी है!
इससे भी अधिक भयावह बात यह है कि एंथ्रोपिक द्वारा डंप किए गए पेपर में, यह स्पष्ट रूप से चिह्नित किया गया था कि कोर एल्गोरिदम आंतरिक मॉडल क्लाउड द्वारा बनाया गया था
शून्य मानव हस्तक्षेप
परिस्थितियों के अनुसार स्वतंत्र रूप से निष्कर्ष निकाला गया।यह पेपर, जो मानव विज्ञान के इतिहास में दर्ज किया जा सकता है, इसके एकमात्र हस्ताक्षरित लेखक हैं, क्लाउड।
सैद्धांतिक कंप्यूटर की दुनिया में "आसमान" गिर गया है। इसका अर्थ क्या है?
सीधे शब्दों में कहें तो, 1999 में,
घातांकीय समय परिकल्पना (ETH)
रसेल इम्पाग्लिआज़ो और राममोहन पतुरी, कैलिफोर्निया विश्वविद्यालय, सैन डिएगो द्वारा प्रस्तावित।आप इसे n स्विच के साथ एक संयोजन लॉक के रूप में सोच सकते हैं, जो 3SAT समस्या है।
आधी सदी से, अनगिनत बेहद स्मार्ट दिमागों ने ताला खोलने की पूरी कोशिश की है, लेकिन एक चीज़ को कोई भी नहीं तोड़ सकता है:
स्विच की संख्या बढ़ने के कारण ताला तोड़ने का समय हमेशा "तेजी से" बढ़ जाएगा।
उदाहरण के लिए, मान लीजिए कि एक लॉक को n संख्याओं से भरना है, प्रत्येक संख्या 1 और 9 के बीच है। प्रत्येक स्थिति में 9 विकल्प हैं, इसलिए कुल मिलाकर 9ⁿ संभावनाएं हैं, जो 9 गुना n गुना है।
हम सभी 9ⁿ संभावनाओं का उपयोग करके इस पहेली को हल कर सकते हैं। लेकिन यह विधि बेहद अप्रभावी है: एक सुडोकू पहेली के लिए जिसमें n = 100 नंबर भरने की आवश्यकता होती है, यहां तक कि दुनिया के सभी कंप्यूटरों का उपयोग करने पर भी, सूरज के ठंडा होने तक इंतजार करना होगा।
लोगों ने लंबे समय से ऐसे एल्गोरिदम ढूंढने की असफल कोशिश की है, जिनका चलने का समय n के साथ 9ⁿ से भी धीमी गति से बढ़ता है।
1999 में, विद्वानों ने इस सामूहिक अंतर्ज्ञान को एक औपचारिक परिकल्पना में लिखा:
3SAT के लिए कोई उप-घातीय समय एल्गोरिदम नहीं है।
आप गति को थोड़ा सुधार सकते हैं, लेकिन आप इस "घातीय दीवार" को कभी पार नहीं कर पाएंगे। यह भौतिकी में "प्रकाश की गति को पार नहीं किया जा सकता" जैसा है।
यह अनुमान 20 से अधिक वर्षों से प्रस्तावित किया गया है। अतीत में, ईटीएच की स्थापना के आधार पर विभिन्न कंप्यूटिंग समस्याओं की जटिलता निचली सीमाओं का अध्ययन करने के लिए सैकड़ों कागजात का उपयोग किया गया है।
ग्राफ़ थ्योरी और कॉम्बिनेटरियल ऑप्टिमाइज़ेशन से लेकर डेटाबेस और कम्प्यूटेशनल बायोलॉजी तक के कई अध्ययन इस धारणा पर आधारित हैं।
यदि रीमैन परिकल्पना को उलट दिया जाता है, तो यह संख्या सिद्धांत पर आ जाएगी; यदि ईटीएच को उलट दिया जाता है, तो यह जटिलता और पैरामीटरयुक्त एल्गोरिदम पर निर्भर हो जाएगा।
ETH का वजन "
P बनाम NP
" तक नहीं पहुंचा है "या रीमैन परिकल्पना का सहस्राब्दी स्तर।लेकिन यह P≠NP से अधिक मजबूत और अधिक विशिष्ट है: यदि ETH स्थापित है, तो P≠NP प्राप्त किया जा सकता है; लेकिन यदि ETH पलट दिया जाए, तो P=NP प्राप्त नहीं किया जा सकता।
ईटीएच पर निर्भर बड़ी संख्या में सशर्त शोध निष्कर्षों का पुनर्मूल्यांकन करने की आवश्यकता है।
एआई के क्षेत्र में "पीड़ितों" का एक नया समूह सामने आया है——
ग्रुप में एक दोस्त भी है। उनके द्वारा पहले लिखा गया एक पेपर ETH की स्थापना के आधार पर आधारित था।
अब यह आधार ख़त्म हो सकता है, और पेपर के निष्कर्ष की दोबारा जांच करने की ज़रूरत है।
कल्पना करें कि आपने किसी समस्या का अध्ययन करने, दस्तावेज़ लिखने और प्रमाण बनाने में कई साल बिताए हैं, और यहां तक कि किसी क्षेत्र के विद्वान भी 20 वर्षों से अधिक समय से इस परिकल्पना का अध्ययन कर रहे हैं (जैसे कि प्रोफेसर तुली)।
एक दिन, एक एआई मॉडल आपको बताता है कि जिस आधार पर सभी ने हमेशा विश्वास किया है वह गलत हो सकता है।
वैज्ञानिक अनुसंधान के रुबिकॉन को पार करना: एकमात्र लेखक क्लाउड
तुरंत एक नाटकीय दृश्य घटित हुआ.
ओपनएआई के अध्यक्ष ग्रेग ब्रॉकमैन ने अभी-अभी एक आधिकारिक घोषणा पोस्ट की है, और उनके पुराने प्रतिद्वंद्वी एंथ्रोपिक ने इसी शीर्षक से एक पेपर प्रकाशित किया है।
वह इतना आक्रामक था कि वह मौके पर ही दुर्घटनाग्रस्त हो गया!
एंथ्रोपिक ने कहा: संयोग से, यह मामला नहीं है। हमारा क्लाउड आंतरिक मॉडल
16 अक्टूबर
को जारी किया गया था इसने स्वतंत्र रूप से ETH को पलट दिया है!
इसके अलावा, एंथ्रोपिक ने पेपर पेज पर एक "स्रोत विवरण" छोड़ा:
कोर एल्गोरिदम की खोज 16 अक्टूबर को एक आंतरिक क्लाउड अनुसंधान मॉडल द्वारा की गई थी, जो बिना किसी मानव इनपुट के 14 मिलियन आउटपुट टोकन का उपभोग करता था।
इसका मतलब है कि
एआई ने वैज्ञानिक अनुसंधान की रूबिकॉन नदी को पूरी तरह से पार कर लिया है
——यह अब एक मानवीय उपकरण नहीं है, बल्कि वास्तविक "प्रथम लेखक" बन गया है।14 मिलियन टोकन की अवधारणा क्या है? "द थ्री-बॉडी प्रॉब्लम" के पूरे खंड में लगभग 900,000 शब्द हैं। 14 मिलियन टोकन क्लाउड द्वारा एक सांस में "द थ्री-बॉडी प्रॉब्लम" के एक दर्जन से अधिक मोटे ड्राफ्ट तैयार करने के बराबर है।
मूल्यांकन के बाद, कई शीर्ष विद्वानों ने कहा: यह एक एआई मॉडल के बराबर है जो एक शीर्ष मानव पोस्टडॉक्टरल फेलो के एक से दो साल के वैज्ञानिक अनुसंधान को कुछ ही दिनों में बिना खाए, पिए या सोए पूरा कर लेता है।
!पिछले कुछ दिनों में, क्लाउड ने खुद ही रास्ता खोजा, खुद ही सूत्र निकाले, खुद ही तर्क का सत्यापन किया, और यहां तक कि सीमाओं के पार अलोकप्रिय गणितीय उपकरणों का भी इस्तेमाल किया, और अंत में मानव जाति के सामने एक प्रमाण रखा।
इस बार, यह "एआई गणितज्ञों को साहित्य खोजने में मदद करता है" नहीं है, न ही यह "एआई ने ओलंपियाड प्रश्न सही पाया है।"
यह एआई अकेले दम पर मानव जाति के सबसे कट्टर और शुद्धतम सैद्धांतिक विषयों को तोड़ रहा है।
संस्थापक को रात भर जगाया गया, और गणितज्ञ तेजी से वजन कम करने के लिए "ऑडिटर" में बदल गया
क्या एआई इसे पलट देता है अगर वह कहता है कि उसने इसे उलट दिया है? क्या ऐसा हो सकता है कि AI "गंभीरता से बकवास (मतिभ्रम)" कर रहा हो?
सबसे जादुई दृश्य घटित हुआ. अपनी बेगुनाही साबित करने के लिए दोनों कंपनियों ने न सिर्फ एक पीडीएफ जारी किया, बल्कि
लीन फॉर्मल प्रूफ कोड
का भी खुलासा किया। .लीन एक "निःस्वार्थ इलेक्ट्रॉनिक समीक्षक" हैं। यहां तक कि अगर कोई तार्किक छलांग भी है, तो यह सीधे एक त्रुटि की सूचना देगा। चूंकि कोड सुचारू रूप से चल सकता है, इसका मतलब है कि अंतर्निहित तर्क त्रुटियों की संभावना को लगभग अवरुद्ध कर देता है। "मशीन-सत्यापन योग्य" कागजात सौंपना एआई का अकाट्य विश्वास है।
लेकिन यह सबूत की सत्यता की पूरी तरह से पुष्टि नहीं करता है।
कहा जाता है कि ईटीएच अनुमान के दो संस्थापकों, रसेल इम्पाग्लिआज़ो और राममोहन पतुरी को तत्काल बाहर आने के लिए कहा गया है।
सत्ताईस साल पहले, दो विद्वानों ने एक अनुमान लिखा था; 27 साल बाद, उन्हें यह जांचने के लिए जगाया गया कि कैसे एक एआई ने इसे पलट दिया।
यह संभवतः अकादमिक इतिहास की सबसे जटिल भावना है।
वर्तमान में, ये दोनों विशेषज्ञ अपने कोड की लाइन-बाय-लाइन समीक्षा करने के लिए एमआईटी और अन्य विश्वविद्यालयों की शीर्ष टीमों के साथ मिलकर काम कर रहे हैं।
वहीं, दूसरा मोर्चा भी तेजी से आगे बढ़ रहा है.
एआई द्वारा निर्मित 60-पृष्ठ से अधिक "एलियन" प्रमाण के सामने, मानव मस्तिष्क के लिए इसे पढ़ना बेहद कठिन है।
NVIDIA के वरिष्ठ AI आर्किटेक्ट शिवा किंताली ने रातों-रात काम किया और OpenAI के मूल 60 पेज के ETH मिथ्याकरण प्रमाणपत्र को 22 पेज के सुव्यवस्थित संस्करण में संपीड़ित कर दिया!
उन्होंने एआई के कठिन कदमों को काट दिया और इष्टतम लघुगणकीय कारक का अनुसरण नहीं किया। उन्होंने केवल बुनियादी कथनों को सफाई से गलत साबित करने की कोशिश की और गणना के उदाहरण जोड़े।
उसका केवल एक ही लक्ष्य है:
"मानव सहयोगियों को वास्तव में समझने दें।"
अब, एक अभूतपूर्व शैक्षणिक तमाशा सामने आया है:
एआई कठिन समस्याओं से निपटने के लिए जिम्मेदार है: कुछ ही दिनों में, यह एक ऐसा दरवाजा खोलता है जिसे 27 वर्षों में किसी ने नहीं खोला है;
मनुष्य पाचन के लिए जिम्मेदार हैं: एआई की लंबी कटौती को ज्ञान में परिष्कृत करना जिसे मनुष्य समझ सकते हैं और आगे बढ़ना जारी रख सकते हैं।
अब, एआई के होमवर्क को ग्रेड देने और सुव्यवस्थित करने की बारी इंसानों की है।
बुनियादी वैज्ञानिक अनुसंधान का "विषय-वस्तु परिवर्तन"
मार्च 2023 की शुरुआत में, ओपनएआई ने एक सनसनीखेज "नौकरी बाजार पर एआई के प्रभाव पर पूर्वानुमान रिपोर्ट" जारी की। इस सूची में
"एआई द्वारा सबसे अधिक प्रभावित होने वाली नौकरियों" की सूची में शीर्ष पर रहने वाला व्यक्ति आश्चर्यजनक रूप से गणितज्ञ है
.
उस समय, अधिकांश लोग इस बात का उपहास उड़ाते थे: गणित के लिए मनुष्यों के सबसे कठोर तर्क की आवश्यकता होती है। एक एआई जो नकल के बारे में इतनी बात करती है वह सैद्धांतिक गणित कैसे कर सकती है?
हालाँकि, ठीक तीन साल बाद, जैसे ही ETH को रातों-रात AI द्वारा गलत साबित कर दिया गया, काकेया अनुमान को एक के बाद एक मॉडलों ने तोड़ दिया...
तीन साल पहले चलाई गई यह गोली अंततः मानव सैद्धांतिक अनुसंधान के लक्ष्य पर लगी।
क्या इसका मतलब यह है कि वैज्ञानिक सामूहिक रूप से अपनी नौकरियाँ खो देंगे? नहीं
जैसा कि पेकिंग विश्वविद्यालय के पूर्व छात्र और विद्वान वेइजी सु ने तीन साल पहले देखा था:
एआई किसी भी क्षेत्र को आसानी से "प्रतिस्थापित" नहीं करेगा, बल्कि उन्हें नया आकार देगा। भविष्य के वैज्ञानिक अनुसंधान उन लोगों को बहुत पुरस्कृत करेंगे जो वास्तविक दुनिया की चुनौतियों और अन्य विषयों के साथ गहरा संबंध बना सकते हैं।
जैसे कैमरे के आविष्कार के बाद, चित्रकारों को अब एक-दूसरे के साथ प्रतिस्पर्धा करने की ज़रूरत नहीं है कि "कौन एक जैसा चित्र बनाता है", इस प्रकार प्रभाववाद और आधुनिक कला का जन्म हुआ।
जब एआई "गणना और प्रमाण" की कड़ी मेहनत को अपने हाथ में ले लेता है, तो मनुष्य अंततः अपनी कीमती ऊर्जा को अधिक बुनियादी मुद्दों पर खर्च कर सकता है:
विषयों में वास्तविक जीवन के कनेक्शन की खोज और स्थापना के लायक अगले प्रश्न की तलाश में।
27 साल पहले, जब दो विद्वानों ने ईटीएच अनुमान लिखा था, तो उन्होंने कभी नहीं सोचा था कि इसे समाप्त करने वाले इंसान नहीं होंगे।
अप्रत्याशित रूप से, दो एआई एक ही दिन में परीक्षा देंगे।
“एआई द्वारा दुनिया को बदला नहीं जा रहा है, लेकिन पहले ही बदल दिया गया है।”
टिप्पणियाँ