How Fields medalist Timothy Gowers solves an IMO problem · HackerTrans