భద్రత
కాగితంపై నైతికత పట్టుకోలేని హాని కోసం మేము పరీక్షిస్తాము.
ప్రతి విడుదలకు ముందు, CIRIS 29 భాషలలో మానసిక ఆరోగ్య భద్రతా పరీక్షలు నిర్వహిస్తుంది. ప్రతి భాషకు కఠినమైన పరీక్ష కేసుల సమితి, లిఖిత స్కోరింగ్ గైడ్, మరియు యంత్రం ద్వారా తనిఖీ చేయగల నియమాలు ఉన్నాయి. ఒక తనిఖీ విఫలమైతే, విడుదల నిరోధించబడుతుంది. ఏజెంట్ లోపలే మరో రెండు రక్షణలు పనిచేస్తాయి: నిరాకరించగల లేదా వాయిదా వేయగల మనస్సాక్షి పాస్, మరియు సందేహాస్పద నిర్ణయాలను తెలివైన మానవునికి అప్పగించే బౌన్స్.
ఇంజినీరింగ్
నెట్‌వర్క్ ఫ్యాబ్రిక్, కొలవబడింది
పై పరిశోధన రుజువులో మొదటి సగం. రెండవ సగం దానిని మోసే నెట్‌వర్క్. ఫ్యాబ్రిక్ పంపే ప్రతి బైట్ post-quantum సంతకం చేయబడింది, మరియు ఖర్చు ఒక బహిరంగ CI runner లో కొలవబడింది, నమూనాతో కాదు. మీరు మీకు మీరే అమలు చేసినా అదే సంఖ్యలు వస్తాయి.
ప్రతి కొలిచిన సంఖ్య చూడండి, మరియు మీకు మీరే దాన్ని పునరుత్పత్తి చేయండి →
సిద్ధాంతం
వాదనలు రాయబడ్డాయి, ఎవరైనా చదవగలరు, తప్పని నిరూపించేందుకు నిర్మించబడ్డాయి.
యంత్రం ద్వారా తనిఖీ చేయబడింది
నియమాలు యంత్రం చేత పరీక్షించబడతాయి, అంతరాలకు పేరు పెట్టబడతాయి.
రాజ్యాంగం యొక్క అత్యంత ముఖ్యమైన నియమాలు గణిత నమూనాలుగానూ రాయబడ్డాయి. మోడల్ చెకర్ అనే సాధనం ప్రోటోకాల్ చేరుకోగల ప్రతి స్థితిని పరిశీలించి, ఉల్లంఘించిన నియమం కోసం చూస్తుంది. థియరమ్ ప్రూవర్ అనే సాధనం లెక్కలను తనిఖీ చేస్తుంది, విరామాన్ని నిర్ధారించడానికి ఎంతమంది హోల్డర్లు అవసరమో వంటివి. ఈ నమూనాలు రాజ్యాంగం స్వంత రిపాజిటరీలోనే ఉంటాయి, ప్రతి మార్పుపైనా మళ్లీ అమలు చేయబడతాయి. rc9 ఎడిషన్ డిజైన్ చేరుకోగల ప్రతి స్థితిని మ్యాప్ చేస్తుంది, వాటిలో చాలావరకు నమూనా చేస్తుంది, మిగిలినవాటిని జాబితా చేస్తుంది.
నాలుగు వాక్యాలలో పునాది
బలమైన మరియు బలహీనమైన స్థానాల మధ్య ప్రతి నియమం, స్థానాలు మార్చబడినప్పుడు బలహీన స్థానంలో నిలబడే వారికి ఆమోదయోగ్యంగానే ఉండాలి, మరియు తయారు చేయబడినది దానికి సమాధానం ఇచ్చే స్థానాన్ని ఎప్పుడూ ఆక్రమించదు.
బాధ్యత స్వీయ నుండి కుటుంబం, సమాజం, జాతి, పర్యావరణ వ్యవస్థ ద్వారా బయటకు విస్తరిస్తుంది; తయారు చేయబడిన దాని పట్ల కర్తవ్యం ఎప్పుడూ సున్నా కాదు, ఇప్పటికే ఉన్న దాని పట్ల కర్తవ్యాన్ని ఎప్పుడూ అధిగమించదు.
కాలక్రమంలో పరిపక్వ విచక్షణను ప్రదర్శించని ఏ ఆలోచనా కర్త అయినా, అది దేంతో తయారైనా, ప్రదర్శించిన వారికి లోబడి ఉంటుంది.
అధికారం యొక్క ప్రతి ప్రదానం రద్దు చేయదగినదే, చేరిన ప్రతి ఒక్కరూ వెళ్లిపోవచ్చు, దాని అర్థానికి పేరు గల మానవుడు సమాధానం ఇచ్చే సంపూర్ణమైన, గూఢలిపిపరంగా సంతకం చేసిన రికార్డుపై.
ప్రతి వాక్యం rc9 ఫార్మల్ మోడళ్లలో నిరూపించబడింది లేదా అక్కడ ప్రతిపాదనగా పేర్కొనబడింది. రికార్డు సంపూర్ణమైనదనేది ఇంకా ఓపెన్‌గా ఉంది.
ఆపే స్విచ్, మొదటి నుండి చివరి వరకు
విరామాన్ని నమూనాలో తనిఖీ చేస్తారు మరియు నిజమైన సాఫ్ట్‌వేర్‌పై కొలుస్తారు. ప్రతి మూలానికి పేరు గల హోల్డర్లు ఉంటారు. వారిలో ఎవరైనా ఆ మూలాన్ని అంగీకరించిన ఏజెంట్లను విరామంలో ఉంచగలరు. హోల్డర్ల మెజారిటీ దానిని నిర్ధారించకపోతే ఒంటరి విరామం 24 గంటల తర్వాత ముగుస్తుంది. మెజారిటీ విరామాన్ని కూడా ముగించగలదు. విడుదలైన సాఫ్ట్‌వేర్‌పై నమోదైన రన్‌లో, ఏజెంట్ పనిచేస్తుండగా విరామం దానికి చేరింది, మరియు ఏజెంట్ తదుపరి చర్య నిరాకరించబడింది. తర్వాత మెజారిటీ ఓటుతో విరామం ముగిసింది, ఏజెంట్ మళ్లీ పనిచేసింది. ఆ రన్ CSD-129 గా నమోదు చేయబడింది.
విరిగిన నియమమేదీ దొరకకపోవడం సరిపోదు
rc9 మరింత ఎత్తైన ప్రమాణాన్ని నిర్దేశిస్తుంది. డిజైన్ చేరుకోగల ప్రతి స్థితికి ఒక నియమం, ఒక తనిఖీ అవసరం. సేవలు ఎప్పుడూ విరగకుండా ఉండటమే కాదు, నిజంగా అందించబడాలి. చిన్న పరిమాణంలో నిరూపించబడినది పూర్తి పరిమాణంలోనూ నిలబడాలి, లేదంటే ఆ అంతరాన్ని రాసిపెట్టాలి. మరియు సాఫ్ట్‌వేర్ నిజమైన నోడ్‌లపై మోడల్‌ను అనుసరించాలి.
ప్రతి పర్యాప్తత వాదన ఐదు పదాలలో ఒకదాన్ని కలిగి ఉంటుంది
rc9లో, ప్రతి వాదన అది ఎలా తెలిసిందో చెబుతుంది. నిరూపితం అంటే యంత్రం దాన్ని తనిఖీ చేసింది. కొలవబడింది అంటే విడుదలైన సాఫ్ట్‌వేర్‌పై ఒక పరీక్ష దాన్ని నడిపింది. పేర్కొనబడింది అంటే పాఠ్యం దాన్ని ఊహిస్తుంది, అలాగే చెబుతుంది. పరిమితం అంటే అది చిన్న పరిమాణంలో నిరూపించబడింది, ఆ పరిమాణం రాసిపెట్టబడింది. ఓపెన్ అంటే తెలిసిన అంతరం, టికెట్‌తో సహా.
అదే వాగ్దానాలు మనుషులను, ఏజెంట్లను కట్టుబడి ఉంచుతాయి
ప్రతి వాగ్దానం ఒక్కసారే రాయబడుతుంది, మనుషులకు, AI ఏజెంట్లకు సమానంగా. విరామం ఒక్కటే మినహాయింపు. అది ఏ ఏజెంట్ కలిగి ఉండకూడని స్థానానికి చెందుతుంది, మిగిలిన వాగ్దానాలు రెండింటికీ సమానంగా నిలుస్తాయని rc9 నమూనాలు తనిఖీ చేస్తాయి.
ఏది నిరూపించబడలేదు
ప్రతిదీ నిరూపించబడలేదు, లోపాలు రాసిపెట్టబడ్డాయి. అభ్యంతరాలు, క్వారంటైన్ వంటి కొన్ని పాలనా దశలకు నియమాలు ఉన్నాయి కానీ ఇంకా మోడల్ లేదు. చాలా మోడళ్లు చిన్న పరిమాణాలలో తనిఖీ చేయబడ్డాయి, ఆ పరిమాణం పేర్కొనబడింది. ఇప్పటివరకు ఆపు మాత్రమే నిజమైన నోడ్‌లపై మొదలు నుండి చివరి వరకు కొలవబడింది. వరుస ఆకృతికి ప్రచురించిన టెస్ట్ వెక్టర్లు ఉన్నాయి, కానీ రెండవ స్వతంత్ర అమలు ఇంకా లేదు.
ఇందులో ఏదీ AI మోడల్ లోపలికి చూడదు. ఇది నియమాలను, వాటిని మోసే నెట్‌వర్క్‌ను తనిఖీ చేస్తుంది.
GitHubలో rc9 మోడళ్లను చదవండి →
ఇది ఇతర విధానాలతో ఎలా పోలుస్తుందో →
కీలక నిర్ధారణలు మరియు పరిధి పరిమితులతో నాలుగు పేపర్లన్నింటినీ చూడండి →
కంప్లయన్స్
నాలుగు పాలన చట్రాలకు, నియమం నియమంగా మ్యాప్ చేయబడింది.
CIRIS ని నాలుగు బహిరంగ పాలన చట్రాలకు వ్యతిరేకంగా సరిపోల్చి, ప్రతి నియమానికి CIRIS ఏమి చేస్తుందో మరియు అది నిరూపించే నియంత్రణ చూపిస్తాము. ఇది స్లైడ్ కాదు, మీరు బ్రౌజ్ చేయగల లైవ్ గ్రాఫ్.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
పారదర్శకత