谷歌 Gemini 获国际数学奥赛金牌：AI 在复杂逻辑推理领域取得历史性突破

2025年7月21日，一个历史性的时刻悄然到来。Google DeepMind 宣布，其高级版 Gemini 模型的「深度思考」（Deep Think）模式，在第66届国际数学奥林匹克竞赛（IMO 2025）中成功解答了6道题目中的5道，获得35分，达到金牌水平。这一成绩已获得 IMO 官方认证。

IMO：数学界的终极挑战

国际数学奥林匹克竞赛被誉为全球最高水平的中学生数学竞赛，每年吸引超过100个国家的顶尖数学天才参赛。竞赛题目涵盖数论、组合数学、几何和代数四大领域，每道题满分7分，总分42分。通常，获得28-35分的选手可摘得金牌。

与常见的数学考试不同，IMO 题目要求参赛者进行高度创造性的逻辑推理，而非简单的公式套用。这正是过去 AI 模型在 IMO 上屡屡碰壁的根本原因——它们擅长模式匹配，但在需要深度原创推理的领域表现平平。

Gemini 的解题之道

Google DeepMind 透露，Gemini 「深度思考」模式采用了全新的推理架构，能够在解题过程中进行多步骤的链式推理、自我验证和回溯修正。具体到本次 IMO：

• Gemini 在4.5小时的限时内完成答题，与人类选手使用相同的时间限制
• 6道题中解出5道，每题均获得满分7分
• 唯一未解出的题目是第6题——一道关于函数方程的组合数学难题
• 所有解题方案已在网上公开，供全球数学家审阅

OpenAI 也达金牌水平

值得注意的是，几乎在同一时间，OpenAI 的实验性推理模型也在 IMO 2025 中达到了金牌水平。尽管 OpenAI 尚未公布具体分数，但业界普遍认为两家顶尖 AI 实验室的模型已具备与人类顶尖数学天才同台竞技的实力。

更令人深思的是，这些模型并未使用专门的数学训练数据或形式化语言，而是以自然语言方式读题、推理和作答——就像人类选手一样。这标志着 AI 在通用推理能力上迈出了关键一步。

AI 不再仅依靠形式化语言（如 Lean、Coq）来解决数学问题，而是朝着更接近人类思维方式的方向前进。这是通向通用人工智能（AGI）的重要里程碑。