> Mochizuki correctly surmised that such a theory exists, however, that is not enough to prove the existence of such a theory
We're done playing nice, eh?
> Mochizuki correctly surmised that such a theory exists, however, that is not enough to prove the existence of such a theory
We're done playing nice, eh?
Wow, I completely missed that there were new developments on the ABC conjecture! And even some (for math) serious drama! This looks like a good entry point: https://www.math.columbia.edu/~woit/wordpress/?p=13895
I don't understand the substance, but I find the whole debate fascinating for its implications for philosophy/sociology of math...