AI数学竞赛里程碑：谷歌Gemini与OpenAI模型同获IMO金牌级表现

在人工智能发展史上迎来重要突破时刻，谷歌DeepMind与OpenAI相继宣布其AI模型在国际数学奥林匹克竞赛（IMO）中达到金牌水平。据消息显示，谷歌Gemini Deep Think高级版本在IMO六道题中成功破解五道，以35/42分的优异成绩斩获虚拟金牌，这一表现已通过国际数学奥林匹克委员会官方认证。

值得注意的是，谷歌团队采用端到端的自然语言处理技术，使Gemini能够在4.5小时竞赛时间内直接根据题目描述完成严谨的数学证明。相较去年AlphaProof和AlphaGeometry 2组合系统28分的银牌成绩，今年实现了质的飞跃。IMO主席Gregor Dolinar教授高度评价称：“这些解答不仅符合竞赛标准，其清晰度和准确性甚至超过许多人类选手。”

与此同时，OpenAI研究员Alexander Wei在社交平台宣布，其实验性推理大语言模型同样取得突破性进展。在模拟2025年IMO的严格测试环境下（两场4.5小时闭卷考试），该模型同样完成五道题目，经三位IMO奖牌得主独立评审后确认达到35分的金牌分数线。Wei特别强调，这是AI首次在高中生数学赛事中跨越金牌门槛。

技术细节方面，两个AI系统都展现了强大的数学推理能力：

• 完全基于自然语言理解题目要求
• 不依赖外部工具或网络搜索
• 按照竞赛规范输出完整证明过程

目前谷歌计划将测试版模型提供给数学家等专业人士试用，而OpenAI表示该研究模型暂不纳入产品发布计划。业界专家认为，这标志着AI在复杂逻辑推理领域取得重大进展，将为教育、科研等领域带来深远影响。