7月19日,第67届IMO在上海落下帷幕。中国队6名选手全员夺金,其中3名中国选手更是拿到满分(42分)金牌,闪耀全场。与此同时,一条震动竞赛圈的消息同步传来:组委会开设独立AI测评通道,小红书 dots-note-3.0、华为小艺竞赛Agent参与测评,双双拿到 42 分满分。
这让不少选手及家长产生巨大冲击:人类少年穷尽数年苦读才能触碰的IMO满分,AI大模型在限时条件下同样完成全部严谨证明。不少竞赛生、家长陷入焦虑:既然大模型都能解出最高难度奥赛题,花费大量时间冲刺竞赛,意义何在?未来竞赛生的路,还能怎么走?
首先厘清一个关键事实,避免媒体话术带来的认知偏差:AI参与的是组委会组织的赛后同题测评实验,不能进入正式考场、不和学生同台争夺奖牌、不纳入官方竞赛排名。它是平行测试,不是正式参赛。但即便如此,里程碑意义毋庸置疑:曾经被视作人类创造性思维高地的IMO证明题,壁垒已经被AI实质性击穿。
01
先分清:AI 擅长什么,永远缺失什么
AI能完美解决IMO考题,不代表AI拥有数学创造力。
IMO试题有明确特征:条件完整、目标清晰、存在标准答案、封闭问题。给定一道题目,寻找已有工具组合、构造证明路径、完成逻辑推演,这正是当前数学优化智能体擅长的领域。但真实数学研究完全是另一套逻辑:没有人给出完整题干,需要自己提出问题、辨别哪些问题值得研究、开辟全新工具、搭建新理论框架。
一名优秀竞赛生训练得到的核心能力,从来不止“做出题目”,而是在多条思路里自主筛选方向的判断力。这是现阶段AI所无法复制和替代的。
02
AI 时代,三类竞赛生截然不同的出路
第一类:以升学为目标,走传统竞赛升学通道
强基、综合评价、集训队保送等路径短期内不会消失。高校选拔竞赛生,本质选拔的是具备高阶数理思维的人才,而非单纯选拔 “做题机器”。变化在于评判标准:未来高校会越来越看重独立思考、创新视角、跨学科视野,只会机械刷题、依赖套路的选手优势会持续弱化。
第二类:立志深耕基础数学,走向学术研究赛道
这是最契合竞赛天赋的路线,也是和AI形成互补的赛道。AI可以承担大量繁琐推演、验证工作;人类数学家负责提出猜想、搭建框架、定义新方向。未来基础数学研究者,必须学会驾驭 AI 工具。不会使用数学智能体的科研人员,将会逐步丧失竞争力。竞赛阶段打下的抽象思维、逻辑功底,是驾驭 AI 工具最重要的底层根基。
第三类:不打算深耕纯数学,可转向交叉就业
这将是当下竞赛生越来越主流的选择。离散数学、代数、组合、概率,正是人工智能、算法、量化金融、仿真软件底层核心理论。竞赛训练赋予的建模、抽象、优化思维,是跨领域通用的核心资产。但在转向过程中,需清楚一点:只懂纯数学远远不够。竞赛生需要主动补齐工程能力:编程、算法落地、产业认知,搭建「数学思维 +工程实践」复合能力框架,拉开和单纯计算机专业学生的差距。
事实上,竞赛学习的核心产出,从来不是一张获奖证书和一条升学通道,而是一套严谨、抽象、结构化思考问题的思维系统。证书和上升路径仅是附属产物,数学思维才是终身资产。
当年AlphaGo问世,很多人感慨围棋失去魅力。时至今日,围棋依旧蓬勃发展:棋手不再单纯比拼计算,更加重视大局、构思、创造性。同样,数学竞赛从这届IMO开始也会迎来新的转变。AI 承担繁琐推演,数学爱好者得以腾出精力,去往更遥远、更未知的边界探索。IMO满分AI不是竞赛的终点,而是新一代数理学习者全新阶段的起点。

在数学、物理、化学、生物等学科竞赛的教学上
即未科技汇聚了一批来自清华、北大等
国内顶尖高校的优秀教师
拥有丰富的教学经验和深厚的学科知识
学科竞赛课程体系经过精心设计
由浅入深,循序渐进
能够满足不同地区、不同年级
不同目标学生的学习需求
欢迎各位同学及家长咨询
(下方扫码,预约1v1咨询/备考规划)

夜雨聆风