ریاضی کا صفحہ
ثبوت سافٹ ویئر سے تصدیق شدہ
خیال
پانچ جانچیں جو سب ایک دوسرے کی نقل کریں دراصل ایک جانچ ہیں۔
کہیں پانچ لوگ ایک جواب جانچتے ہیں اور سب پانچ متفق ہوتے ہیں۔ یہ محفوظ لگتا ہے۔ لیکن اگر سب پانچ نے ایک ہی جگہ سے سیکھا، ان کا اتفاق پانچ رائے نہیں ہے۔ یہ ایک رائے پانچ بار دہرائی گئی ہے۔ جانچوں کی تعداد پانچ لگتی ہے۔ حقیقی تعداد ایک ہے۔
یہ 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 ذخیرے میں ہیں۔