History
Mochizuki's IUT papers give no definition of arithmetic holomorphic structure precise enough to prove that two such structures differ.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.