mTORC1 hyperactivity underlies ASD in human diseases that are caused by mutations of genes that are upstream of mTORC1, such as tuberous sclerosis complex (13, 14) and PTEN tumor hamartoma syndrome (15). Here, PTEN is linked to tuberous sclerosis.