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