Joshiの証明では、
＞多項式を、局所化して近似から大域化するときに、素点と無限素点の課題は積の公式の法則を満たす、
のＩＵＴの工夫がなかった。

Scholzeは、望月の見解「素点と無限素点の課題は積の公式の法則を満たすべき」を認めているし、
https://mathoverflow.net/questions/467696/global-character-of-abc-szpiro-inequalities
＞Mochizuki makes the true and very simple observation that this can never be proved by proving it "one prime at a time", i.e. proving that for every prime p,

またJoshiの証明で、多項式の局所化と大域化にミステイクがあることを述べている。
https://mathoverflow.net/questions/468079/is-there-a-mistake-in-mochizukis-proof-of-theorem-1-10-in-iutt-iv
−局所化(Proposition 6.10.7)でミスしている可能性
−局所からの大域化(Theorem 9.11.1)に矛盾がある

一方でScholzeは「Joshiの証明の矛盾を指摘するならば、望月の証明にミステイクがあるのでは」のブログ質問に、「（実際のエラー）の議論は、Joshi の証明で、望月の証明でありません。 IUT IV 内に実際のエラーがあるとは思えない」と答えている。
＞In any case, this whole discussion is only about Joshi's proof, not Mochizuki's; I do not think that there is a real error internally in IUT IV.

Joshの証明で次のエラーがあるが、望月の証明にはエラーがないならば、
＞多項式を、局所化して近似から大域化するときに、素点と無限素点の課題は積の公式の法則を満たす、
工夫がある。