గణిత పేజీ
రుజువు సాఫ్ట్వేర్ చేత తనిఖీ చేయబడింది
ఆలోచన
ఒకదాన్ని ఒకటి కాపీ చేసే అయిదు తనిఖీలు నిజంగా ఒకే ఒక్క తనిఖీ.
అయిదుగురు ఒక జవాబును తనిఖీ చేసి అందరూ ఏకీభవిస్తారు అనుకోండి. అది సురక్షితంగా అనిపిస్తుంది. కానీ అయిదుగురూ అదే చోటు నుండి నేర్చుకుంటే, వారి అంగీకారం అయిదు అభిప్రాయాలు కాదు. అది ఒక్క అభిప్రాయం అయిదు సార్లు పునరావృతమైంది. తనిఖీల సంఖ్య అయిదులా కనిపిస్తుంది. నిజమైన సంఖ్య ఒకటి.
ఇది 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 కొలత ఎలా పనిలో పెట్టబడుతుందో. ఫెడరేషన్ అది చాలా వ్యవస్థలు పంచుకునే విషయంగా ఎలా మారుతుందో. మరియు పూర్తి రుజువులు, కంప్యూటర్ వాటిని వరుసగా తనిఖీ చేయగలిగే రీతిలో రాయబడినవి, పేపర్లో మరియు RATCHET రిపోజిటరీలో ఉన్నాయి.