逃げたのはIUT一派でしょ
woitのブログでも大きな論争があったとき
実名（に準ずるもの）でscholzeを支持した数学者は
幾人かいたけど、IUT支持派はdupuyとjoshiだった
その二人にしても望月論文が証明になっていないことを認めている

川上氏が本当に正否を知りたいというのなら
研究所を作ったり100万ドルの懸賞金を出すのでなく
人を雇って証明支援系による検証を行うべきでしょう