コンピューターで検証することについてショルツはこう言ってる
実際自明だって言い張ってるんだから機械的な検証に落とし込む以前の問題なんだろう
>One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work).
>The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear,
>but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.

https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/

SSが極端な単純化をして否定するような説明をしたのは、論理が明示されてないからそうでもしないと話が進まないのもあるけど
書かれていない理論的背景があるなら否定を覆す説明中に出てくることを期待していたという面もあると思う

結果今の状況ってことは何も出てこなかったってことなんじゃない？