Have there been any updates on Mochizuki's proposed proof of the abc conjecture?mathoverflow.net2 pointsaburan2810 years ago