根本的なことなんだけどさ

望月氏の高弟も同じコンセンサス持ってると思うけど
仮にIUTTが矛盾なく正しくて、(IUTT内部の論理で)ABC予想も証明できてるとしても
それが一体何なの?