I don't think anything on that list was bereft of insight, even at the time. This is a context issue: the problem with Mochizuki's work is that no-one has manag

I don't think anything on that list was bereft of insight, even at the time. This is a context issue: the problem with Mochizuki's work is that no-one has managed to point to a single insight other than the abc conjecture. Whilst it's possible to prove certain results by brute force manipulation, it's not common. High profile results tend to be accompanied with subsidiary insights. The applicability of these insights to real world problems is, for the purposes of this discussion, beside the point. Anyway, I'm basically repeating what people have already said. So I'll stop.