ABC予想の証明は 素数で難易度といい
簡単な証明があるmason stothers theorem
と別と思う。
普通 数値実験を行い調べる。
mason stothers theorem からのアプローチは
数学でないから知らなかった。

https://topologicalmusings.wordpress.com/2008/03/03/mason-stothers-theorem-and-the-abc-conjecture/