AI问鼎IMO金牌引爆热议！陶哲轩深度质疑，GPT-5真的要来了？ | AI资讯

type

status

date

slug

summary

震撼的突破：AI如何“考”下IMO金牌？

国际数学奥林匹克竞赛（IMO）被誉为中学生数学竞赛的“世界杯”，其试题以极高的难度和对创造性思维的极致要求而著称。每年，全球顶尖的数学天才中也仅有不到8%能够摘得金牌。而现在，OpenAI声称，一个AI模型做到了。

根据OpenAI披露的信息，这次评测过程极其严谨，力求完全模拟人类选手的真实考试环境： * 考试形式：两场各4.5小时的闭卷考试，AI不能使用计算器、搜索引擎或任何外部工具。 * 解题方式：AI阅读官方题目陈述后，以自然语言的形式输出完整的、人类可读的证明过程。 * 最终成绩：在全部6道题目中，该模型成功解决了5道，取得了35分（满分42分）的优异成绩，超过了当年的金牌分数线。 * 评分标准：每一份解答都由三位前IMO奖牌得主进行独立盲审，只有在三人达成共识后才确定分数。

这一成就的意义远不止于分数。它标志着AI的推理能力从解决需要几分钟思考的MATH基准测试问题，跃升到了能够处理需要数小时深度、持续和创造性思考的IMO难题。这是一种质的飞跃，意味着LLM可能正在突破传统强化学习中依赖明确奖励的范式，开始像人类数学家一样构建精巧复杂的论证。

菲尔兹奖得主的冷水：陶哲轩为何提出质疑？

就在全网为之振奋时，数学界的泰斗级人物陶哲轩公开发表长文，为这股热潮浇上了一盆“冷水”。他并非否定AI的进步，而是对当前AI竞赛评测缺乏统一、透明标准的方法论提出了严肃的批评。

陶哲轩指出，在没有预先公布详细评测方法的情况下，任何自我报告的竞赛成绩都难以进行公平的横向比较。他用一系列生动的比喻，列举了可能“美化”AI成绩的潜在操作：

时间操纵：是否给予了AI远超4.5小时的计算时间，甚至像在“时间加速装置”中运行了数月？

问题优化：是否在考试前由人类专家将题目“翻译”或改写成了更适合大模型理解的形式？

资源开放：AI是否在后台被允许调用了形式化证明工具、教科书数据库或其他外部知识库？

“团队作战”与“择优录取”：是否运行了多个模型实例（如同一个团队），让它们互相交流，或者只挑选其中最好的解答来提交？

结果筛选：如果所有模型实例都未能得出满意解答，是否就选择不公布结果，悄无声息地“退出比赛”？

陶哲轩的每一个问题都直击要害。这些操作都会从根本上改变竞赛的性质，降低题目的实际难度。他的质疑提醒我们，在为结果欢呼之前，过程的透明和方法的公正是科学评估人工智能真实能力不可或缺的前提。

现实的参照：独立测试揭示的差距

陶哲轩的担忧并非空穴来风。另一个独立评测平台MathArena发布的测试结果，为我们提供了一个冷静的参照系。

在他们的标准化测试环境中，即便是目前市面上最顶尖的模型，如Gemini 2.5 Pro，也仅获得了13分，远低于19分的铜牌线。值得注意的是，为了得到这个分数，测试团队采用了“best-of-32”策略，即让模型生成32个答案，再用评审系统选出最优解，每个答案的生成成本高达数美元甚至数十美元。

这一结果与OpenAI宣布的金牌成绩形成了鲜明对比，也从侧面印证了OpenAI此次使用的模型可能是一个计算资源消耗巨大、且未对外开放的“特种”实验模型。这也让外界更加好奇，OpenAI究竟采用了何种“秘密武器”实现了这一突破。

蛛丝马迹：GPT-5真的不远了吗？

在关于IMO的讨论之外，另一条线索同样牵动着所有AI关注者的神经——GPT-5的发布似乎已近在咫尺。

OpenAI的员工在社交媒体上透露，尽管IMO金牌模型是一个短期内不会发布的实验性研究，但GPT-5确实即将到来。更为确凿的证据是，有开发者在第三方机构的开源代码中，发现了一段包含“GPT-5-reasoning-alpha-2025-07-13”字样的代码。

结合OpenAI在新模型发布前会寻找第三方进行安全红队测试的惯例，这段很快被删除或隐藏的代码，被普遍解读为GPT-5正在进行内部测试的铁证。这预示着，一个在推理能力上可能比GPT-4o有更大代际提升的全新大模型，或许很快就要与我们见面。

结论：在期待与审慎中前行

OpenAI的IMO金牌事件，无疑是人工智能发展史上的一个重要里程碑，它展示了AI在攻克人类顶级智力挑战上的惊人潜力。然而，陶哲轩的质疑和独立测试的结果也提醒我们，必须以科学和审慎的态度看待这类突破。

在AI技术飞速迭代的今天，建立公开、透明、统一的评测标准变得前所未有的重要。只有这样，我们才能准确衡量AI的真实能力，避免陷入“自说自话”的宣传竞赛。

无论如何，风暴的中心——无论是IMO金牌背后的新技术，还是若隐若现的GPT-5——都预示着人工智能的又一次浪潮即将来临。让我们保持期待，也保持批判性思考。

想要获取更多前沿的AI新闻和AI资讯，探索大模型的最新动态，欢迎访问AI门户网站 AIGC.BAR (https://www.aigc.bar)，掌握人工智能的未来脉搏。