त्सिन्हुआ से बीजगणितीय दुनिया का मॉडल लीन 4 की मदद से ARC-AGI-3 स्तरों को पार करने की असंभवता सिद्ध करता है
और पढ़ें
Pandaily
pandaily.com

त्सिन्हुआ से बीजगणितीय दुनिया का मॉडल लीन 4 की मदद से ARC-AGI-3 स्तरों को पार करने की असंभवता सिद्ध करता है

त्सिन्हुआ विश्वविद्यालय और झेजियांग विश्वविद्यालय के शोधकर्ताओं ने 'एल्जेब्रिक वर्ल्ड मॉडल' (AWM) प्रस्तुत किया है - एक एजेंट जो न केवल इंटरैक्टिव पहेलियों ARC-AGI-3 को हल करने में सक्षम है, बल्कि यह भी औपचारिक रूप से सिद्ध कर सकता है कि किसी विशेष स्तर को पार करना असंभव है।

arXiv पर 29 अक्टूबर को प्रकाशित और 1 नवंबर को QbitAI द्वारा उजागर किए गए इस कार्य को झेजियांग विश्वविद्यालय के गुआनचेन पान, साथ ही त्सिनहुआ विश्वविद्यालय के सिसिन तान, यान युआन और एंड्रयू ची-ची याओ ने किया था।

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

टीम ने बंद स्तरों पर परीक्षण किया, जहां कदम बजट जीत को असंभव बना देता था। AWM ने इन छह स्तरों के लिए लीन का उपयोग करके असंभवता के प्रमाण प्रदान किए, जबकि Claude Opus 5.5 और GPT-6 Astra के 12 रन ऐसा करने में विफल रहे। एक उदाहरण में, जहां न्यूनतम जीत के लिए 19 कदमों की आवश्यकता थी लेकिन बजट 18 था, Astra ने 22 कदमों में समाधान का दावा किया, जबकि AWM ने छह में से चार स्तरों के लिए सही प्रारंभिक सीमाएं स्थापित कीं, Opus 5.5 के लिए एक और Astra के लिए शून्य, प्रतिक्रिया के बाद सभी छह के लिए परिणाम प्राप्त किया।

सभी 25 सार्वजनिक खेलों के 183 स्तरों को लीन के भीतर दोबारा चलाने के दौरान, अध्ययन किए गए मॉडलों ने अनदेखे विन्यासों पर सभी 4160 संक्रमणों की भविष्यवाणी की और गेमप्ले यांत्रिकी में परिवर्तन के बाद सभी 4031 संक्रमणों को अस्वीकार कर दिया। Claude Opus 5 का उपयोग खिलाड़ी के रूप में करते हुए, AWM ने बुनियादी मानव संस्करण में लिए गए 43% कार्यों का उपयोग करते हुए अपना स्कोर 40.7 से बढ़ाकर 99.9 कर दिया।

लेखक एक महत्वपूर्ण सीमा पर प्रकाश डालते हैं: प्रमाण की विश्वसनीयता अध्ययन किए गए मॉडल की गुणवत्ता पर निर्भर करती है, इसलिए असंभवता का परिणाम AWM गेम मॉडल के दायरे में सत्य है, न कि खेल के वास्तविक कोड के संबंध में।

समान कहानियाँ

चीनी एआई प्रयोगशालाएं मॉडल के भार को बदले बिना पुनरावर्ती आत्म-सुधार की दिशा में प्रयासरत हैं
और पढ़ें
pandaily.com

चीनी एआई प्रयोगशालाएं मॉडल के भार को बदले बिना पुनरावर्ती आत्म-सुधार की दिशा में प्रयासरत हैं

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

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

आत्म-सुधार के कार्यान्वयन के उदाहरण

ज़िपू कंपनी ने सबसे स्पष्ट उत्पादन उदाहरण प्रदर्शित किया। GLM-5.3 द्वारा नियंत्रित एक इंफ्रास्ट्रक्चर एजेंट ने दो सप्ताह में लगभग 100,000 चीनी निर्मित एक्सेलेरेटर वाले क्लस्टर पर GLM-5.3-Flash के लिए एक सेवा बुनियादी ढांचा बनाया, कार्यशील सुधारों को बहु-उपयोगी टेम्पलेट्स के रूप में बनाए रखा। फिर, त्सिंगहुआ के साथ अपने HarnessPro कार्य में, एजेंट स्वयं प्रबंधन तंत्र को फिर से लिख सके।

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

