20/04/12 10:49:38.25 hAg37Ryy.net
いま、woitブログ（下記）
IUT論争の最前線ですね（＾＾；
（参考：前スレより）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
Taylor Dupuy says:
April 10, 2020 at 4:58 pm
(抜粋)
Also, I think you made an earlier comment about verifying the inequalities.
I personally think people should be looking at the Mochizuki’s inequalities after 3.12 but before Theorem 1.10 type inequalities.
In my manuscript with Anton we point to a couple places where improvements can be made; there seems to be a lot of room between the two inequalities.
To do direct computations with Cor 3.12 it seems you need to work directly with Division Fields as in the work of Harris Daniels, Alvaro Lozano-Robledo, and Drew Sutherland. Stuff like this:
URLﾘﾝｸ(alozano.clas.uconn.edu)
(Maybe you can email me and we can talk about this more if you are interested.)
(引用終り)
１．Cor 3.12は、問題ないというニュアンスだね
２．”In my manuscript with Anton we point to a couple places where improvements can be made; there seems to be a lot of room between the two inequalities. ”
ということで、”my manuscript with Anton”で、なんか出すみたい（なんかしらんけど ：ｐ）