>>619
>論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた

補足
似たような意見が、下記woit氏のnaf氏発言
”it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved. (One might say that this shows my lack of understanding”
で、いまIUT IIIを見ると、組み（Theorem 3.11, Corollary 3.12）で、証明が分からんってことだと推察します
・つまり、定理3.11は証明ば実質１行”Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.”
　（一方定理3.11の中身は、延々P153〜159まで7頁もある）
・Cor3.12は、命題はP173〜174の1頁くらいで、証明はP174〜186まで13頁ほど
・Cor3.12は、定理3.11が分からないと理解できないですよ。組み（Theorem 3.11, Corollary 3.12）で、ワケワカと推察します
・で、やっぱホッジ劇場から理解しないと、結局だめなのでしょうね（私には全部お経ですがｗ）

（参考）
https://www.math.columbia.edu/~woit/wordpress/?p=11723
Why the Szpiro Conjecture is Still a Conjecture
Posted on April 18, 2020 by woit
naf says:
April 18, 2020 at 2:44 pm
I myself devoted most of three months way back in 2013 to going through the papers and it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved. (One might say that this shows my lack of understanding, but the point is that Mochizuki himself says that this is the key part of his proof and if you see how the proof is written it is clear that there is something seriously wrong here.)

つづく