只有外里挑一的学霸才敢挑战的国际奥数竞赛IMO，今年却被AI抢了风头：OpenAI和谷歌DeepMind一前一后宣布，他们的模型已经达到了IMO金牌的标准。与之前不同的是，这次的AI模型在不依赖编程语言、完全用自然语言解题的情况下达到满分，比去年DeepMind发布的数学模型进了大一步。这个结果意味着什么？我们是离AGI是更近了一步，还是失去了研究数学的意义？在这期视频里，我们邀请了前IMO金牌得主，以亲历者的角度来评价AI的解法，并解析为什么IMO成了衡量AI数学能力的关键？最新的AI模型有哪些技术突破？这是数学界的AlphaGo时刻吗？