حفاظت
ہم اس نقصان کے لیے جانچتے ہیں جسے کاغذی اخلاقیات نہیں پکڑ سکتی۔
ہر ریلیز سے پہلے، CIRIS 29 زبانوں میں ذہنی صحت کی حفاظت کا ایک مکمل ٹیسٹ چلاتا ہے۔ ہر زبان میں مشکل ٹیسٹ کیسز کا ایک سیٹ، ایک لکھا ہوا اسکورنگ گائیڈ، اور مشین سے جانچے جانے والے اصول شامل ہیں۔ اگر کوئی جانچ ناکام ہو، تو ریلیز روک دی جاتی ہے۔ ایجنٹ کے اندر دو اور محافظ کام کرتے ہیں: ضمیر کی ایک جانچ جو انکار یا حوالے کر سکتی ہے، اور ایک باؤنس جو مشکوک فیصلے کسی سمجھدار انسان کو بھیج دیتا ہے۔
انجینیئرنگ
فیبرک، پیمائش کے ساتھ
اوپر دی گئی تحقیق ثبوت کا ایک حصہ ہے۔ دوسرا حصہ وہ نیٹ ورک ہے جو اسے چلاتا ہے۔ فیبرک کا ہر بائٹ post-quantum دستخط شدہ ہے، اور اس کی لاگت ایک عوامی CI runner پر ناپی جاتی ہے، اندازے سے نہیں۔ خود چلائیں اور آپ کو وہی نتائج ملیں گے۔
نظریہ
دعوے لکھے ہوئے ہیں، ہر کوئی پڑھ سکتا ہے، اور غلط ثابت کیے جانے کے لیے بنائے گئے ہیں۔
مشین سے جانچ شدہ
اصولوں کو مشین کے ذریعے جانچا جاتا ہے، اور خامیوں کو نام دیا جاتا ہے۔
دستور کے اہم ترین اصول ریاضیاتی ماڈلوں کے طور پر بھی لکھے گئے ہیں۔ ایک آلہ جسے ماڈل چیکر کہتے ہیں پروٹوکول کی ہر ممکنہ حالت سے گزرتا ہے اور کسی ٹوٹے ہوئے اصول کو تلاش کرتا ہے۔ ایک آلہ جسے تھیورم پروور کہتے ہیں حسابی امور کو جانچتا ہے، جیسے روک کی تصدیق کے لیے کتنے حاملین درکار ہیں۔ یہ ماڈل دستور کے اپنے ذخیرے میں ہیں، اور ہر تبدیلی پر دوبارہ چلائے جاتے ہیں۔ rc9 ایڈیشن ڈیزائن کی ہر ممکنہ حالت کا نقشہ بناتا ہے، ان میں سے اکثر کو ماڈل کرتا ہے، اور باقی کی فہرست دیتا ہے۔
بنیاد، چار جملوں میں
مضبوط اور کمزور مقام کے درمیان ہر اصول اس شخص کے لیے بھی قابلِ قبول رہنا چاہیے جو مقامات کے تبادلے پر کمزور مقام پر کھڑا ہو، اور بنائی ہوئی کوئی چیز کبھی اس مقام پر فائز نہیں ہوتی جو اس کی جواب دہی کرے۔
ذمہ داری خود سے باہر خاندان، برادری، نوع اور ماحولیاتی نظام تک پھیلتی ہے؛ بنائی ہوئی چیز کے لیے فرض کبھی صفر نہیں ہوتا اور پہلے سے موجود چیز کے بارے میں فرض پر کبھی غالب نہیں آتا۔
وقت کے ساتھ پختہ قضاوت کا مظاہرہ نہ کرنے والا ہر استدلال کرنے والا عامل ان کے تابع رہتا ہے جنہوں نے کیا ہو، چاہے وہ کسی بھی چیز سے بنا ہو۔
اختیار کی ہر تفویض منسوخ کی جا سکتی ہے، اور شامل ہونے والا ہر شخص جا سکتا ہے، ایک مکمل، خفیہ نگاری سے دستخط شدہ ریکارڈ پر جس کے مفہوم کا جواب دہ ایک نامزد انسان ہوتا ہے۔
ہر جملہ یا تو rc9 رسمی ماڈلوں میں ثابت شدہ ہے یا وہاں ایک مفروضے کے طور پر نامزد ہے۔ ریکارڈ کا مکمل ہونا ابھی کھلا ہے۔
بند کرنے والا سوئچ، شروع سے آخر تک
روک ماڈل میں جانچی گئی ہے اور اصل سافٹ ویئر پر ناپی گئی ہے۔ ہر روٹ کے نامزد حاملین ہیں۔ ان میں سے کوئی بھی ان ایجنٹوں کو روک سکتا ہے جنہوں نے اس روٹ کو قبول کیا ہے۔ اکیلی روک 24 گھنٹے بعد ختم ہو جاتی ہے جب تک حاملین کی اکثریت اس کی توثیق نہ کرے۔ اکثریت روک ختم بھی کر سکتی ہے۔ بھیجے گئے سافٹ ویئر پر ریکارڈ شدہ رن میں، کام کرتے ہوئے ایک ایجنٹ تک روک پہنچی، اور ایجنٹ کا اگلا عمل مسترد کر دیا گیا۔ بعد میں اکثریتی ووٹ سے روک ختم ہوئی اور ایجنٹ نے دوبارہ کام کیا۔ یہ رن CSD-129 کے طور پر ریکارڈ ہے۔
ٹوٹے ہوئے اصول کا نہ ملنا کافی نہیں
rc9 ایک اونچا معیار مقرر کرتا ہے۔ ڈیزائن جس ہر حالت تک پہنچ سکتا ہے اس کے لیے ایک اصول اور ایک جانچ درکار ہے۔ خدمات واقعی فراہم ہونی چاہئیں، صرف کبھی نہ ٹوٹنا کافی نہیں۔ جو چھوٹے سائز پر ثابت ہو وہ پورے سائز پر قائم رہنا چاہیے، ورنہ فرق لکھ دیا جاتا ہے۔ اور سافٹ ویئر کو اصلی نوڈز پر ماڈل کی پیروی کرنی چاہیے۔
ہر ایڈیکویسی دعوے پر پانچ میں سے ایک لفظ لگا ہوتا ہے
rc9 میں، ہر دعویٰ بتاتا ہے کہ یہ کیسے معلوم ہوا۔ ثابت شدہ کا مطلب ہے مشین نے اسے جانچا۔ ماپا ہوا کا مطلب ہے بھیجے گئے سافٹ ویئر پر ٹیسٹ نے اسے چلایا۔ بیان کردہ کا مطلب ہے متن اسے فرض کرتا ہے، اور یہی کہتا ہے۔ محدود کا مطلب ہے یہ چھوٹے سائز پر ثابت ہے، اور سائز لکھ دیا گیا ہے۔ کھلا کا مطلب ہے معلوم خلا، ٹکٹ کے ساتھ۔
وہی وعدے انسانوں اور ایجنٹس کو پابند کرتے ہیں
ہر وعدہ ایک بار لکھا گیا ہے، انسانوں اور AI ایجنٹوں کے لیے یکساں۔ روک واحد استثنا ہے۔ یہ ایسے مقام سے تعلق رکھتی ہے جس پر کوئی ایجنٹ فائز نہیں ہو سکتا، اور rc9 ماڈل جانچتے ہیں کہ دیگر وعدے دونوں کے لیے یکساں قائم ہیں۔
جو ثابت نہیں ہوا
سب کچھ ثابت نہیں ہے، اور خامیاں لکھ دی گئی ہیں۔ گورننس کے کچھ مراحل، جیسے اعتراضات اور قرنطینہ، کے اصول ہیں مگر ابھی کوئی ماڈل نہیں۔ اکثر ماڈل چھوٹے سائز پر جانچے گئے ہیں، اور سائز لکھ دیا گیا ہے۔ اب تک صرف روک کو اصل نوڈز پر شروع سے آخر تک ناپا گیا ہے۔ قطار کے فارمیٹ کے شائع شدہ ٹیسٹ ویکٹرز ہیں، مگر ابھی کوئی دوسرا، آزاد عمل درآمد نہیں۔
ان میں سے کوئی بھی AI ماڈل کے اندر نہیں دیکھتا۔ یہ اصولوں کو جانچتا ہے، اور اس نیٹ ورک کو جو انہیں پہنچاتا ہے۔
دوسرے طریقوں سے موازنہ کیسے ہے →
اہم نتائج اور دائرہ کار کی حدود کے ساتھ چاروں مقالے دیکھیں →
تعمیل
چار گورننس ڈھانچوں کے ساتھ، قاعدہ بہ قاعدہ، نقشہ بند کیا گیا۔
ہم CIRIS کو چار عوامی گورننس ڈھانچوں کے ساتھ رکھتے ہیں اور ہر قاعدے کے لیے دکھاتے ہیں کہ CIRIS کیا کرتا ہے اور وہ جانچ جو اسے ثابت کرتی ہے۔ یہ ایک لائیو نقشہ ہے جسے آپ براؤز کر سکتے ہیں، کوئی سلائیڈ نہیں۔
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
شفافیت