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:

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