ABC conjecture: Mochizuki presented his proof in person in Kyoto | Hacker News Reader