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