> The ABC conjecture "proof" is rejected because it uses definitions and arguments no one understands.
I would like to point out that it seems like the general consensus now is that Mochizuki's proof is incorrect.
And, as people pointed out early on, one of the problems with the Mochizuki paper is that it provides no new tools or results for other problems in the space. This is quite unusual and was a significant part of the skepticism about the proof being correct.
Contrast this to Wiles proof of the Taniyama-Shimura-Weil conjecture for semistable elliptic curves which proves Fermat's Last Theorem as a consequence and then led to a full proof which later became the "modularity theorem".
If Mochizuki used the tools from his paper come at something already proven from a different direction, that would have lent a lot more credence to his claims.
I would like to point out that it seems like the general consensus now is that Mochizuki's proof is incorrect.
And, as people pointed out early on, one of the problems with the Mochizuki paper is that it provides no new tools or results for other problems in the space. This is quite unusual and was a significant part of the skepticism about the proof being correct.
Contrast this to Wiles proof of the Taniyama-Shimura-Weil conjecture for semistable elliptic curves which proves Fermat's Last Theorem as a consequence and then led to a full proof which later became the "modularity theorem".
If Mochizuki used the tools from his paper come at something already proven from a different direction, that would have lent a lot more credence to his claims.