IUTは期待した程ABC予想の証明には有効でなかったと望月氏本人が言ってるじゃないか。
これは解散っぽいな。