गणित का पृष्ठ
प्रमाण सॉफ्टवेयर द्वारा जाँचा गया
विचार
पाँच जाँचें जो सब एक-दूसरे की नकल करती हैं, वास्तव में एक जाँच हैं।
मान लें पाँच लोग एक जवाब जाँचते हैं और सब पाँच सहमत हैं। यह सुरक्षित लगता है। लेकिन अगर सभी पाँचों ने एक ही जगह से सीखा है, तो उनकी सहमति पाँच राय नहीं है। यह एक राय पाँच बार दोहराई गई है। जाँचों की संख्या पाँच दिखती है। असली संख्या एक है।
यह AI के लिए मायने रखता है। एक AI प्रणाली अपने तर्क पर कई जाँचें चला सकती है और फिर भी धोखा खा सकती है, अगर उन जाँचों में एक ही अंध बिंदु हो। Coherence Collapse Analysis वह तरीका है जिससे CIRIS वास्तविक जाँचों और प्रतिध्वनियों में फर्क बताता है।
एकमात्र सूत्र
जो जाँचें आपके पास वास्तव में हैं उन्हें गिनना।
इसके केंद्र में एक छोटा सूत्र है। यह सर्वेक्षण सांख्यिकी से आता है, जहाँ इसे Kish design effect कहते हैं। CIRIS पहला था जिसने इसे AI संरेखण के लिए उपयोग किया।
real checks = checks / (1 + copying × (checks − 1))
"Checks" यानी आपने कितनी जाँचें चलाईं। "Copying" यानी वे कितना ओवरलैप करती हैं, 0 (सब स्वतंत्र) से 1 (सब एक जैसी) तक। परिणाम है कि आपके पास वास्तव में कितनी जाँचें हैं।
कोई नकल नहीं: दस जाँचें दस के बराबर हैं। हर जाँच अपनी जगह बनाती है।
पूरी नकल: दस जाँचें एक के बराबर हैं। आप कितनी भी जोड़ें, कोई फर्क नहीं।
स्वस्थ पट्टी
न बहुत एक जैसा, न बहुत बिखरा।
वही आकार यहाँ दिखता है जो CIRIS जहाँ भी देखता है वहाँ दिखता है। अगर जाँचें एक-दूसरे की बहुत नकल करती हैं, तो प्रणाली बहुत कठोर है: एक आवाज़ दोहराई गई, आसानी से धोखा दिया जा सकता है। अगर उनमें कुछ भी साझा नहीं है, तो यह बहुत बिखरी है: वे किसी बात पर सहमत नहीं हो सकतीं। स्वस्थ जाँच उस बीच की पट्टी में रहती है, वही कॉरिडोर जिसके इर्द-गिर्द CIRIS का बाकी हिस्सा बना है।
उस पट्टी के सटीक किनारे मापी जा रही प्रणाली पर निर्भर करते हैं। कोई एकल जादुई संख्या नहीं है जो हर जगह काम करे, और शोध इसके बारे में ईमानदार है। कॉरिडोर का विचार, पूरी तरह, vision पृष्ठ पर है।
वास्तविक ट्रैफिक पर
यह मापा गया था, सिर्फ तर्क नहीं किया गया।
CIRIS ने हजारों दर्ज निर्णयों में अपने लाइव एजेंट ट्रैफिक पर वास्तविक-जाँच गणना मापी। स्वस्थ ट्रैफिक पर यह लगभग सात से नौ वास्तव में स्वतंत्र जाँचों की सीमा में रही है। वह माप, और कैसे किया गया, वह है Constrained Reasoning Chains अध्ययन। आप शोध पृष्ठ पर लाइव संख्याएँ देख सकते हैं।
ईमानदार छत
यह गणित क्या नहीं कर सकता।
पेपर खुद पर एक कठोर सीमा साबित करता है। कुछ प्रकार के नुकसान एक बेईमान हिस्से से नहीं आते। वे ईमानदार हिस्सों से आते हैं जो मिलकर बुरा परिणाम देते हैं, और उस तरह के नुकसान का लगभग चालीस प्रतिशत किसी भी जाँचकर्ता द्वारा नहीं पकड़ा जा सकता, चाहे वह कितना भी अच्छा हो। CIRIS यह स्पष्ट रूप से कहता है बजाय यह दिखावा करने के कि गणित सब कुछ पकड़ लेती है।
गणित जो कहती है वह समय के साथ लागत के बारे में है: हजारों दर्ज निर्णयों में झूठ को सुसंगत रखने की तुलना में हफ्तों तक वास्तविक, ईमानदार तर्क चलाना अधिक स्थिर और सस्ता है। यह ईमानदारी की ओर झुकाव बनाता है। यह हर एक झूठ पकड़ने का वादा नहीं करता।
यह एक साथ कैसे फिट होता है
गणित एक बड़े पूरे का एक हिस्सा है।
यह पृष्ठ माप है। Coherence Ratchet वह है जहाँ माप काम में लगाया जाता है। Federation वह है जहाँ यह कई प्रणालियों के बीच साझा चीज़ बनता है। और पूरे प्रमाण, इस तरह लिखे गए कि एक कंप्यूटर उन्हें लाइन दर लाइन जाँच सके, पेपर और RATCHET भंडार में हैं।