Matematik sayfası
Kanıt yazılımıyla doğrulandı
Fikir
Birbirini kopyalayan beş kontrol aslında tek bir kontroldür.
Diyelim ki beş kişi bir cevabı kontrol etti ve hepsi hemfikir. Bu güvenli görünüyor. Ama beşi de aynı kaynaktan öğrendiyse, mutabakatları beş görüş değil. Beş kez tekrarlanan tek bir görüş. Kontrol sayısı beş görünüyor. Gerçek sayı bir.
Bu yapay zeka için önemli. Bir yapay zeka sistemi kendi akıl yürütmesi üzerinde birçok kontrol çalıştırabilir ve yine de yanılabilir; eğer bu kontroller aynı kör noktayı paylaşıyorsa. Coherence Collapse Analysis, CIRIS'in gerçek kontroller ile yankılar arasındaki farkı söyleme biçimidir.
Tek formül
Gerçekte kaç kontrolünüz olduğunu saymak.
Bunun özünde tek kısa bir formül var. Anket istatistiklerinden geliyor; orada Kish design effect olarak adlandırılıyor ve aynı biçim oy verme kuramında ve güvenlik mühendisliğinde de karşımıza çıkıyor. CIRIS bunu yapay zeka hizalamasına uyguluyor.
real checks = checks / (1 + copying × (checks − 1))
"Checks" kaç kontrol çalıştırdığınızdır. "Copying" ne kadar örtüştüklerini ifade eder; 0 (tamamen bağımsız) ile 1 (tamamen aynı) arasında. Sonuç, gerçekte kaç kontrolünüz olduğudur.
Kopyalama yok: on kontrol on sayılır. Her kontrol yerini hak eder.
Tam kopyalama: on kontrol bir sayılır. Ne kadar eklerseniz ekleyin fark etmez.
Gerçek trafik üzerinde
Bu ölçüldü; sadece tartışılmadı.
CIRIS, kendi canlı ajan trafiğinde gerçek kontrol sayısını binlerce kayıtlı karar üzerinde ölçtü. Sağlıklı trafiklerde yaklaşık yedi ile dokuz arasında gerçekten bağımsız kontrol çalıştığı görüldü. Bu ölçüm ve nasıl yapıldığı Constrained Reasoning Chains çalışmasıdır. Canlı sayıları araştırma sayfasında izleyebilirsiniz.
Dürüst tavan
Bu matematik neyi yapamaz.
Makale kendisi için sert bir sınır kanıtlıyor. Bazı zarar türleri tek bir dürüst olmayan parçadan gelmiyor. Dürüst parçaların toplamda kötü bir sonuç vermesinden geliyor ve makale, bu zararın bir kısmının yalnızca parçalara bakan hiçbir denetçi tarafından görülemeyeceğini kanıtlıyor; denetçi ne kadar iyi olursa olsun. CIRIS, matematiğin her şeyi yakaladığını iddia etmek yerine bunu açıkça söylüyor.
Sistemin gerçekten vaat ettiği şey kayıttır. Her karar, sessizce yeniden yazılamayan imzalı bir makbuz bırakır; böylece bir yalan, asla silemeyeceği binlerce makbuzla tutarlı kalmak zorundadır. O makbuzları iyi okumak hâlâ açık bir iştir ve bunu açıkça söylüyoruz. Defterler her durumda doğru kalır.
Nasıl bir araya geliyor
Matematik daha büyük bir bütünün bir parçası.
Bu sayfa ölçümü. Coherence Ratchet ölçümün kullanıma sokulma biçimi. Federasyon ise bunun birçok sistemin paylaştığı bir şeye nasıl dönüştüğü. Tam kanıtlar, bir bilgisayarın satır satır kontrol edebileceği şekilde yazılmış olup makalede ve RATCHET deposunda yer almaktadır.