A 50-year-old computer-assisted proof | Hacker News Reader