Mathematicians struggle understand 500-page ABC proof | Hacker News Reader