IUTスキャンダルの原因は　

I didn’t really see a key idea that would get us closer to the proof of the abcconjecture.” by p.scholze

IUT一派にはabc予想の証明へ近づくkeyとなるアイデアがない。

だからscholze.stixレポートへの回答が望月IUT語のトンデモ(デンパ)になった。(>>622)

加藤文元所長のLANAプロジェクトは
入力.望月新一語のIUT→自然言語→leanによる形式化→出力で、入力がトンデモ(デンパ)だから出力もトンデモ(デンパ)のガラクタだ。

京大数理研界隈では、
ガラクタabc定理を信奉する IUTへ信心が推奨されてるようだ