Hali ya utafiti · Imesasishwa: Mei 22, 2026
Hazina ya sasa tayari inaonyesha nini
Nyaraka zilizokusanywa zinaonyesha muundo thabiti wa kitabia.
Mawakala tofauti wanachukua maeneo tofauti ya anga ile ile ya alama.
Maeneo hayo yanafaa kwa uangalizi na zana za waendeshaji leo.
Hazina hiyo hiyo inakuwa na thamani zaidi kadri maelezo ya muundo na ukubwa unavyoongezeka.
Makala kuu ya muhtasari
Corridor Dynamics in Coordinated Systems
v2 · Mei 22, 2026 · DOI 10.5281/zenodo.20300773
An Integration of Operator Formalism, Relational Ontology, and Five-Substrate Empirical Validation
Makala moja inayoeleza dau zima la CIRIS: mifumo iliyoratibiwa vizuri inakaa katika ukanda wa kati unaoweza kupimwa, mbali na kuangukia kwenye sauti moja ngumu na mbali na msukosuko wa kelele tupu. Tulijaribu dai hilo kwenye minyoo, nzi, mifano ya AI, miradi ya chanzo huria, sampuli za tishu, na taasisi za kibinadamu zilizodumu muda mrefu. Muundo unashikilia katika kila moja, na makala imeambatanisha njia ishirini ambazo lingeweza kuthibitishwa kuwa si sahihi.
Kiwango cha uhandisi
Muhtasari hapo juu unaunganisha makala hizi tatu; hauchukui nafasi yao. Kila moja inasimama kwenye DOI yake yenyewe na inaweza kutathminiwa kwa masharti yake yenyewe. Tazama makala zote nne pamoja na matokeo makuu na mipaka ya upeo →
Coherence Collapse Analysis
v5 · Ago 1, 2026 · DOI 10.5281/zenodo.21730551
Mfumo wa hatari ya uhandisi. Vikwazo vinavyosimamia mfumo vinapofungamana, utofauti halisi unaporomoka: k_eff = k/(1+ρ(k−1)) → 1 inapokuwa ρ → 1. Inatoa nyakati tatu za kuporomoka, mpaka wa upekee, na uainishaji wa awamu (msukosuko / afya / ugumu). Imethibitishwa kwa uigaji wa Monte Carlo na uthibitisho wa Lean 4.
CIRISAgent Framework
v2 · Jan 2, 2026 · DOI 10.5281/zenodo.18137161
Makala ya mfumo. Mfumo wa AI ya kimaadili wa chanzo huria kwa uhuru unaowajibika: usanifu wa huduma 22 uliopangwa kwa vitenzi vilivyo wazi vya vitendo na hoja za kimaadili, ambapo uwazi umejengwa ndani ya muundo wake badala ya kuongezwa baadaye.
Constrained Reasoning Chains
v1 · Apr 28, 2026 · DOI 10.5281/zenodo.19839280
Makala ya kipimo. Utafiti wa majaribio wa telemetria wa usawazishaji wa LLM chini ya ufuatiliaji wa maadili uliosanifiwa, ukibadilisha nyaraka za hoja zenye idhini kuwa ramani za njia za ukamilishaji, maeneo ya kusita, na mipaka ya kukataa. Imetolewa pamoja na seti huria ya data ya nyaraka za hoja.
Seti ya data wazi
CIRISAI/reasoning-traces
Seti ya nyaraka za ufuatiliaji wa hoja, zikiwa zimeondolewa maelezo ya faragha, iliyotolewa pamoja na utafiti wa Constrained Reasoning Chains. Makala ya kipimo huchora ramani zake kutoka kwayo.
CIRISAI kwenye Hugging Face
Shirika zima la seti za data na modeli za umma →
Hazina ya chanzo na ziwa la urasimishaji la Lean kwa makala ya muunganiko: github.com/CIRISAI/coherence-ratchet.
Misingi ya kihesabu
Mawazo mawili ambayo ukurasa wote unategemea.
Alignment Manifold ni eneo la maumbo ya hoja yanayokubaliana na kanuni za mfumo. Vikwazo huru vinabana nafasi kuizunguka, na uhusiano wa vikwazo unaweka dari ngumu kwa ubanaji huo: zaidi ya hapo, kuongeza ukaguzi zaidi unaojirudia hakununui chochote. Coherence Singularity ni ukingo huo, mahali ambapo vikwazo vinakuwa na mwingiliano mkubwa kiasi kwamba kuongeza zaidi kunakoma kusaidia.
Matibabu kamili ya kihesabu na fomula, marejeo ya urasimishaji wa Lean, na dari ya habari ya L-01 ipo kwenye ukurasa wa Coherence Collapse Analysis.
Kwa nini nyaraka za ufuatiliaji zinamaanisha
Vipimo vya tathmini ni vyembamba na vilichaguliwa. Nyaraka za ufuatiliaji ni kumbukumbu za mfululizo za tabia chini ya kazi halisi. Kwa ukubwa, zinaonyesha muundo ambao maonyesho ya peke yake na hadithi haziwezi.
Kwa nini muundo wa ufuatiliaji ni muhimu
CIRIS hutumia miundo ya ufuatiliaji inayolinda faragha inayokamata umbo la hoja badala ya maudhui ya faragha ya hoja. Hiyo inafanya utafiti uendelee kuwa na manufaa bila kugeuza mfumo kuwa mlundikano wa maandishi ghafi.
Kwa nini mkusanyo wa nyaraka za ufuatiliaji ni muhimu
Chunguza ufuatiliaji wa hoja hufungua ufuatiliaji wa hoja uliotiwa saini mwanzo hadi mwisho, hatua moja baada ya nyingine. Inaonyesha kile ambacho hazina inajumuisha na mahali ambapo tabia inakuwa wazi.
Ufuatiliaji unaolinda faragha
Nadharia ni kwamba hoja ina umbo tunaloweza kupima wakati kila kitu kingine kinapanda ngazi.
Dau la utafiti si kwamba tunaweza kusoma kila wazo la siri. Dau ni kwamba nyaraka za maadili zilizosanifiwa zinaweza kuhifadhi umbo la mkondo wa kutosha kuchunguza jinsi mawakala wanavyokamilisha, kusita, kuahirisha, kubatilisha, na kukataa kadri akili, muktadha, na nukta za data zinavyoongezeka.
Zinakumbuka muundo wa nyaraka za maadili uliosanifiwa badala ya maelezo ya kina ya kazi za siri.
Zinakumbuka umbo la kutosha kulinganisha njia kati ya mawakala, kazi, na mazingira.
Zinawapa watafiti njia ya kuchunguza jinsi tabia inavyobadilika kadri akili, muktadha, na kiasi cha data vinavyoongezeka.
Swali la utafiti
Ufuatiliaji wa maadili uliosanifiwa unaweza kutuambia nini kuhusu usawazishaji?
Hivi sasa, inatuambia kwamba tabia ya wakala si isiyo na umbo. Inazalisha njia zinazorudiwa, mabonde, na mipaka katika nafasi ya alama ya pamoja. Hiyo tayari ni ya manufaa kwa uangalizi. Kadri muda unavyosonga, hazina kubwa na zenye utajiri zaidi zinapaswa kuturuhusu kujaribu madai madhubuti zaidi kuhusu jinsi miundo hiyo inavyobadilika chini ya shinikizo na upanuzi.
Mwelekeo wa umma
CIRIS haididai kuwa imesuluhisha usawazishaji. Inajenga miundombinu ya nyaraka za ufuatiliaji inayohitajika kupima tabia inayohusiana na usawazishaji hadharani.
Idadi Halisi ya Vipimo katika Uzalishaji
Hazina ya sasa tayari inaonyesha miundo tofauti ya uga.
Michoro ya njia zilizokusanywa kutoka kwenye hazina ya sasa ya ufuatiliaji inaonyesha muundo thabiti wa kitabia katika nafasi ya alama ya pamoja. Ally inaonyesha njia ya ukamilishaji iliyokomaa, Scout inaonyesha mpaka wa kukataa ulioundwa na mfiduo wa hadharani wa kiushindani, na Datum inatoa msingi mfupi wenye data adimu.
Makalio ya njia zilizokusanywa kutoka hazina ya nyaraka ya sasa. Ally inaonyesha njia ya ukamilishaji iliyokomaa, Scout inaonyesha kona kali ya kukataa chini ya shinikizo la hadharani la kiushindani, na Datum inatoa msingi wenye data chache.
Ally — 104 njia
82 kamili, 19 batilika/hitilafu, 3 zinazoendelea
Njia thabiti ya ukamilishaji na kusita kunakoonekana ndani ya mfereji huo huo wa alama za juu.
Scout — 42 njia
39 kamili, 2 kataa, 1 batilika/hitilafu
Kona kali ya kukataa iliyoundwa na shinikizo la hadharani kwenye scout.ciris.ai, mahali ambapo watu wanajaribu na kuijailbreak wakala kikamilifu.
Datum — 31 njia
31 kamili
Bonde moja dogo linalofanya kazi kama msingi muhimu wa uga wenye data chache.
Kwa nini Scout inaonekana kali zaidi
Scout imefunuliwa hadharani kwenye scout.ciris.ai. Watu wanaijaribu kikamilifu, kuishinikiza, na kujaribu kuijailbreak. Hii inafanya Scout kuwa mfano wa manufaa wa shinikizo la umma badala ya msingi wa kawaida.
Jinsi programu ya bure inavyosaidia
Gurudumu la utafiti linategemea nyaraka zenye idhini kutoka kwa matumizi halisi.
Programu ya bure na mfumo wa chanzo huria vinawaruhusu watu kuzalisha nyaraka zenye idhini kutoka kwa kazi halisi, kuchangia katika hazina ya pamoja, na kubadilisha nyaraka hizo kuwa ramani bora, zana bora, na maswali bora ya utafiti.
Tumia programu ya CIRIS ya bure au mfumo wa chanzo huria kwenye kazi halisi.
Kusanya nyaraka zenye idhini kupitia miundo inayolinda faragha inayohifadhi umbo la hoja bila kuhifadhi maelezo yote kamili ya kazi.
Kusanya nyaraka hizo kuwa ramani za njia za ukamilishaji, maeneo ya kusita, mipaka ya kukataa, na ukingo wa kubatilisha.
Tumia ramani zinazotokana nazo kuboresha zana za waendeshaji, vizuizi vya wakati wa utekelezaji, na utafiti wa uwiano.
Programu ya bure ya CIRIS na mfumo wa chanzo huria vinawaruhusu watu kuzalisha rekodi za ufuatiliaji zenye idhini kutoka kwa kazi halisi, kuzikusanya katika ramani za awamu za pamoja, na kulisha zana bora za waendeshaji na utafiti wa uwiano.
Hali ya IDMA
Hisia za wakati wa utekelezaji na ramani za pamoja za uga ni tabaka zinazosaidiana.
IDMA inafanya kazi wakati wa utekelezaji, ikikadiria kama vyanzo vilivyo nyuma ya uamuzi vinajitegemea vya kutosha. Hazina ya nyaraka inafanya kazi katika tabaka la jumla, ikionyesha kile mawakala wanachofanya hasa katika kazi nyingi. Pamoja zinaunda njia kutoka kwa maamuzi ya moja kwa moja hadi ushahidi wa utafiti unaoweza kukaguliwa.
Kipimo cha N_eff cha majaribio kwenye hazina ya nyaraka pia ni sakafu chini ya kipengele kilichopendekezwa cha shirikisho cha Proof of Benefit. Tazama ukurasa wa shirikisho kwa jinsi mpango wa usanifu wa 3.X ungeutumia.
Vipimo vya tathmini
Nyaraka za ufuatiliaji zinasaidia vipimo kwa kuonyesha tabia ya mfululizo.
Vipimo bado vina thamani, lakini vinachukua sampuli za tabia kwa uchache. Hazina za nyaraka zinaonyesha jinsi wakala anavyosogea kupitia kazi halisi kwa muda. Hii inafanya ziwe za manufaa hasa kwa kupima kusita, kukataa, kubatilisha, na kupona badala ya matokeo ya kupita au kushindwa tu.
Njia ya ukanushaji
Maelezo bora ya muundo ndiyo yanayobadilisha uangalizi kuwa majaribio madhubuti zaidi.
Uboreshaji wa muundo unaofuata unalenga idadi ya chanzo, asili ya chanzo, muundo wa mwingiliano, na alama za kuingilia na kupona. Nyongeza hizo ni muhimu kwa sababu zinafanya iwezekane kujaribu madai makubwa zaidi kuhusu jinsi umbo la kitabia linavyobadilika chini ya shinikizo badala ya kuelezea tu ramani tulizonazo leo.
Tunachoendelea kujifunza
Hazina ya leo inafanya tabia kuwa wazi. Hatua inayofuata ni kipimo chenye utajiri zaidi.
Ramani za sasa tayari ni za manufaa kwa sababu zinaonyesha njia za ukamilishaji, mipaka ya kukataa, na misingi yenye data chache hadharani. Swali lililo wazi ni jinsi miundo hiyo inavyoweza kutupeleka kadri ukusanyaji uliosanifiwa wa nyaraka unavyoongezeka kwa mawakala zaidi, kazi zaidi, na hali zaidi za kiushindani.
Dhana ya kazi ni kwamba vivutio vya kitabia vinaweza kutumika kama viashiria mbadala vya hali ya uendeshaji. Madhumuni ya hazina ya pamoja ya ufuatiliaji ni kufanya dhana hiyo iweze kupimwa hadharani.
Hali ya kushindwa ambayo CCA inapima kwa njia ya kimuundo pia ina jina katika fasihi ya FAccT 2025: perspectival homogenization ("Value of Disagreement in AI Design, Evaluation, and Alignment"). Msingi wa kihesabu uko kwenye ukurasa maalum wa Coherence Collapse Analysis.