गूगल डीपमाइंड के अल्फाप्रूफ नेक्सस ने नौ अर्डोश समस्याओं को हल किया और 44 अनुक्रम अनुमानों को सिद्ध किया, जो AI-संचालित औपचारिक सत्यापन में एक मील का पत्थर है, जो अंततः क्रिप्टोग्राफिक प्रमाण सत्यापन को तेज़ और सस्ता बना सकता है। इस सप्ताह घोषित परिणामों में, एक AI प्रणाली को प्रसिद्ध रूप से कठिन गणित समस्याओं से निपटते हुए दिखाया गया है, जिसका उन क्षेत्रों पर सीधा प्रभाव पड़ता है जो अचूक प्रमाणों पर निर्भर करते हैं — जिसमें क्रिप्टोग्राफी और स्मार्ट-कॉन्ट्रैक्ट ऑडिटिंग शामिल हैं।
नौ अर्डोश समस्याएँ हल
प्रणाली ने गणितज्ञ पॉल अर्डोश के नाम पर रखी गई समस्याओं के एक सेट को निपटाया, जो अपनी कठिनाई के लिए जानी जाती हैं। इनमें से, अल्फाप्रूफ नेक्सस ने नौ को हल किया — एक ऐसी उपलब्धि जिसके लिए पहले वर्षों के मानव प्रयास की आवश्यकता होती थी। इसने OEIS डेटाबेस से लेते हुए पूर्णांक अनुक्रमों में 44 खुले अनुमानों को स्वतंत्र रूप से भी सिद्ध किया। प्रत्येक प्रमाण प्रारंभिक समस्या कथन से परे मानव मार्गदर्शन के बिना उत्पन्न किया गया था।
औपचारिक सत्यापन के लिए एक बढ़ावा
औपचारिक सत्यापन गणितीय रूप से यह साबित करने की प्रक्रिया है कि सॉफ्टवेयर या हार्डवेयर बिल्कुल इच्छित रूप से व्यवहार करता है। इसका उपयोग क्रिप्टोग्राफी में यह जांचने के लिए किया जाता है कि एन्क्रिप्शन एल्गोरिदम में कोई छिपी हुई खामियाँ नहीं हैं, लेकिन यह धीमी और महंगी है। डीपमाइंड की घोषणा कहती है कि AI-संचालित औपचारिक सत्यापन 'प्रमाण सत्यापन को अधिक कुशल और लागत-प्रभावी बनाकर क्रिप्टोग्राफी और सॉफ्टवेयर ऑडिटिंग जैसे क्षेत्रों में क्रांति ला सकता है।'
क्रिप्टो दुनिया के लिए, वादा सीधा है: यदि कोई AI जटिल गणितीय प्रमेयों को सिद्ध कर सकता है, तो यह स्वचालित रूप से स्मार्ट कॉन्ट्रैक्ट, जीरो-नॉलेज प्रूफ या सर्वसम्मति एल्गोरिदम को सत्यापित कर सकता है — जिससे बग का जोखिम कम हो सकता है जिसने हैक में अरबों का नुकसान किया है। वही तकनीक तार्किक असंगतियों के लिए ब्लॉकचेन प्रोटोकॉल का ऑडिट कर सकती है। इनमें से कोई भी अभी तैनात नहीं किया गया है, लेकिन अंतर्निहित क्षमता ने अभी एक बड़ा कदम आगे बढ़ाया है।
डीपमाइंड ने यह नहीं बताया है कि वह अल्फाप्रूफ नेक्सस को बाहरी उपयोग के लिए एक उपकरण के रूप में कब जारी करेगा। अगला ठोस मील का पत्थर संभवतः सहकर्मी समीक्षा होगा — और फिर मौजूदा सत्यापन पाइपलाइनों में एकीकरण। सवाल अब यह है कि यह परिवर्तन कितनी तेज़ी से होता है।
