scholtze zb math

IUT論文の目的
「In this series of papers on Inter-
Universal Teichmüller Theory 、、
the author aims to prove the ABC
conjecture of Masser and Oesterlé,
in close to effective form.」

問題点　例えば
「at some point in the proof of Corollary
3.12, things are so obfuscated that it is
completely unclear whether some object
refers to the q-values or the Θ-values,
as it is somehow claimed to be
definitionally equal to both of them,
up to some blurring of course, and
hence you get the desired result.」

abc予想は証明されていない
「the argument given for Corollary 3.12
is not a proof, and the theory built in
these papers is clearly insufficient to
prove the ABC conjecture.」
「Finally, part IV contains certain
technical computations standard
in number theory to translate Corollary
3.12 of part III into the ABC conjecture」

結局
cor.3.12はself- evidentでは
なく証明されていない。
まずIUT論文を取り下げて論文の書き直しとPRIMSがIUT論文を受理するまで
(査読中)についてRIMSの公開検証
が必要だ