国际数学奥林匹克竞赛（IMO）作为全球最具挑战性的数学赛事之一，金牌得主历来凤毛麟角。而在2025年的比赛中，人工智能首次以参赛者身份亮相，表现惊艳。

OpenAI 的实验性推理语言模型在完整模拟考试环境下完成全部题目，达到金牌水平。谷歌也紧随其后，其升级版 Gemini Deep Think 解决了六道题中的五道，并采用并行思维技术大幅提升解题效率。

这一突破标志着AI在复杂逻辑推理领域迈上新台阶，也为未来数学研究和教育带来全新可能。