एक्ज़िओम मैथ ने 'विशाल प्रमेय' के प्रमाण को औपचारिक रूप दिया - गणित के इतिहास में सबसे लंबी प्रमेय
और पढ़ें
N+1
nplus1.ru

एक्ज़िओम मैथ ने 'विशाल प्रमेय' के प्रमाण को औपचारिक रूप दिया - गणित के इतिहास में सबसे लंबी प्रमेय

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

यह प्रमेय सीमित सरल गणितीय समूहों के वर्गीकरण से संबंधित है, जो किसी भी सीमित समूह के निर्माण के लिए मौलिक निर्माण खंड हैं, ठीक उसी तरह जैसे जटिल संख्याएँ अभाज्य गुणनखंडों में विभाजित होती हैं।

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

वर्गीकरण को 1983 में डेनियल गोरेनस्टाइन द्वारा अंतिम रूप दिया गया था। इसके अलावा, 2004 में माइकल आसबाहर और स्टीवन स्मिथ ने 1221 पृष्ठों का एक विवरण प्रकाशित किया, जिसने तथाकथित पहली पीढ़ी के प्रमाण के समापन का प्रतीक था। इसी कार्य को एक्ज़िओम मैथ कंपनी ने औपचारिक रूप देने का जिम्मा लिया।

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

स्मार्ट साम्पा डेटा लीक के बाद सिस्टम एक्सेस के लिए फेशियल रिकग्निशन लागू करेगा
और पढ़ें
tecnoblog.net

स्मार्ट साम्पा डेटा लीक के बाद सिस्टम एक्सेस के लिए फेशियल रिकग्निशन लागू करेगा

निगरानी कैमरों से प्राप्त डेटा के उजागर होने के कारण, स्मार्ट साम्पा सिस्टम अब यह अनिवार्य करेगा कि अधिकृत सर्वर साओ पाउलो नगर पालिका के प्लेटफॉर्म तक पहुंचने के लिए चेहरे की पहचान का उपयोग करें। मेयर रिकार्डो नूनेस (MDB) ने मंगलवार, 27 अक्टूबर को इस नए प्रमाणीकरण तरीके की घोषणा की।

यह घोषणा नगर पालिका और साओ पाउलो के पब्लिक प्रॉसिक्यूटर के बीच सहयोग समझौते पर हस्ताक्षर समारोह के दौरान की गई थी, और नई आवश्यकता तत्काल प्रभाव से लागू हो जाती है।

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

रिकार्डो नूनेस ने कहा कि कोई अंतर्निहित सुरक्षा विफलता नहीं हुई थी; उन्होंने संकेत दिया कि मेट्रोपॉलिटन सिविल गार्ड (GCM) के एक कर्मचारी ने गलती से एक्सेस पासवर्ड साझा कर दिया था। इसके बावजूद, इस घटना ने दिखाया कि जब सर्वर क्रेडेंशियल्स तक पहुंच होती है तो स्मार्ट साम्पा के डेटा कितना कमजोर होता है।

इस मामले के सामने आने के बाद, नगर प्रशासन ने दो-कारक प्रमाणीकरण भी लागू किया। समानांतर रूप से, पब्लिक प्रॉसिक्यूटर ने रिपोर्ट में प्रस्तुत जानकारी का विश्लेषण करने के लिए एक तथ्य सूचना दर्ज की, जबकि राष्ट्रीय डेटा संरक्षण एजेंसी (ANPD) ने नगर पालिका से स्पष्टीकरण मांगा।

आयोजन में हस्ताक्षरित समझौतों में से एक नौ अभियोजकों को अनुमति देगा जो साओ पाउलो के संगठित अपराध दमन के विशेष कार्रवाई समूह (Gaeco) से संबंधित हैं, उन्हें संगठित अपराध पर केंद्रित जांचों में स्मार्ट साम्पा की छवियों और जानकारी का उपयोग करने की अनुमति देगा। नगर पालिका ने स्वयं पुष्टि की कि इस समझौते में प्लेटफॉर्म के तकनीकी डेटा के उपयोग के साथ-साथ अपराध की रोकथाम, दमन और जांच की गतिविधियों को भी शामिल किया गया है।

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

यदि एक विद्रोही एआई आधुनिक कृषि को ध्वस्त कर देता है तो भोजन के आठ संभावित तरीके
और पढ़ें
super.abril.com.br

यदि एक विद्रोही एआई आधुनिक कृषि को ध्वस्त कर देता है तो भोजन के आठ संभावित तरीके

