గణిత పేజీ
రుజువు సాఫ్ట్వేర్ చేత తనిఖీ చేయబడింది
ఆలోచన
ఒకదాన్ని ఒకటి కాపీ చేసే అయిదు తనిఖీలు నిజంగా ఒకే ఒక్క తనిఖీ.
అయిదుగురు ఒక జవాబును తనిఖీ చేసి అందరూ ఏకీభవిస్తారు అనుకోండి. అది సురక్షితంగా అనిపిస్తుంది. కానీ అయిదుగురూ అదే చోటు నుండి నేర్చుకుంటే, వారి అంగీకారం అయిదు అభిప్రాయాలు కాదు. అది ఒక్క అభిప్రాయం అయిదు సార్లు పునరావృతమైంది. తనిఖీల సంఖ్య అయిదులా కనిపిస్తుంది. నిజమైన సంఖ్య ఒకటి.
ఇది AI కి ముఖ్యమైనది. ఒక AI వ్యవస్థ తన స్వంత తర్కంపై చాలా తనిఖీలు అమలు చేయవచ్చు మరియు ఇంకా మోసపోవచ్చు -- ఆ తనిఖీలు అదే గుడ్డి మచ్చను పంచుకుంటే. Coherence Collapse Analysis అనేది CIRIS నిజమైన తనిఖీలు మరియు ప్రతిధ్వనుల మధ్య తేడాను ఎలా చెప్తుందో.
ఒకే సూత్రం
మీకు నిజంగా ఉన్న తనిఖీలు లెక్కించడం.
దాని హృదయంలో ఒకే ఒక్క చిన్న సూత్రం ఉంది. ఇది సర్వే గణాంకాల నుండి వచ్చింది, అక్కడ దీన్ని Kish design effect అని పిలుస్తారు. AI అలైన్మెంట్ కోసం దాన్ని మొదట ఉపయోగించింది CIRIS.
real checks = checks / (1 + copying × (checks − 1))
"Checks" మీరు నడిపించిన తనిఖీల సంఖ్య. "Copying" అవి ఎంతగా అతివ్యాప్తి చెందుతాయో, 0 (అన్నీ స్వతంత్రం) నుండి 1 (అన్నీ ఒకే) వరకు. ఫలితం మీకు నిజంగా ఉన్న తనిఖీల సంఖ్య.
కాపీ లేకపోవడం: పది తనిఖీలు పదిగా లెక్కిస్తాయి. ప్రతి తనిఖీ తన స్థానాన్ని సంపాదిస్తుంది.
పూర్తి కాపీ: పది తనిఖీలు ఒకటిగా లెక్కిస్తాయి. మీరు ఎన్ని జోడించినా పర్వాలేదు.
ఆరోగ్యకరమైన బ్యాండ్
చాలా ఒకేరకంగా కాదు, చాలా చెల్లాచెదురుగా కాదు.
CIRIS చూసే ప్రతి చోటూ అదే ఆకారం ఇక్కడ కూడా కనిపిస్తుంది. తనిఖీలు పరస్పరం చాలా కాపీ చేస్తే, వ్యవస్థ చాలా దృఢంగా ఉంటుంది: ఒకే స్వరం పునరావృతమవుతుంది, మోసపోవడం సులభం. వాటికి పూర్తిగా ఏమీ సాధారణం లేకపోతే, అది చాలా చెల్లాచెదురుగా ఉంటుంది: అవి దేనిపైనా అంగీకరించలేవు. ఆరోగ్యకరమైన తనిఖీ మధ్య బ్యాండ్లో జీవిస్తుంది -- CIRIS మిగిలినది నిర్మించిన అదే కారిడార్.
ఆ బ్యాండ్ యొక్క ఖచ్చితమైన అంచులు కొలవబడుతున్న వ్యవస్థపై ఆధారపడతాయి. అన్ని చోట్లా పని చేసే ఒకే మాజిక్ నంబర్ లేదు, మరియు పరిశోధన దాని గురించి నిజాయితీగా ఉంది. కారిడార్ ఆలోచన, పూర్తిగా, విజన్ పేజీలో ఉంది.
నిజమైన ట్రాఫిక్పై
ఇది వాదించబడలేదు, కొలవబడింది.
CIRIS వేలాది నమోదిత నిర్ణయాలలో తన స్వంత లైవ్ ఏజెంట్ ట్రాఫిక్పై నిజమైన-తనిఖీ గణనను కొలిచింది. ఆరోగ్యకరమైన ట్రాఫిక్పై అది సుమారు ఏడు నుండి తొమ్మిది నిజంగా స్వతంత్రమైన తనిఖీల పరిధిలో నడిచింది. ఆ కొలత, మరియు అది ఎలా చేయబడిందో, Constrained Reasoning Chains అధ్యయనం. మీరు పరిశోధన పేజీలో లైవ్ నంబర్లు చూడవచ్చు.
నిజాయితీగా సీలింగ్
ఈ గణితం చేయలేనిది.
పేపర్ తనకు తానే ఒక కఠినమైన పరిమితిని నిరూపిస్తుంది. కొన్ని రకాల హాని ఒక అప్రమాణికమైన భాగం నుండి రాదు. అవి నిజాయితీగా ఉన్న భాగాల నుండి వస్తాయి, అవి చెడు ఫలితానికి కూడుతాయి, మరియు ఆ రకమైన హానిలో సుమారు నలభై శాతాన్ని ఏ తనిఖీదారుడూ పట్టుకోలేడు, ఎంత మంచివాడైనా. CIRIS గణితం అన్నింటినీ పట్టుకుంటుందని నటించడం కాకుండా నిజాయితీగా చెప్తుంది.
గణితం చెప్పేది కాలక్రమేణా ఖర్చు గురించి: వేలాది నమోదిత నిర్ణయాలలో అబద్ధాన్ని స్థిరంగా ఉంచడం కంటే వారాల తరబడి నిజమైన, నిజాయితీగా తర్కించడం మరింత స్థిరంగా మరియు చవకగా ఉంటుంది. అది నేల నిజాయితీ వైపు వాలుతుంది. ప్రతి ఒక్క అబద్ధాన్ని పట్టుకోవాలని వాగ్దానం చేయదు.
అన్నీ ఒకటిగా ఎలా అమరతాయి
గణితం ఒక పెద్ద మొత్తంలో ఒక భాగం.
ఈ పేజీ కొలత. Coherence Ratchet కొలత ఎలా పనిలో పెట్టబడుతుందో. ఫెడరేషన్ అది చాలా వ్యవస్థలు పంచుకునే విషయంగా ఎలా మారుతుందో. మరియు పూర్తి రుజువులు, కంప్యూటర్ వాటిని వరుసగా తనిఖీ చేయగలిగే రీతిలో రాయబడినవి, పేపర్లో మరియు RATCHET రిపోజిటరీలో ఉన్నాయి.