Ruling out polynomial bijections over the rationals via Bombieri-Lang?

I recently came across this question on MathOverflow asking if there are any polynomials of two variables with rational coefficients, such that the map is a bijection. The answer to this question is almost surely “no”, but it is remarkable how hard this problem resists any attempt at rigorous proof. (MathOverflow users with enough privileges […]