Arithmeticity of locally symmetric spaces is an old and important area of study in which Vinberg proved some central results. I will discuss the history of the area, some open questions and then focus on recent joint work with Bader, Miller and Stover. We prove that non-arithmetic real and complex hyperbolic manifolds cannot have infinitely many maximal totally geodesic submanifolds.