陶哲轩回应OpenAI GPT-5测试版：AI数学推理实现IMO金牌突破

以下是根据您提供的原始，模仿人工撰写方式整理后的SEO优化文章。文章进行了处理，同时增强了关键词密度和语义相关性，以提升搜索引擎排名表现。

## （由多段落组成）

OpenAI 新模型挑战国际数学奥林匹克竞赛，斩获金牌成绩！

2025年国际数学奥林匹克竞赛（IMO）上，OpenAI最新研发的实验性AI模型成功斩获金牌成绩，成为AI领域的一项重大突破。IMO被誉为全球最顶尖的数学竞赛之一，每年仅有不到8%的参赛者能够获得金牌荣誉。而这一次，一个AI模型不仅达到了这一门槛，还在严格模拟人类考试条件下，展现了惊人的解题能力。

金牌成绩背后：AI模型完成5道题，总分35分

在本次测试中，OpenAI的新模型在6道题目中成功解答了其中5道，总分为35分（满分42分），达到了金牌分数线。这一成绩与今年人类参赛者中的金牌得主相当，甚至略胜一筹。今年共有约600名选手参赛，仅有5人获得满分，而AI模型的表现无疑令人惊叹。

模拟真实考试环境，AI展现人类级推理能力

为了确保测试的公平性与挑战性，OpenAI团队为模型设定了与人类选手完全相同的考试条件：两场各持续4.5小时的考试，不允许使用任何外部工具或联网资源，仅能阅读题目并以自然语言写出完整的证明过程。这种设置极大地提高了模型的推理难度，也更贴近真实人类数学竞赛的挑战。

突破传统强化学习，实现创造性数学推理

OpenAI的研究团队指出，这一成就并非依赖传统的强化学习机制，而是通过在通用强化学习和推理时计算扩展方面取得关键突破。这意味着，AI不再仅仅依赖于预设的规则或可验证的奖励机制，而是能够像人类数学家一样构建复杂、精巧的论证过程。

未解难题第六题：组合数学的“最终Boss”

尽管AI模型在本次测试中表现出色，但唯一未能解决的是第六题——一道被参赛者称为“最终Boss”的组合数学难题。这道题涉及一个2025×2025的单位正方形网格，要求找到覆盖方式使得每一行和列都恰好有一个未被覆盖的单位正方形。此前，谷歌的AlphaProof和AlphaGeometry也曾在此类问题上止步。

GPT-5 即将发布？代码中现“GPT-5-reasoning”字样

与此同时，第三方机构的开源代码中曾短暂出现过“GPT-5-reasoning-alpha-2025-07-13”的字样，随后被删除。结合OpenAI通常会在发布前进行安全测试的惯例，外界普遍认为GPT-5的发布已进入倒计时阶段。

数学界权威陶哲轩发声：结果需透明验证

尽管OpenAI的成果引发了广泛关注，但也有一些质疑声音出现。数学界顶尖学者陶哲轩在社交媒体上发表长文，指出当前AI在IMO测试中的表现缺乏统一标准和透明的方法论。他强调，不同的测试环境、资源支持和解题策略都会显著影响最终结果，因此不能简单地将AI的能力量化为单一指标。

第三方评测结果：AI模型表现参差不齐

第三方数学评测平台MathArena也同步发布了独立测试结果。在他们的评估中，即便是当前表现最好的Gemini 2.5 Pro也仅获得13分（满分42分），远低于铜牌分数线。这表明，AI在数学推理领域的进展虽然迅速，但距离全面超越人类还有一定差距。

AI数学能力飞跃：从GSM8K到IMO的跨越

从推理时间跨度来看，AI的进步速度令人震惊。从GSM8K（约需0.1分钟）到MATH基准测试（约1分钟），再到AIME（约10分钟），如今AI已成功攻克IMO（约100分钟）这类需要长时间深度思考的复杂问题。这标志着AI在数学推理和创造性思维方面迈出了重要一步。

结语：AI与数学竞赛的未来展望

尽管OpenAI尚未公开其模型的完整方法论，但其成果无疑为AI在数学领域的应用打开了新的大门。随着GPT-5的即将发布，以及更多研究机构在数学推理方向的持续投入，未来AI在解决复杂数学问题上的表现值得期待。

##

本文来源： IT之家【阅读原文】