比IMO还难的数学挑战赛，谷歌赢了OpenAI