ریاضی کا صفحہ
ثبوت سافٹ ویئر سے تصدیق شدہ
خیال
پانچ جانچیں جو سب ایک دوسرے کی نقل کریں دراصل ایک جانچ ہیں۔
کہیں پانچ لوگ ایک جواب جانچتے ہیں اور سب پانچ متفق ہوتے ہیں۔ یہ محفوظ لگتا ہے۔ لیکن اگر سب پانچ نے ایک ہی جگہ سے سیکھا، ان کا اتفاق پانچ رائے نہیں ہے۔ یہ ایک رائے پانچ بار دہرائی گئی ہے۔ جانچوں کی تعداد پانچ لگتی ہے۔ حقیقی تعداد ایک ہے۔
یہ AI کے لیے اہم ہے۔ ایک AI نظام اپنے استدلال پر بہت سی جانچیں چلا سکتا ہے اور پھر بھی دھوکا کھا سکتا ہے، اگر وہ جانچیں ایک ہی اندھا نقطہ رکھتی ہوں۔ Coherence Collapse Analysis یہی ہے کہ CIRIS حقیقی جانچوں اور گونجوں میں فرق کیسے بتاتا ہے۔
واحد فارمولا
آپ کے پاس واقعی کتنی جانچیں ہیں یہ گننا۔
اس کے مرکز میں ایک ہی مختصر فارمولا ہے۔ یہ سروے کے اعداد و شمار سے آتا ہے، جہاں اسے Kish design effect کہا جاتا ہے، اور یہی شکل ووٹنگ کے نظریے اور حفاظتی انجینئرنگ میں بھی نظر آتی ہے۔ CIRIS اسے AI الائنمنٹ پر لاگو کرتا ہے۔
real checks = checks / (1 + copying × (checks − 1))
"Checks" سے مراد آپ نے کتنی جانچیں چلائیں۔ "Copying" سے مراد وہ کتنی اوورلیپ ہوتی ہیں، 0 (سب آزاد) سے 1 (سب یکساں) تک۔ نتیجہ یہ ہے کہ آپ کے پاس واقعی کتنی جانچیں ہیں۔
کوئی نقل نہیں: دس جانچیں دس گنی جاتی ہیں۔ ہر جانچ اپنی جگہ کماتی ہے۔
مکمل نقل: دس جانچیں ایک گنی جاتی ہیں۔ اس سے کوئی فرق نہیں پڑتا کتنی اضافہ کریں۔
حقیقی ٹریفک پر
یہ ناپا گیا، صرف دلیل دی گئی نہیں۔
CIRIS نے اپنے لائیو ایجنٹ ٹریفک پر، ہزاروں ریکارڈ شدہ فیصلوں میں، حقیقی جانچوں کی تعداد ناپی۔ صحت مند ٹریفک پر یہ تقریباً سات سے نو واقعی آزاد جانچوں کی حد میں رہا ہے۔ وہ پیمائش، اور اسے کیسے کیا گیا، Constrained Reasoning Chains مطالعہ ہے۔ آپ لائیو نمبر تحقیق کے صفحے پر دیکھ سکتے ہیں۔
ایمانداری کی حد
یہ ریاضی کیا نہیں کر سکتی۔
مقالہ اپنی ایک سخت حد ثابت کرتا ہے۔ نقصان کی کچھ اقسام ایک بے ایمان حصے سے نہیں آتیں۔ وہ ایماندار حصوں سے آتی ہیں جو مل کر برا نتیجہ دیتے ہیں، اور مقالہ ثابت کرتا ہے کہ اس نقصان کا کچھ حصہ ہر اُس جانچ کار سے اوجھل رہتا ہے جو صرف حصوں کو دیکھتا ہے، خواہ وہ کتنا ہی اچھا ہو۔ CIRIS یہ بات صاف کہتا ہے بجائے یہ دکھاوا کرنے کے کہ ریاضی سب کچھ پکڑ لیتی ہے۔
نظام جس چیز کا واقعی وعدہ کرتا ہے وہ ریکارڈ ہے۔ ہر فیصلہ ایک دستخط شدہ رسید چھوڑتا ہے جسے چپکے سے دوبارہ لکھا نہیں جا سکتا، اس لیے جھوٹ کو ان ہزاروں رسیدوں سے ہم آہنگ رہنا پڑتا ہے جنہیں وہ کبھی مٹا نہیں سکتا۔ ان رسیدوں کو اچھی طرح پڑھنا ابھی کھلا کام ہے، اور ہم یہ بات کہتے ہیں۔ بہرحال، بہی کھاتے سچے رہتے ہیں۔
یہ سب کیسے ملتا ہے
ریاضی ایک بڑے کل کا ایک حصہ ہے۔
یہ صفحہ پیمائش ہے۔ Coherence Ratchet وہ ہے جہاں پیمائش کو کام میں لایا جاتا ہے۔ فیڈریشن وہ ہے جہاں یہ کچھ ایسی چیز بن جاتی ہے جو بہت سے نظام مل کر شیئر کرتے ہیں۔ اور مکمل ثبوت، اس طرح لکھے کہ ایک کمپیوٹر انہیں لائن بہ لائن جانچ سکے، مقالے اور RATCHET ذخیرے میں ہیں۔