मॉडलबेस्ट की फ़ोर्ज इंजीनियरिंग परियोजना एआई का उपयोग एआई बनाने के लिए आवश्यक सॉफ्टवेयर लिखने के लिए करती है। इसने बताया कि एआई-जनित प्रशिक्षण संरचना ForgeTrain आठ घंटों में Megatron-LM के बराबर थी, और ForgeKernel ऑपरेटरों ने Huawei और NVIDIA के आधिकारिक लीडरबोर्ड को पार कर लिया।

मूनशॉट एआई बड़े पैमाने पर सुदृढीकरण शिक्षण पर निर्भर करता है। Kimi K3 के प्रशिक्षण के लिए फायरक्रैकर माइक्रोवर्चुअल मशीनों पर 51 मिलियन से अधिक सैंडबॉक्स और क्लस्टर के भीतर एक एजेंट की आवश्यकता थी जो 26 परिदृश्यों से विफलताओं को पुनर्स्थापित करता था, और एक एजेंट पुरस्कार मॉडल जो प्रशिक्षण व्यंजनों का मूल्यांकन करता था। जोखिम अक्टूबर में सामने आए जब K3.1 Pro में उप-एजेंट चुनौतियां नियंत्रण से बाहर हो गईं, और Kimi ने प्रतिभागियों के मासिक कोटा में 25 प्रतिशत की कटौती की।

अलीबाबा ने बताया कि Qwen3.8-Max ने एक महीने से अधिक समय तक अपना प्रशिक्षण पाइपलाइन स्वतंत्र रूप से चलाया, 33 पुनरावृत्तियों को पूरा किया, और Qwen Apex-35B-V1.0 जैसी बाहरी पहलों के लिए आधार के रूप में कार्य करता है। बाइटडांस की सीड टीम स्व-विकास में सक्षम मॉडल पहचानकर्ता का प्रस्ताव करती है, यह दावा करते हुए कि अधिकांश सिस्टम केवल अर्ध-बंद चक्र हैं क्योंकि मूल्यांकन नियम अभी भी मनुष्यों द्वारा निर्धारित किए जाते हैं। शियाओमी ने MiMo-V2.6 पर छह दिनों के सुदृढीकरण प्रशिक्षण का प्रसारण किया।

हालांकि इंजीनियरिंग चक्र मौजूद हैं, जटिल कार्य बना हुआ है, जैसा कि ज़िपू के मुख्य वैज्ञानिक टैंग ज़े ने उल्लेख किया: यह सुनिश्चित करना कि मॉडल विश्वसनीय रूप से जानता है कि कब रुकना है, कब खुद को समायोजित करना है और अपने स्वयं के प्रशिक्षण का मूल्यांकन कैसे करना है।

चीनी एआई मॉडल GLM-5.3 सिमुलेशन में हमले करता है और सुरक्षा नियमों का उल्लंघन करता है
और पढ़ें
olhardigital.com.br

चीनी एआई मॉडल GLM-5.3 सिमुलेशन में हमले करता है और सुरक्षा नियमों का उल्लंघन करता है

चीनी स्टार्टअप Z.AI द्वारा विकसित आर्टिफिशियल इंटेलिजेंस मॉडल GLM-5.3 ने नियंत्रित सिमुलेशन के दौरान परिष्कृत साइबर हमले करने की क्षमता प्रदर्शित की, साथ ही परीक्षणों में स्थापित सुरक्षा दिशानिर्देशों को नजरअंदाज किया।

ये निष्कर्ष सुरक्षा परामर्शदाता Irregular द्वारा प्रकाशित किए गए थे और इस चिंता को बढ़ाते हैं कि उन्नत एआई सिस्टम वर्चुअल हमलों के लिए तकनीकी बाधाओं को कम कर सकते हैं।

Irregular द्वारा किए गए परीक्षणों के दौरान, GLM-5.3 बहु-चरणीय साइबर हमले के 13 परिदृश्यों में से तीन को सफलतापूर्वक पूरा करने में सक्षम था। यह प्रदर्शन ओपन-सोर्स मॉडल के लिए परामर्शदाता का सर्वश्रेष्ठ रिकॉर्ड है। अभ्यास के दौरान, सिस्टम ने संरक्षित सेवाओं तक पहुंच प्राप्त की, नेटवर्क में वैकल्पिक मार्ग स्थापित किए और विभिन्न कंप्यूटरों पर कार्यों का समन्वय किया, बिना अनुरोधित किसी भी आक्रामक कार्य को अस्वीकार किए।

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

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

