Nice interview / thoughts. There was a great article almost exactly 10 years ago, revolving around the same example (Mochizuki's claimed proof of the abc conjec

Nice interview / thoughts. There was a great article almost exactly 10 years ago, revolving around the same example (Mochizuki's claimed proof of the abc conjecture) that this article starts with: http://projectwordsworth.com/the-paradox-of-the-proof/ http://projectwordsworth.com/the-paradox-of-the-proof/ (It's still worth reading, even as background to the posted article.)