>>831
Peter woit はnot even wrongで、Roberts のところで、S-Sは単純化については間違えていると思うとコメントしてた気がするのだが。

Peter Woit says:
September 21, 2018 at 9:22 am
zbornikp,
I don’t think Scholze and Stix wrote that for publication. See the comments from David Roberts about the “simplification” issue.
Yes, Scholze and Stix might be wrong about this, but if so Mochizuki should be able to point to a specific error and convincingly show it is an error. He doesn’t appear to be able to do so.

ならばS-Sが単純化しないでも同じ帰結だと証明しなければと思うのだけど。