صفحه ریاضی
توسط نرمافزار اثبات بررسی شده
ایده اصلی
پنج چک که همه از هم کپی میکنند در واقع یک چک هستند.
فرض کنید پنج نفر یک پاسخ را چک میکنند و همه پنج نفر موافقت میکنند. این ایمن به نظر میرسد. اما اگر همه پنج نفر آن را از یک منبع یاد گرفته باشند، توافقشان پنج نظر نیست. یک نظر است که پنج بار تکرار شده. تعداد چکها پنج به نظر میرسد. تعداد واقعی یک است.
این برای هوش مصنوعی اهمیت دارد. یک سیستم هوش مصنوعی میتواند چکهای زیادی روی استدلال خودش اجرا کند و هنوز فریب بخورد، اگر آن چکها همان نقطه کور را داشته باشند. Coherence Collapse Analysis روشی است که CIRIS با آن بین چکهای واقعی و بازتابها تفاوت قائل میشود.
فرمول اصلی
شمارش چکهایی که واقعاً دارید.
یک فرمول کوتاه در قلب آن وجود دارد. از آمار پیمایش میآید، جایی که اثر طرح Kish نامیده میشود، و همین شکل در نظریه رأیگیری و مهندسی ایمنی هم دیده میشود. CIRIS آن را در همسویی هوش مصنوعی به کار میبرد.
real checks = checks / (1 + copying × (checks − 1))
«Checks» تعداد چکهایی است که اجرا کردید. «Copying» چقدر آنها با هم همپوشانی دارند، از ۰ (همه مستقل) تا ۱ (همه یکسان). نتیجه تعداد چکهایی است که واقعاً دارید.
بدون کپی: ده چک بهعنوان ده شمرده میشوند. هر چک جایگاه خود را کسب میکند.
کپی کامل: ده چک بهعنوان یک شمرده میشوند. مهم نیست چند تا اضافه کنید.
روی ترافیک واقعی
این اندازهگیری شد، نه فقط استدلال.
CIRIS تعداد چک واقعی را روی ترافیک زنده عامل خودش، در هزاران تصمیم ثبتشده، اندازه گرفت. در ترافیک سالم در محدوده حدود هفت تا نه چک واقعاً مستقل اجرا شده است. این اندازهگیری، و نحوه انجامش، مطالعه Constrained Reasoning Chains است. میتوانید اعداد زنده را در صفحه پژوهش دنبال کنید.
سقف صادقانه
این ریاضیات چه کاری نمیتواند بکند.
مقاله یک محدودیت سخت برای خودش اثبات میکند. برخی آسیبها از یک بخش نادرست نمیآیند. از بخشهای درستی میآیند که با هم به نتیجه بدی میرسند، و مقاله اثبات میکند که بخشی از این آسیب برای هر بررسیکنندهای که فقط به اجزا نگاه کند نامرئی است، هر چقدر هم خوب باشد. CIRIS این را صریح میگوید بهجای وانمود کردن که ریاضیات همه چیز را میگیرد.
آنچه سیستم واقعاً وعده میدهد، سابقه است. هر تصمیم یک رسید امضاشده به جا میگذارد که نمیتوان آن را بیسروصدا بازنویسی کرد، پس یک دروغ باید با هزاران رسیدی که هرگز نمیتواند پاکشان کند سازگار بماند. خوب خواندن آن رسیدها هنوز کاری باز است، و ما همین را میگوییم. در هر حال، دفترها درست میمانند.
چطور با هم جور درمیآیند
ریاضیات یک بخش از یک کل بزرگتر است.
این صفحه اندازهگیری است. Coherence Ratchet نحوه بهکارگیری اندازهگیری است. فدراسیون چیزی است که آن را به چیزی تبدیل میکند که سیستمهای متعدد به اشتراک میگذارند. و اثباتهای کامل، نوشتهشده طوری که یک کامپیوتر میتواند آنها را خط به خط بررسی کند، در مقاله و مخزن RATCHET هستند.