Perfect powers on genus 0 curves (with restrictions) I suppose a conjecture implies this so there might be an unconditional proof.
Let $F(x,y)=0$ be a curve with infinitely many integral points $(u^m,v^n)$ where
$\gcd(u,v)=1$ infinitely often and $m \ge 3,n \ge 2$.
Such curves are easy to construct by starting with a parametrization for example.
For a bivariate polynomial $F$ define $\operatorname{High}(F)$ to be the sum of
the highest degree monomials (i.e., $\operatorname{High}(F) = F$ iff $F$ is homogeneous and $\operatorname{High}(2x^3+3y^3+x+y)=2x^3+3y^3$).
Let $\gcd(\operatorname{High}(F),xy)=1$.

Under these conditions is $\operatorname{High}(F)$ not square-free?
Counterexamples?

This can't be relaxed to $m \ge 2 $
 A: (Added some remarks from my comments)
Suppose that $F=F_1F_2\cdots F_r$ with $F_i$ irreducible. If $F=0$ has infinitely many points of the requested form, then so does one of the factors. Furthermore, $\text{High}(F)=\text{High}(F_1)
\text{High}(F_2)\cdots\text{High}(F_r)$. So in order to look at the question, we may assume that $F$ is irreducible. But the $F$ is even absolutely irreducible, which we assume from now on.
As $F(x,y)=0$ has infinitely many integral solutions, then by Siegel's Theorem the projective closure of this curve has at most $2$ points at infinity. These point are just those with coordinates $(x:y:0)$ with $H(x,y)=0$, where $H=\text{High}(F)$. So the polynomial $H$ has total degree at most $2$ if it is to be separable and not divisible by $x$ nor $y$.
So a counterexample (that is where $H(x,y)$ is not squarefree) would have degree at most $2$.
I believe that degree $2$ can be ruled out. However, degree $1$ seems to amount to solve Pillai's conjecture: Given nonzero integers $A,B,C$, then $Au^m+Bv^n=C$ has only finitely many integral solutions $u,v,m,n$ with $m,n\ge3$. You have the additional assumption that $u$ and $v$ are relatively prime. I'm sure that this doesn't make the conjecture easier.
