I do have to wonder, if the proof is so complex, and yet doesn't offer insights to any other proof or theories.. does it matter?

Older threads for reference:

    https://news.ycombinator.com/item?id=15971802
    https://news.ycombinator.com/item?id=4502856
    https://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture