History
Scholze's zbMATH review of the published IUT papers maintains that the proof of Corollary 3.12 is incomplete.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.