व्हाइब कोडिंग को खुद से बचाने वाली 'पैर में दर्द' वाली गणित
wired ·
&Truth और Harmonic सहित स्टार्टअप्स का एक नया समूह जनरेटिव AI का उपयोग करके औपचारिक सत्यापन (formal verification) को स्वचालित कर रहा है, जो सॉफ़्टवेयर की सही कार्यप्रणाली को सिद्ध करने के लिए प्रयुक्त एक कठोर गणितीय प्रक्रिया है। यह दृष्टिकोण पारंपरिक रूप से श्रम-गहन इस विधि को व्यापक उपयोग के लिए व्यावहारिक बनाने का लक्ष्य रखता है, जिससे मैन्युअल इंजीनियरिंग प्रयासों की तुलना में महत्वपूर्ण समय और लागत की बचत हो सकती है। हालांकि ऐप्पल और अमेज़न जैसे कंपनियाँ पहले ही महत्वपूर्ण सुरक्षा घटकों के लिए औपचारिक सत्यापन का उपयोग कर रही हैं, उच्च लागत, संसाधनों की कमी और नवाचार को धीमा करने की चिंताओं के कारण इसके व्यापक adoption सीमित रह गया है। आलोचकों का तर्क है कि औपचारिक सत्यापन कोई जादुई समाधान नहीं है और यह गैर-जरूरी भरोसा पैदा कर सकता है, क्योंकि उपयोगकर्ता त्रुटियों और हार्डवेयर समस्याओं को पकड़ने के लिए मजबूत परीक्षण अभी भी आवश्यक है। कुछ उद्योग विशेषज्ञों द्वारा इस प्रक्रिया को कठिन और अधूरा मानने के बावजूद, समर्थकों का मानना है कि साइबर हमलों के खिलाफ एआई सिस्टम को सुरक्षित करने के लिए यह आवश्यक है। तकनीक वर्तमान में प्रोटोटाइप चरण में है, जहाँ डेवलपर प्रोग्राम व्यवहार को परिभाषित करने और गणितीय इंजन का उपयोग करके कोड की सत्यापन करने के लिए AI-सहायता वाले टूल्स का परीक्षण कर रहे हैं। मांग बढ़ने के साथ, उद्योग कीमत मॉडल, ग्राहक प्राथमिकताएँ और ओपन-सोर्स सत्यापन प्रयासों के लिए टिकाऊ वित्तपोषण के संबंध में सवालों का सामना कर रहा है।
wired