ME समाचार के अनुसार, 21 जुलाई (UTC+8), विटालिक ने X प्लेटफॉर्म पर एक नया "उन्नत प्रोग्रामिंग भाषा" जो Lean (या HOL आदि) में कंपाइल हो, उसे आजमाने के लिए एक अच्छा विचार बताया, जिसका ध्यान मानवीय रूप से परिभाषाओं और प्रमेयों को समझने में सुविधा प्रदान करने पर केंद्रित हो। प्रमाणों पर नहीं, क्योंकि प्रमाण केवल सही होने चाहिए, मुख्य बात परिभाषाओं और प्रमेयों के स्वयं है। इसका अनुमानित उपयोग यह है कि AI एक बड़ा प्रमाण उत्पन्न करता है, और पाठक को इन आउटपुट में कौन सी सटीक दावों को साबित किया गया है, उसे सरलता से समझना होता है। (स्रोत: ChainCatcher)
विटालिक ने परिभाषाओं और प्रमेयों को आसानी से पढ़ने के लिए एक नया प्रोग्रामिंग भाषा प्रस्तावित किया है
KuCoinFlashसाझा करें
सारांश
21 जुलाई को विटालिक बुटेरिन ने एक नया उच्च-स्तरीय प्रोग्रामिंग भाषा प्रस्तावित किया, जिसे Lean या HOL में कंपाइल किया जा सके और परिभाषाओं और प्रमेयों की पठनीयता में सुधार किया जा सके। यह भाषा AI का उपयोग Proof of Work (PoW) और Proof of Stake (PoS) से संबंधित प्रमाणों को संभालने के लिए करेगी, जिससे उपयोगकर्ता कथनों की स्पष्टता पर ध्यान केंद्रित कर सकें। लक्ष्य जटिल दावों को अधिक पहुँचयोग्य बनाना है, खासकर जब AI लगातार लंबे प्रमाण उत्पन्न कर रहा है।
स्रोत:मूल दिखाएं
डिस्क्लेमर: इस पेज पर दी गई जानकारी थर्ड पार्टीज़ से प्राप्त की गई हो सकती है और यह जरूरी नहीं कि KuCoin के विचारों या राय को दर्शाती हो। यह सामग्री केवल सामान्य सूचनात्मक उद्देश्यों के लिए प्रदान की गई है, किसी भी प्रकार के प्रस्तुतीकरण या वारंटी के बिना, न ही इसे वित्तीय या निवेश सलाह के रूप में माना जाएगा। KuCoin किसी भी त्रुटि या चूक के लिए या इस जानकारी के इस्तेमाल से होने वाले किसी भी नतीजे के लिए उत्तरदायी नहीं होगा।
डिजिटल संपत्तियों में निवेश जोखिम भरा हो सकता है। कृपया अपनी वित्तीय परिस्थितियों के आधार पर किसी प्रोडक्ट के जोखिमों और अपनी जोखिम सहनशीलता का सावधानीपूर्वक मूल्यांकन करें। अधिक जानकारी के लिए, कृपया हमारे उपयोग के नियम और जोखिम प्रकटीकरण देखें।