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