Let G be the graph with vertex set those pairs (x,y)∈N2 with gcd(x,y)=1, in which we join two vertices if the differ in only one coordinate, and there by ±1.
Is there a path going to infinity on G, say P, such that for all (x,y)∈P both min(x,y)>1 and at least one of x or y is composite?