How Fields medalist Timothy Gowers solves an IMO problem | Hacker News Reader