صفحة الرياضيات
مُتحقَّق منه ببرنامج البرهان
الفكرة
خمسة فحوص تنسخ بعضها هي في الواقع فحص واحد.
لنقُل إن خمسة أشخاص فحصوا إجابةً وجميعهم متفقون. يبدو ذلك آمناً. لكن إن كان الجميع قد تعلّموها من المصدر ذاته، فاتفاقهم ليس خمسة آراء. بل هو رأي واحد مكرّر خمس مرات. عدد الفحوص يبدو خمسةً. العدد الحقيقي هو واحد.
هذا مهم للذكاء الاصطناعي. يمكن لنظام ذكاء اصطناعي أن يُجري فحوصاً عديدة على استدلاله الخاص وما زال يُخدع، إن كانت تلك الفحوص تشترك في النقطة العمياء ذاتها. Coherence Collapse Analysis هي طريقة CIRIS للتمييز بين الفحوص الحقيقية والصدى.
الصيغة الوحيدة
حساب الفحوص التي تملكها فعلاً.
ثمة صيغة قصيرة واحدة في قلب هذا كله. مصدرها إحصاءات المسح الميداني حيث تُعرف بتأثير تصميم Kish، والشكل نفسه يظهر في نظرية التصويت وفي هندسة السلامة. تطبّقها CIRIS على محاذاة الذكاء الاصطناعي.
real checks = checks / (1 + copying × (checks − 1))
«Checks» هو عدد الفحوص التي أجريتها. «Copying» هو مقدار التداخل بينها، من 0 (كلها مستقلة) إلى 1 (كلها متطابقة). النتيجة هي عدد الفحوص التي تملكها فعلاً.
بلا نسخ: عشرة فحوص تُحتسب عشرةً. كل فحص يكسب موضعه.
نسخ كامل: عشرة فحوص تُحتسب واحداً. لا يهم كم تضيف.
على حركة مرور حقيقية
هذا مقاس لا مُجادَل فقط.
قاست CIRIS عدد الفحوص الحقيقية على حركة مرور وكلائها الحية، عبر آلاف القرارات المسجّلة. على حركة المرور الصحية، تراوح في نطاق سبعة إلى تسعة فحوص مستقلة فعلياً. ذلك القياس وكيفية إجرائه هو دراسة Constrained Reasoning Chains. يمكنك مشاهدة الأرقام الحية على صفحة البحث.
السقف الأمين
ما لا تستطيع هذه الرياضيات فعله.
تُثبت الورقة حداً صارماً على نفسها. بعض أنواع الضرر لا تصدر عن جزء واحد غير أمين. بل تصدر عن أجزاء أمينة تتجمع لتُنتج نتيجةً سيئة، والورقة تُثبت أن جزءاً من هذا الضرر يبقى غير مرئي لأي فاحص لا ينظر إلا إلى الأجزاء، مهما كان جيداً. تقول CIRIS هذا بصراحة بدلاً من التظاهر بأن الرياضيات تصطاد كل شيء.
ما يعِد به النظام حقاً هو السجل. كل قرار يترك إيصالاً موقّعاً لا يمكن إعادة كتابته في الخفاء، فتضطر الكذبة إلى أن تبقى متسقة مع آلاف الإيصالات التي لا تستطيع محوها أبداً. قراءة تلك الإيصالات قراءةً جيدة عمل ما يزال مفتوحاً، ونقول ذلك بوضوح. وتظل الدفاتر صادقة في كل الأحوال.
كيف تتقاطع القطع
الرياضيات جزء من كلٍّ أكبر.
هذه الصفحة هي القياس. Coherence Ratchet هو كيف يُوظَّف هذا القياس. الاتحاد هو كيف يصبح شيئاً تُشاركه أنظمة كثيرة. والبراهين الكاملة، المكتوبة بحيث يستطيع الحاسوب التحقق منها سطراً بسطر، موجودة في الورقة ومستودع RATCHET.