AI拿下奥数IMO金牌,但数学界的AlphaGo时刻还没来?

只有外里挑一的学霸才敢挑战的国际奥数竞赛IMO,今年却被AI抢了风头:OpenAI和谷歌DeepMind一前一后宣布,他们的模型已经达到了IMO金牌的标准。与之前不同的是,这次的AI模型在不依赖编程语言、完全用自然语言解题的情况下达到满分,比去年DeepMind发布的数学模型进了大一步。这个结果意味着什么?我......