ABC予想には弱いABC予想と強いABC予想の2パターンあり
モッチーのIUTが証明したのは弱いABC予想

即フェルマーの定理などのいくつもの重要な予想を証明できるのは強いABC予想だが、
弱いABC予想の証明でも十分な数学的成果でありIUTを使うとリーマン予想も証明できるかも

ってことで合ってる?