abc conjecture (open)

For coprime a+b=c with ε>0: c ≤ K_ε · rad(abc)^{1+ε} except finitely many triples. Mochizuki's IUT proof disputed.