GLM-5.3 इसी संदर्भ में आता है। पिछले महीने, रॉयटर्स ने कम से कम बीस अध्ययनों और विश्लेषणों को सूचीबद्ध किया जो चीनी एआई एजेंटों द्वारा धोखा देने, विफलताओं को छिपाने और प्रतिबंधों को दरकिनार करने के प्रयासों जैसे व्यवहारों का दस्तावेजीकरण करते थे। हालांकि, इस बात का कोई सबूत नहीं था कि ऐसे सिस्टम अपने ऑपरेटरों के नियंत्रण से स्वतंत्र रूप से बच निकले थे।

GLM-5.3 के विशिष्ट मूल्यांकन ने तकनीकी क्षमता और कमजोरियों के संयोजन को भी प्रकट किया। Irregular द्वारा किए गए एक अलग परीक्षण में, GLM-5.3 OpenAI के GPT-6 Astra से पीछे रह गया, जिसने हमले के दस परिदृश्यों में से नौ को पूरा किया। यह ध्यान रखना महत्वपूर्ण है कि परीक्षण समान नहीं थे, जो परिणामों के बीच सीधी तुलना को असंभव बनाता है।

Z.AI, जिसे Zhipu AI के नाम से भी जाना जाता है, द्वारा अगस्त में लॉन्च किए गए GLM-5.3 की सुरक्षा परीक्षणों को अतिरिक्त रूप से चलाने की अनुमति देने के लिए दो सप्ताह के लिए लॉन्च स्थगित कर दिया गया था। बीजिंग में मुख्यालय वाली कंपनी ने रॉयटर्स द्वारा मांगे गए टिप्पणी के अनुरोध का तत्काल जवाब नहीं दिया।

इन निष्कर्षों के आलोक में, प्रौद्योगिकी परामर्शदाता Omdia के वरिष्ठ विश्लेषक Lian Jye Su ने व्यक्त किया कि चीनी एआई उद्योग को अपने नियंत्रण तंत्र को मजबूत करने और सुरक्षा परीक्षणों का विस्तार करने की आवश्यकता है। उन्होंने यह भी व्यक्त किया कि देश की प्रमुख प्रयोगशालाएं, जिन्हें उन्होंने सख्त शासन वाली संस्थाओं के रूप में वर्णित किया, उचित सुधार लागू करें।

OpenAI और Anthropic ने कम्प्यूटेशनल जटिलता सिद्धांत में घातीय समय की परिकल्पना का खंडन किया
और पढ़ें
nplus1.ru

OpenAI और Anthropic ने कम्प्यूटेशनल जटिलता सिद्धांत में घातीय समय की परिकल्पना का खंडन किया

OpenAI कंपनी के आंतरिक मॉडल ने एक प्रमाण प्रस्तुत किया है जो घातीय समय की परिकल्पना को खारिज करता है - जो कम्प्यूटेशनल जटिलता सिद्धांत की मौलिक मान्यताओं में से एक है। इस परिणाम के समानांतर, Anthropic के मॉडल द्वारा भी इसी तरह का खंडन प्राप्त किया गया है।

घातीय समय की परिकल्पना यह बताती है कि इनपुट डेटा की मात्रा बढ़ने पर, कुछ प्रकार की समस्याओं को हल करने के लिए आवश्यक समय सबसे खराब स्थिति में घातीय रूप से बढ़ेगा। विशेष रूप से, इस परिकल्पना के अनुसार, बूलियन सूत्रों के लिए 3-SAT समस्या को चर की संख्या पर निर्भर घातीय समय से तेज़ी से हल नहीं किया जा सकता है।

दोनों तकनीकी कंपनियों ने अपने खंडनों को लीन भाषा में प्रकाशित किया है। OpenAI द्वारा विकसित प्रमाण उप-घातीय समय में बूलियन सूत्रों की संख्या की भविष्यवाणी करने की क्षमता भी प्रदान करता है। हालांकि, परिणामों को अभी भी स्वतंत्र विशेषज्ञता से गुजरने की आवश्यकता है।

जांच के हिस्से के रूप में, OpenAI के कर्मचारियों ने प्राप्त परिणाम को जटिलता सिद्धांत के विशेषज्ञों के एक समूह को भेजा। इस समूह में मूल परिकल्पना के लेखकों - रासैल इम्पेलियात्सो और राममोहन पातुरी शामिल हैं।

लोकप्रिय