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