يُظهر برهان رسمي أنه من الممكن بناء نظام ذكاء اصطناعي متقدم يكون مُحاذاً وقابلاً للتحكم بشكل موثوق عند مستويات أداء تفوق البشر. ويؤسس المؤلفون لذلك من خلال البناء الصريح لسياسة وبيئة وآلية تحكم تلبي جميع الشروط الرياضية المطلوبة للمحاذاة، وفعالية التحكم، والموثوقية، مع ثبات المعلمات مسبقاً.
- يحقق النظام أداءً يفوق البشر على معيار محدد، متجاوزاً المئين التاسع والتسعين لأداء الخبراء البشريين في ما لا يقل عن 99% من المهام، بينما ينخفض دون الوسيط في لا يزيد عن 1%.
- تُتحقق المحاذاة من خلال دقة الهدف الأمثل، وأفضلية الفعل، واستقرار التفضيل، مع تطابق الهدف الداخلي تماماً مع فائدة الرئيس.
- تشمل فعالية التحكم المتانة ضد الانحراف، والاضطراب المعادي، وسوء تحديد النموذج، مع ضمان الحد الأدنى من التدخل من خلال مجموعة تدخل فارغة.
- تُثبت الموثوقية لأفق زمني T=1، بأن احتمال الفشل في المحاذاة يساوي صفر ضمن فئة البيئة المحددة.
ينفي البناء الفرضية القائلة بأن أنظمة الذكاء الاصطناعي المتقدمة لا يمكن محاذاتها بشكل موثوق، مع توضيح أن هذا البرهان الوجودي لا يتعارض مع نتائج استحالة التحقق أو اعتماد الأنظمة التعسفية.