مع انتقال الذكاء الاصطناعي من السحابة إلى العالم المادي (المركبات، الروبوتات، البنية التحتية، أنظمة الدفاع) ترتفع تكلفة الأخطاء بشكل كبير. في هذه البيئات، "لقد اختبرناه" ليس كافيا. يجب أن تكون الأنظمة قادرة على إثبات ما فعلته، وكيف فعلته، وتحت أي قواعد. لهذا السبب نحن رواد في الذكاء الاصطناعي القابل للتحقق على نطاق واسع.