ともかくざっくりすぎでナンセンスに見えたら申し訳ないけど、数体のabcはそもそも足し算と
掛け算は分離しないと不等式が出ないタイプの問題なんで、IUTでも絶対ガロア群やlogを組み合わせて使ったりしてそれを攻略しようとしたわけね
それでレイヤーを巧妙に分けて掛け算の強い不変量が出たかというとやはり難しいのではないか、ということみたいです