يعمل الذكاء الاصطناعي القابل للتحقق على تسريع الذكاء الاصطناعي