How Fields medalist Timothy Gowers solves an IMO problem | Heykuki News