Not a counterpoint, actually case in point, because:

>Mochizuki and a few other mathematicians claim that the theory indeed yields such a proof but this has so far not been accepted by the mathematical community.

Proof can't be understood, proof doesn't matter.

I wait for AI to say something about this :)

Someone at OpenAI, please, work on this.

Isn't this controversial, to say the least?