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