Let $X$ be a scheme of finite type over $\mathbb{Z}$. Let $R$ be the ring of algebraic integers. My intuition is that $X(R)$ is practically always infinite.
More specifically, suppose that $X$ is faithfully flat over $\mathbb{Z}$, of relative dimension $\geq 1$, and the generic fiber is geometrically irreducible. Is that enough to guarantee infinitely many algebraic integer points?
This question is inspired by this one; I have no application in mind.