लेख इस बात पर भयावह परिदृश्यों पर चर्चा करता है कि यदि कोई विद्रोही कृत्रिम बुद्धिमत्ता (एआई) आधुनिक कृषि को नष्ट कर देती है तो मानवता भोजन कैसे कर सकती है, यह विषय एआई की क्षमताओं की तेजी से प्रगति के कारण और अधिक बहस का विषय बन गया है।

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

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

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

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

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

भोजन भी उचित शीतलन, पैकेजिंग और परिवहन के बिना जल्दी खराब हो जाएगा; दूध, मांस और कृषि उत्पाद कुछ ही दिनों में खराब हो जाएंगे।

मध्यम अवधि में, व्यापक कृषि सिंचाई रुक जाएगी, क्योंकि पंपिंग सिस्टम और सेंटर पिवट को बिजली की आवश्यकता होती है। केवल गुरुत्वाकर्षण और वर्षा सिंचाई प्रणालियाँ चालू रहेंगी, जिसके परिणामस्वरूप शुष्क क्षेत्रों में उत्पादकता में भारी कमी आएगी।

बाद में, अनाज सुखाने और भंडारण में विफलताएं होंगी। गीले कटे हुए मक्के को सुखाने और सौर वेंटिलेशन की आवश्यकता होगी; यांत्रिक सुखाने के बिना, फफूंदी माइकोटॉक्सिन जारी करेगी, जिससे अनाज भंडार दूषित हो जाएंगे।

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

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

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

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

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

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

पीसी के प्रदर्शन को बढ़ाने के लिए अमेज़ॅन पर डीडीआर5 रैम मेमोरी का चयन बिक्री पर
और पढ़ें
olhardigital.com.br

पीसी के प्रदर्शन को बढ़ाने के लिए अमेज़ॅन पर डीडीआर5 रैम मेमोरी का चयन बिक्री पर

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

प्रस्तुत विकल्पों में से एक Corsair की 5200MHz आवृत्ति और CL40-40-40-77 विलंबता वाली मेमोरी है। यह मॉड्यूल 1.25V पर संचालित होता है और AMD Expo और Intel XMP 3.0 दोनों का समर्थन करता है, जिससे BIOS के माध्यम से ओवरक्लॉकिंग को समायोजित करना आसान हो जाता है। इसे उच्च प्रदर्शन वाले डेस्कटॉप असेंबली के लिए अनुशंसित किया जाता है जिन्हें वर्तमान प्रौद्योगिकियों के साथ व्यापक संगतता की आवश्यकता होती है।

Corsair की Vengeance लाइन का एक अन्य मॉडल, जिसमें 16GB और 5200MHz है, स्थिरता और लगातार प्रदर्शन को प्राथमिकता देने वाले डेस्कटॉप के लिए उपयुक्त बताया गया था। Vengeance लाइन अपनी विश्वसनीयता और XMP प्रोफाइल के समर्थन के लिए जानी जाती है, जो बिना किसी कठिनाई के अधिकतम आवृत्ति निकालने की अनुमति देती है, जो ब्रांड की विश्वसनीयता बनाए रखते हुए मेमोरी विस्तार के लिए एक मजबूत विकल्प है।

उन उपयोगकर्ताओं के लिए जो छोटे पीसी बनाते हैं या बड़ी लागत वहन किए बिना एक अतिरिक्त मॉड्यूल जोड़ना चाहते हैं, Adata 8GB की DDR5 प्रदान करता है जो 5600MHz पर काम करती है। यह आवृत्ति एंट्री-लेवल DDR5 मानक के लिए अपेक्षित औसत से अधिक है और ऊर्जा दक्षता और दैनिक उपयोग में अच्छे प्रदर्शन पर केंद्रित है, जो कॉम्पैक्ट सिस्टम या भविष्य के अपग्रेड के लिए शुरुआती बिंदु के रूप में आदर्श है।

यह ध्यान रखना महत्वपूर्ण है कि अमेज़ॅन पर प्रचार तेजी से बदल सकते हैं, जिससे इच्छुक लोगों को मौजूदा शर्तों को सुरक्षित करने के लिए तुरंत लिंक तक पहुंचने के लिए प्रोत्साहित किया जाता है। रैम मेमोरी में अपग्रेड कंप्यूटर के प्रदर्शन को बेहतर बनाने के सबसे सीधे तरीकों में से एक है, चाहे वह गेमिंग, पेशेवर कार्य या गहन मल्टीटास्किंग के लिए हो।

लोकप्रिय