N nature.com Mochizuki's proof of the ABC conjecture accepted for publication 116 points fovc 6 years ago 86 comments