Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
यह शोध पत्र IPL-V के लिए एक नया कॉमन लिसप (Common Lisp) इंटरप्रेटर बनाकर और स्टेफरुड के 1963 के सोर्स कोड से 1956 के एआई (AI) प्रोग्राम को सफलतापूर्वक पुनर्जीवित करके, आधे दशक से अधिक समय में मूल लॉजिक थियोरिस्ट (Logic Theorist) के पहले सफल निष्पादन को प्रस्तुत करता है, जिसने *प्रिंसिपिया मैथमैटिका* (Principia Mathematica) के 23 में से 16 प्रमेयों को सफलतापूर्वक सिद्ध किया।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
मुख्य चित्र: एक डिजिटल "पुनरुत्थान" (Resurrection)
कल्पना कीजिए कि आपको 1956 के एक केक की धूल भरी, हाथ से लिखी हुई रेसिपी मिली है। इसकी सामग्री एक ऐसे कोड में लिखी गई है जिसे अब कोई इस्तेमाल नहीं करता, और निर्देश ऐसी भाषा में लिखे गए हैं जो दशकों पहले लुप्त हो चुकी है। आप उस केक को बनाना चाहते हैं ताकि यह देख सकें कि क्या इसका स्वाद वास्तव में वैसा ही है जैसा लेखक ने वादा किया था, लेकिन आपको एक भी ऐसा ओवन नहीं मिल रहा जो उन निर्देशों को पढ़ सके।
जेफ श्रेगर (Jeff Shrager) ने इसी पेपर में बिल्कुल यही किया। उन्होंने केवल पहले कभी बने आर्टिफिशियल इंटेलिजेंस (AI) प्रोग्राम, जिसे लॉजिक थ्योरिस्ट (LT) कहा जाता है, के बारे में केवल पढ़ा ही नहीं। उन्होंने शून्य से एक नया "ओवन" (कंप्यूटर इंटरप्रेटर) बनाया, उस प्राचीन "रेसिपी" (सोर्स कोड) को एक ऐसे फॉर्मेट में अनुवादित किया जिसे उनका ओवन पढ़ सके, और सफलतापूर्वक उस केक को फिर से बनाया।
इसे वे "एग्जीक्यूटेबल आर्कियोलॉजी" (Executable Archaeology) कहते हैं। केवल संग्रहालय में पुराने अवशेषों का अध्ययन करने के बजाय, उन्होंने उन्हें खोद निकाला, उन्हें साफ किया और उन्हें फिर से काम करने के योग्य बनाया ताकि वे देख सकें कि वे वास्तव में कैसे कार्य करते थे।
पात्र (The Cast of Characters)
- लॉजिक थ्योरिस्ट (LT): AI का "दादा"। एलन न्यूवेल, हर्बर्ट साइमन और जे.सी. शॉ द्वारा 1950 के दशक में बनाया गया यह पहला प्रोग्राम था जो जटिल गणितीय प्रमेयों (theorems) को सिद्ध करके "सोच" सकता था। यह इतना अच्छा था कि इसने एक बार प्रसिद्ध मानव लेखकों द्वारा मूल पुस्तक में लिखे गए प्रमाण से भी बेहतर प्रमाण खोज निकाला था!
- IPL-V (एक मृत भाषा): LT को चलाने के लिए, इसके रचनाकारों ने IPL (इन्फॉर्मेशन प्रोसेसिंग लैंग्वेज) नामक एक नई प्रोग्रामिंग भाषा बनाई थी। यह आधुनिक भाषाओं जैसे Lisp और Python का परदादा था। लेकिन 1960 के दशक तक, IPL खत्म हो गई। आज, यह एक ऐसी किताब पढ़ने की कोशिश करने जैसा है जो ऐसी भाषा में लिखी गई है जिसे 60 वर्षों से बोला नहीं गया है।
- "साइमन के जेज़" (The Simon's J's): 1962 के मूल पंच कार्डों का एक सेट, जो एक संग्रहालय में संरक्षित है। इन्हें "मूल ब्लूप्रिंट" या "मास्टर की" (Master Key) के रूप में सोचें जिसने अंतिम रहस्य को सुलझाने में मदद की।
यात्रा: उन्होंने यह कैसे किया?
1. अनुवाद (कठिन हिस्सा)
श्रेगर को 1963 की एक तकनीकी रिपोर्ट मिली जिसमें लॉजिक थ्योरिस्ट का कोड शामिल था। उन्होंने और उनकी टीम ने इस कोड को अक्षर-दर-अक्षर एक स्प्रेडशीट में ट्रांसक्राइब किया।
- उपमा: कल्पना कीजिए कि आप एक धुंधले, मिटे हुए पन्ने से हाथ से लिखे पत्र को डिजिटल दस्तावेज़ में कॉपी करने की कोशिश कर रहे हैं। आपको अनुमान लगाना पड़ता है कि एक धुंधला अक्षर क्या है। यदि आप एक भी अक्षर गलत करते हैं, तो पूरा शब्द (और अंततः पूरा वाक्य) अर्थहीन हो जाता है। कई लोगों द्वारा जाँच किए जाने के बावजूद, छोटी-छोटी गलतियाँ निकलती रहीं।
2. इंजन बनाना (इंटरप्रेटर)
चूंकि कोई भी आधुनिक कंप्यूटर IPL-V की भाषा नहीं जानता, इसलिए श्रेगर को एक अनुवादक बनाना पड़ा। उन्होंने कॉमन लिस्प (Common Lisp) (एक आधुनिक भाषा) में एक नया प्रोग्राम लिखा जो एक यूनिवर्सल अडैप्टर की तरह काम करता है।
- उपमा: उन्होंने एक यूनिवर्सल रिमोट कंट्रोल बनाया जो 1956 के टीवी से बात कर सकता है। उन्होंने केवल टीवी को यह नहीं बताया कि क्या करना है; उन्होंने अपने आधुनिक कंप्यूटर के भीतर उस पुराने टीवी का आंतरिक मस्तिष्क बनाया ताकि पुराने निर्देश समझ में आ सकें।
3. डिबगिंग का दुःस्वप्न (मशीन में "भूत")
एक बार जब अनुवादक बन गया, तो उन्होंने लॉजिक थ्योरिस्ट को चलाने की कोशिश की। यह क्रैश नहीं हुआ, लेकिन यह ठीक से काम भी नहीं कर रहा था। यह लूप में फंस जाता था या सरल गणितीय समस्याओं को हल करने में विफल रहता था।
- उपमा: कल्पना कीजिए कि आप एक कार शुरू करते हैं, इंजन चालू होता है, लेकिन कार आगे नहीं बढ़ती। आप टायर, गैस और बैटरी की जाँच करते हैं, और सब कुछ ठीक दिखता है। समस्या ट्रांसमिशन के अंदर एक बहुत ही छोटे, अदृश्य गियर की है जो थोड़ा सा मुड़ा हुआ है।
यहीं पर AI काम आया। श्रेगर को एहसास हुआ कि वह इसे अकेले हल नहीं कर सकते। उन्हें मदद की जरूरत थी।
4. मानव-AI टीम-अप
श्रेगर ने जेमिनी (Gemini) और क्लोड (Claude) जैसे आधुनिक लार्ज लैंग्वेज मॉडल्स (LLMs) के साथ टीम बनाई।
- ट्विस्ट: आमतौर पर, इंसान AI को सिखाते हैं। यहाँ, श्रेगर को AI को एक मृत भाषा (IPL-V) सिखानी पड़ी, जिसमें उन्होंने अपने त्रुटिपूर्ण (buggy) कोड का उपयोग एक पाठ्यपुस्तक के रूप में किया।
- संघर्ष: AI कभी-कभी गलत नियम सीख लेता था क्योंकि श्रेगर के कोड में गलतियाँ थीं। यह एक छात्र को गलतियों वाले शब्दकोश का उपयोग करके भाषा सिखाने जैसा था।
- सफलता: AI अविश्वसनीय रूप से धैर्यवान था। इसने प्रोग्राम की हजारों लाइनों की "डायरी" (एक्जीक्यूशन लॉग्स) को पढ़ा और एक विशिष्ट फंक्शन (जिसे J74 कहा जाता है) में एक छोटी सी त्रुटि ढूंढ निकाली जिसे श्रेगर ने मिस कर दिया था।
5. "होली ग्रेल" क्षण
अंतिम बग को ठीक करने के लिए, श्रेगर और AI ने 1962 के मूल पंच कार्डों ("साइमन के जेज़") की ओर देखा जो कंप्यूटर हिस्ट्री म्यूजियम में रखे हैं।
- उपमा: यह एक जासूस द्वारा संग्रहालय में मिले संदिग्ध की मूल डायरी को ढूंढकर एक अनसुलझे केस को सुलझाने जैसा है। AI ने 60 साल पुराने पंच कार्डों को पढ़ा, उन्हें श्रेगर के कोड से तुलना की, और महसूस किया: "आह! मूल ब्लूप्रिंट में यहाँ एक अलग निर्देश था!"
- परिणाम: श्रेगर ने कोड की एक लाइन ठीक की, और अचानक, लॉजिक थ्योरिस्ट जाग उठा और गणितीय प्रमेयों को सही ढंग से सिद्ध करने लगा, जैसा कि वह 1956 में करता था।
यह क्यों मायने रखता है?
- यह केवल सिद्धांत नहीं है: हम अक्सर शुरुआती AI के बारे में केवल कागजों पर लिखे विचारों के रूप में पढ़ते हैं। यह साबित करता है कि मूल कोड वास्तव में काम करता था और वही करता था जो उसके रचनाकारों ने कहा था।
- "एग्जीक्यूटेबल आर्कियोलॉजी" की शक्ति: आप किसी पुरानी मशीन को केवल मैनुअल पढ़कर पूरी तरह से नहीं समझ सकते। आपको चाबी घुमानी होगी और देखना होगा कि क्या इंजन शुरू होता है। यह पद्धति हमें तकनीक के इतिहास में एक नया दृष्टिकोण देती है।
- AI सहयोग: इस परियोजना ने दिखाया कि आधुनिक AI केवल ईमेल लिखने का उपकरण नहीं है; यह गहन, ऐतिहासिक अनुसंधान में एक सहयोगी (collaborator) हो सकता है, जो मनुष्यों को उन समस्याओं को हल करने में मदद करता है जो एक अकेले व्यक्ति के लिए बहुत उबाऊ या जटिल हो सकती हैं।
निष्कर्ष (The Takeaway)
जेफ श्रेगर ने केवल एक पेपर नहीं लिखा; उन्होंने एक डिजिटल 'सेन्स' (séance) आयोजित की। उन्होंने एक 60 साल पुराने "सोचने वाले मशीन" को पुनर्जीवित किया, जिसमें पुराने जमाने की जासूसी, आधुनिक कोडिंग और आधुनिक AI की थोड़ी मदद का मिश्रण था। यह एक अनुस्मारक है कि आज की तकनीक के बीज दशकों पहले बोए गए थे, और पर्याप्त धैर्य के साथ, हम आज भी उन्हें खिलते हुए देख सकते हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।