>>576
>IUTについては
>かみ合う議論が難しい

巡回ご苦労さまです
全くです
下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
結局は、かみ合わなかった

(参考)
https://www.math.columbia.edu/~woit/wordpress/?p=11709
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.

Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter. However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.

I may have not expressed this clearly enough in my manuscript with Stix, but there is just no way that anything like what Mochizuki does can work. (I would not make this claim as strong as I am making it if I had not discussed this for with Mochizuki in Kyoto for a whole week; the following point is extremely basic, and Mochizuki could not convince me that one dot of it is misguided, during that whole week.) It strikes deep into my heart to think that in the name of pure mathematics, an institute could be founded for research on such questions, and I sincerely hope that this will not come back to haunt pure mathematics.

The reason it cannot work is a theorem of Mochizuki himself.
略
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.

Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open. Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.