只有学霸敢挑战的国际奥数IMO，如今却被AI轻松拿下：OpenAI和谷歌的模型都达到了金牌标准，这也让不少提出疑问，数学界的AlphaGo的时刻来了吗？有意思的是，DeepMind团队还悄悄暗讽OpenAI拿了“假金牌”，比赛背后还有不少drama。这期视频我们邀请了IMO前金牌得主来点评了下AI的解题思路，两个不同的模型解题做法有什么不一样？当AI在数学领域取得突破后，这究竟意味着什么？