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

प्रोजेक्ट की वेबसाइट बेंड को "एक तेज़ भाषा के रूप में वर्णित करती है जो सबूत के माध्यम से एआई गलतियों को रोकती है," विशेषताओं के एक असामान्य संयोजन का वादा करती है: सी-स्पीड देशी संकलन, सीपीयू कोर और सीयूडीए-सक्षम जीपीयू में स्वचालित समानता, लीन-शैली औपचारिक प्रमाण, और पायथन-जैसे वाक्यविन्यास। For more context on this story, see our ongoing breaking AI news.

दूसरे शब्दों में, बेंड मनुष्यों के लिखने के लिए एक बेहतर भाषा बनने की कोशिश नहीं कर रहा है। यह एआई एजेंटों के लिए लिखने के लिए एक बेहतर भाषा बनने की कोशिश कर रही है - एक ऐसी भाषा जहां कंपाइलर खुद पहरा देता है।

तर्क: संकेत अस्पष्ट हैं, प्रमाण नहीं

परियोजना के मुखपृष्ठ पर फ़्रेमिंग असामान्य रूप से स्पष्ट है कि सॉफ़्टवेयर विकास किस दिशा में जा रहा है।

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

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

LAWS.bend कैसे काम करता है

डिज़ाइन का केंद्रबिंदु LAWS.bend नामक एक फ़ाइल है, जहां डेवलपर्स उन अपरिवर्तनीयों की घोषणा करते हैं जिन्हें प्रोजेक्ट को पूरा करना होगा। अवधारणा के लिए साइट की टैगलाइन: "LAWS.bend AGENTS.md प्रमाण द्वारा समर्थित है।" जहां AGENTS.md फ़ाइलें एआई कोडिंग एजेंटों को प्राकृतिक-भाषा नियमों के साथ निर्देश देती हैं जिन्हें चुपचाप अनदेखा किया जा सकता है, वहीं बेंड के नियमों को टाइप चेकर द्वारा ही लागू किया जाता है।

साइट का दावा है, "तब से, कोई भी एआई उन्हें तोड़ने वाली एक भी लाइन शिप नहीं कर सकता।"

साथ में दी गई PROOF.bend फ़ाइल में मशीन-चेक किए गए तर्क शामिल हैं जो प्रत्येक कानून में मान्य हैं - और, विशेष रूप से, यह प्रमाण एआई द्वारा लिखा गया है, मानव द्वारा नहीं। डेवलपर बताता है कि क्या सच होना चाहिए; एजेंट साक्ष्य तैयार करता है।

परियोजना एक खिलौने के खेल के साथ इस विचार को प्रदर्शित करती है जिसमें एक कानून घोषित करता है कि जीतना असंभव है। प्रदर्शन में, एक नया फीचर अनुरोध - "बोर्ड को चारों ओर लपेटें" - एक बग पेश करता है जो खिलाड़ी को जीतने देता है। LAWS.bend के बिना, बग्गी कोड विलीन हो जाता है और बग लाइव हो जाता है। LAWS.bend के साथ, परिवर्तन अस्वीकार कर दिया जाता है, और AI को तब तक पुनः प्रयास करते रहना पड़ता है जब तक कि वह एक वैध प्रमाण के साथ आने वाला कार्यान्वयन तैयार नहीं कर लेता। जैसा कि साइट कहती है: "बग को मर्ज करना गणितीय रूप से असंभव है: यह एक प्रमेय है।"

गति प्रवर्तक है

औपचारिक सत्यापन एक पुराना विचार है. जिस चीज ने इसे रोजमर्रा के सॉफ्टवेयर विकास से दूर रखा है, वह है लागत: लीन और रोक्क जैसे प्रूफ सहायकों को एक मध्यम आकार के कोडबेस की जांच करने में कुछ मिनट लग सकते हैं, जो क्रिप्टोग्राफी या ऑपरेटिंग-सिस्टम कर्नेल के लिए सहनीय है लेकिन प्रति घंटे दर्जनों बदलाव करने वाले एआई एजेंट के लिए अव्यावहारिक है।

बेंड का उत्तर टाइप चेकर को स्वयं एक प्रूफ़ चेकर बनाना है जो एक सेकंड या उससे कम समय में चलता है। साइट का कहना है कि इसका मतलब है कि "एक एआई एजेंट हर बदलाव के बाद जांच कर सकता है" - हर एक संपादन पर हेवीवेट, प्रोजेक्ट के अंत समारोह से सत्यापन को हल्के गेट में बदलना।

प्रदर्शन के दावे, जो प्रोजेक्ट की अपनी साइट (Apple M4 Max पर संचालित) पर प्रकाशित बेंचमार्क पर आधारित हैं, पूरे बोर्ड में महत्वाकांक्षी हैं:

  • बेंड मूल कोड को संकलित करता है और एक ही कोर पर "लगभग C जितनी तेज़" चलता है।
  • सोलह कोर पर या जीपीयू पर समान बाइनरी स्केल, जहां साइट एकल कोर की गति से 100 गुना तक का दावा करती है।
  • समानांतरवाद स्वचालित है - "कोई धागा नहीं, कोई ताला नहीं, लिखने के लिए कोई गुठली नहीं" - प्रत्येक कोर में रनटाइम विभाजन कार्य के साथ यह परिणामों को ढूंढ और जोड़ सकता है।

आरंभ करना जानबूझकर घर्षण-मुक्त है: एक-पंक्ति इंस्टॉल स्क्रिप्ट, साथ ही एक स्निपेट जिसे AGENTS.md में चिपकाया जाना है, जो एजेंट को `बेंड गाइड` चलाने, LAWS.bend में महत्वपूर्ण नियम रखने और प्रतिबद्ध होने से पहले `बेंड PROOF.bend` चलाने का निर्देश देता है।

यह अभी क्यों प्रतिध्वनित होता है

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

बेंड का दांव यह है कि विश्वास की समस्या वर्कफ़्लो की तुलना में भाषा में बेहतर ढंग से हल की जाती है। यदि कंपाइलर उस कोड को स्वीकार करने से इंकार कर देता है जो बताए गए अपरिवर्तनीय का उल्लंघन करता है, तो समीक्षा वार्तालाप बदल जाता है: मनुष्य उन बगों की तलाश करना बंद कर देते हैं जिन्हें मशीन ने पहले ही बाहर कर दिया है, और इस बात पर ध्यान केंद्रित करना शुरू कर देते हैं कि क्या कानून स्वयं उस चीज़ को पकड़ते हैं जो व्यवसाय को वास्तव में चाहिए।

चेतावनियाँ

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

एक सांस्कृतिक बाधा भी है. मानव डेवलपर्स को नई भाषा अपनाने के लिए राजी करना बेहद कठिन है; उन्हें अपने प्रोजेक्ट के नियमों को मशीन-चेक करने योग्य कानूनों के रूप में एन्कोड करने के लिए राजी करना अभी भी एक बड़ा काम है, भले ही एआई एजेंट अधिकांश लेखन करते हों।

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

सॉफ़्टवेयर के निर्माण के तरीके को फिर से आकार देने वाले टूल के बारे में अधिक जानकारी के लिए, नवीनतम एआई समाचार और एआई विकास पारिस्थितिकी तंत्र पर हमारे चल रहे कवरेज का अनुसरण करें।

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →