FMR1 and fragile X syndrome: Fragile X Mental Retardation Protein (FMRP) KO mice, which is a FXS model, has been shown to possess a dysregulation of GSK3β activity.