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