つか
He explained that IUT has no other current applications and that the proof of ABC is not effective, as expected.
He mentioned that the "Frobenioids" are not needed in full generality, as some people had already guessed and only some special cases that can be dealt with directly are needed.
これを訳して欲しい。正確に。
そうでないといらぬ疑念や憶測ばかりになりそう。