>>617
SSレポを読むとABC予想証明へのアイデアはない、さらにIUTはダメダメということを超えて、
IUTを作った望月の数学者としての姿勢すら疑っているように読める。

SS、特にショルツにとっては充満多重同型やラベル、単遠アーベル的復元/構成すら本質的な問題ではなく、
望月がIUTで「抽象と具象のpilot objectを区別していない」というのが本質的な問題なんだと書いている。

つまり、抽象と具象をごちゃ混ぜにできるシステムを作ったこと自体が問題で、その説明も全く納得できるものではないということ。
SSは直接討論したから分かったのだろうが、部外者としても納得できる解説が皆無である以上、放置する他ない。