Define a $k$-AP (arithmetic progression) as $k$ vertices whose $x$- and $y$-coordinates both from an arithmetic progression, for example, (1,0), (2,2), (3,4) is a 3-AP.
Is it true that for every $k$ every long enough path in the grid graph (which is a 4-regular infinite graph) contains a $k$-AP?
The statement holds for $k=4$: https://arxiv.org/abs/2004.12801
and it feels that it should have an easy proof for all $k$, but I don't see it.