あっちのスレから転載します
みんなよく見ているね

https://rio2016.5ch.net/test/read.cgi/math/1675142037/862-867
862１３２人目の素数さん
2024/04/12(金) 03:14:49.47ID:XsFje4ks
https://mathoverflow.net/questions/468079/is-there-a-mistake-in-mochizukis-proof-of-theorem-1-10-in-iutt-iv

865１３２人目の素数さん
2024/04/12(金) 03:55:26.02ID:XsFje4ks
"Joshi版の望月Cor.3.12"（＝Joshiの定理9.11.1）は、純粋に局所的な証明であるため、望月の定理3.12と同じ内容を持つことはできない。
"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12. i

866１３２人目の素数さん
2024/04/12(金) 04:04:08.53ID:XsFje4ks
zbMATH
https://zbmath.org/pdf/07317908.pdf
の頃と変わった。

Unfortunately, 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.
867１３２人目の素数さん
2024/04/12(金) 04:09:40.36ID:XsFje4ks
IUTⅣの内部にエラーはないと思う
I do not think that there is a real error internally in IUT IV.