Integer points on a curve and the plane Jacobian problem

A polynomial map $F=(P,Q)\in \mathbb{Z}[x,y{]}^2$ with Jacobian $JF:=P_x{Q}_y-P_y{Q}_x\equiv 1$ has a polynomial inverse of integer coefficients if the complex plane curve P=0 has infinitely many integer points.