AI 在 2026 年赢得 IMO 金牌? — 市场数据与预测