الذكاء الاصطناعي القابل للحوكمة: أمان قابل للإثبات تحت نماذج التهديد القصوى | Synapse