>>103
>＞Cor3.12は結局何を主張してるのかな
>その質問は、
>ブライアンコンラッドが、
>IUTシンポジュームでスライドを見せられたときに
>同様の質問をしたとか読んだ気がするが

追加
下記でもご参照
（正直、私はDupuy氏が書いていることを理解した訳ではないが）

https://arxiv.org/abs/2004.13228
The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies
Taylor Dupuy, Anton Hilado [v1] Tue, 28 Apr 2020

The present paper concerns the setup of Corollary 3.12 and the first two indeterminacies, the second \cite{Dupuy2020c} concerns log-Kummer correspondences and ind3, and the third \cite{Dupuy2020b} concerns applications to Diophantine inequalities (in the style of IUT4). These manuscripts are designed to provide enough definitions and background to give readers the ability to apply Mochizuki's statements in their own investigations. Along the way, we have faithfully simplified a number of definitions, given new auxillary definitions, and phrased the material in a way to maximize the differences between Theorem 1.10 of IUT4 and Corollary 3.12 of IUT3. It is our hope that doing so will enable creative readers to derive interesting and perhaps unforeseen consequences Mochizuki's inequality.

(PDF)
https://arxiv.org/pdf/2004.13228.pdf
1. Introduction
It has been almost seven years since Mochizuki first released his manuscripts online and the
content of his inequality remains poorly understood today. In fact, at the time of the Oxford
workshop in December 2015, things were so opaque that Brian Conrad famously asked during
one of the sessions whether Mochizuki’s inequality even represented an inequality of two real
numbers. We have come a long way since then. (Let us begin by stating unambiguously
that Mochizuki’s inequality is an inequality of real numbers.)