  Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$
admits a structure of an elliptic fibration or an infinite group of
automorphisms. Then there exists a finite extension $K'/K$ such that the set of
$K'$-rational points is Zariski dense in $X$.
