今更だが英語もろくに読めないバカがいたんで言っとくが、"the proof of ABC is not effective, as expected"は
「ABC予想の証明法は、期待されたほど他の問題には効果的ではなかった」て意味だからな。
IUTがABC予想の証明に有効ではなかったとはき違えるなよ。