ABC conjecture proof set to be published | Hacker News Reader