The ABC Conjecture has not been proved

God dammit. Of course it hasn't been proved yet, nobody is viewing the theorem as accepted by the mathematical community. But such a headline makes me think that his proof was debunked, and is just as bad as claiming it was proved.... which, again, was not exactly a common viewpoint.<p>I did, however, like the bit where the writer proposed that the ultimate interpreter of the supposed proof should receive credit as well as the original thinker; from the look I took at the theorem, it looks to be an arduous task (to say the least).<p>EDIT: I am not a maths person, and I do not keep in touch with the mathematics community except where the news is big enough to reach other fields (as this supposed proof did), so perhaps my 'nobody' is unsourced. But I believe anyone who would be 'in touch' enough to read this blog post would understand that the supposed proof is far from being accepted as a true proof.

Calling out the lack of peer review is a red herring. There is plenty of incorrect work accepted into journals every day.<p>If Mochizuki's work is correct, then in most senses, the result is proven. Whether that proof is yet accepted is another matter entirely.

This region between mathematical brilliance and madness appears really strange.

too long, don't bother reading: A proposition is only considered proven when a bunch of experts reach a consensus that a proposed proof is correct. This is currently not the case for the ABC conjecture.

has not been proved...yet, and is currently under review by the math community.

Given its name, saying the ABC Conjecture has not been proved is really repeating yourself.