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
.