The Fmr1-knockout (Fmr1-KO) mouse model has been widely utilised in research as a well-established and validated animal model for studying FXS. The gene discussed is FMR1; the disease is fragile X syndrome.