>>298
>ABC予想(というより定理?)に関して世界で一番進んでいるのは
>どこですか

全く素人ですが、いまでは、英フェセンコ先生のところでは？
RIMSを抜いているかも

”Problem 7. Find more direct relations between the generalisations of CFT. Use them to produce a single unified generalisation of CFT.23”>>179

これの関連で、フェセンコ先生のホームページより下記 ご参照
要するに、南出の明示公式は既知として、その公式はあまりにもゆるゆる
（これが最終形とは思えない）

何が、南出の明示公式の限界を決めているのか？ 改良の余地は？
そこらは、IUTをより高い視点から見ると、それが分かるかも です

（参考）
https://www.maths.nottingham.ac.uk/plp/pmzibf/mp.html
Ivan Fesenko - Research in texts

L Anabelian geometry and IUT theory of Shinichi Mochizuki (also known as arithmetic deformation theory), applications and topics in Diophantine geometry

K 2d adelic analysis and geometry, and applications
- 2d zeta integrals
- meromorphic continuation and functional equation of zeta functions
- generalised Riemann hypothesis
- BSD conjecture in the Tate form

J Adelic structures on arithmetic and geometric surfaces, and applications
- Geometric adeles and adelic geometry
- Higher adelic zeta integral and unramified two-dimensional Iwasawa-Tate theory

I Higher integration, harmonic analysis and zeta integrals
- Higher Haar measure and integration, harmonic analysis on higher local fields
- Higher local zeta integrals
- Integration on algebraic groups over higher local fields and their representation theory
- Links with model theory and Feynman functional integration

H Interactions of model theory, arithmetic and algebraic geometry and noncommutative geometry
G Arithmetic noncommutative class field theory and local reciprocity maps
B Class field theories, one-dimensional and higher dimensional
(引用終り)
以上