This is just a linked answer , The rigorous proof of that question is already montioned [here] and it is a new attempt by Terry Tao [here]:https://terrytao.wordpress.com/2019/06/08/ruling-out-polynomial-bijections-over-the-rationals-via-bombieri-lang/#respond