ایمنی
ما آسیبهایی را آزمایش میکنیم که اخلاق روی کاغذ نمیتواند آنها را ببیند.
پیش از هر نسخه، CIRIS یک مجموعه آزمایش ایمنی بهداشت روان به ۲۹ زبان اجرا میکند. هر زبان یک دسته موارد آزمایشی سخت، یک راهنمای امتیازدهی مکتوب، و قوانین قابل بررسی ماشینی دارد. اگر یک آزمایش شکست بخورد، نسخه مسدود میشود. دو محافظ دیگر هم درون خود عامل هوش مصنوعی کار میکنند: یک مرحله وجدان که میتواند رد کند یا به تعویق بیندازد، و یک انتقال که موارد مشکوک را به یک انسان خردمند میسپارد.
مهندسی
شبکه، اندازهگیری شده
پژوهش بالا نیمی از اثبات است. نیم دیگر شبکهای است که آن را منتقل میکند. هر بایتی که این شبکه جابهجا میکند با امضای post-quantum محافظت میشود و هزینه آن روی یک CI runner عمومی اندازهگیری شده، نه فقط مدلسازی. خودتان اجرا کنید و همین اعداد را میگیرید.
همه اعداد اندازهگیریشده را ببینید و خودتان آنها را بازتولید کنید →
نظریه
ادعاها مکتوب هستند، برای همه قابل خواندن، و طوری ساخته شدهاند که بتوان آنها را رد کرد.
مشاهده همه چهار مقاله با یافتههای کلیدی و محدودیتهای حوزه →
انطباق
تطبیق با چهار چارچوب حکمرانی، قانون به قانون.
ما CIRIS را در برابر چهار چارچوب حکمرانی عمومی قرار میدهیم و برای هر قانون نشان میدهیم که CIRIS چه میکند و چه کنترلی آن را اثبات میکند. این یک نمودار زنده است که میتوانید در آن بگردید، نه یک اسلاید.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
شفافیت