OpenAI 新模型在 IMO 夺得金牌