核心事件：AI刚以全球金奖的“AI卷成绩”逼宫，中国“最强大脑”集体进入一级战备！7月13日，第67届国际数学奥林匹克（IMO）将在上海中学举行，这是IMO时隔36年重返中国。而在此之前，谷歌DeepMind的AI已在上一届IMO拿到金牌水平，本届是否会下场“抢人头”？与此同时，中国自主研发的AI“通矩模型”已可不到40分钟解完25年IMO几何题。今年7月的IMO赛场，成了一场“人类天才 VS 机器智能”的终极对决。

01 上海主场“天才阵容”：6人国家队，上海3人创历史记录

7月13日至21日，第67届IMO将在上海举行。赛事由上海中学承办，这是IMO历史上首次将承办权交给一所中学。时隔36年，这项“智力奥运会”重返中国，主场作战的6中国学子已经磨拳擦掌，他们要迎战的不仅是全球130多个国家的天才，还有很可能同时“参赛”的AI机器人。

就在今年3月底，2026年IMO中国国家队6人正式名单出炉。湖北2人入选，分别是武钢三中彭宇轩（高一）、武昌实验中学杨宸（高二）；人大附中彭振乾（高二）1人入选；而上海独占3席——上海中学高二学生邓乐言、高一学生张柏伦、华东师范大学第二附属中学高二学生刘澈，创造了上海中学生在该赛事的历史。上海中学仅一所学校就贡献了18枚IMO金牌，金牌总数居全国同类学校第一。

六人之中最耀眼的莫过于邓乐言。2024年11月，尚在读初中的他在阿里巴巴全球数学竞赛中获得组合与概率赛道铜奖，成为该赛事举办以来首位获奖的初中生；2025年7月，他在澳大利亚第66届IMO首次出征，即拿下满分金牌，也就是那一次，中国队的团体总分高达231，全员六人全部摘金。如今，这位已在国际数学圈小有名气的“言哥”，将带领中国队在主场迎战世界数学英才。

02 “通矩模型”降世：中国AI进化到出题与解题双杀

但在现场的比赛风暴正式到来前，另一条更激流涌动的赛道已经提前开战——AI正在攻破人类“最后一公里”的壁垒。

这场竞赛最早要追溯至2024年，谷歌DeepMind的神经符号系统AlphaGeometry显著展现出了AI解决复杂几何问题的潜力，当时能够在IMO竞赛时间限制内解出25道奥赛级几何题中的25道，表现直逼金牌选手。此后两方关于奥林匹克和AI的争锋持续升级。2025年7月，谷歌新一代模型Gemini Deep Think实现了端到端解题——无需人类将自然语言翻译成机器语言，一举解出当年IMO六题中的五道，拿到35分（满分42），一举斩获高于金牌线的成绩，被业内判定为“正式跻身金牌优胜者”。

而在中国，一支由北京通用人工智能研究院和北京大学组成的团队，已经将战线推至了更恐怖的高地。 2026年1月，其研发的AI系统——“通矩模型”，发表于国际顶级学术期刊《自然·机器智能》，成为全球首个同时具备自主出题与自动解题双重能力的通用人工智能系统。它不仅能在38分钟内解完近25年来所有IMO几何难题，甚至还能出题——其原创生成的3道几何题已经应用于2024年全国中学生数学联赛以及美国精英奥赛，这是AI原创题目首次进入高规格人类竞赛。

论文第一作者张驰评价道，“它既是能解题的‘优等生’，更像一位能创造具备数学审美价值题目的‘金牌教练’”。他补充道，“我们研究发现，一道优秀的奥赛几何题，其证明过程的复杂性会明显高于初始图形的构建难度——这正是系统提升的关键突破点”。论文共同通讯作者朱毅鑫进一步解释，“它实现了通过‘小数据’理解逻辑底层的美”——换句话说，AI真正理解了数学美的本质。

更重磅的关键点来自竞技层面。谷歌DeepMind一直以来极度依赖大规模离线合成数据和昂贵的计算资源集群，而通矩模型仅凭一张普通的国产消费级显卡（如RTX 4090），即可在同样的基准测试中，追平和超越美国最前沿的AI判题能力。这在计算成本上形成了数量级的代差。这意味着，中国不但实现了AI在数学推理领域的全栈自研可控，还以更低的硬门槛和更具原创性的路径，在精确求解领域步步紧逼美国同行。

03 IMO热身，AI与人类赛场对决将如何上演？

而当AI的系统竞赛和出题竞赛在理论层面愈演愈烈时，它是否已足够打破现实比赛的微妙平衡？

一个有趣的问题摆在眼前：AI究竟是否被允许“参加”IMO？自2024年AI首次在官方环境下达到银牌水平以来，IMO和各国数学界一直在考虑是否应该向AI发出正式参赛邀请。但目前答案仍在博弈中——若AI真以正式系统身份被安排在7月赛场，这会极大改变几十年来的赛事DNA，但这已不再停留于科幻层面。

对于国家队成员来说，AI的真正威胁不在线上比拼，而在于它改变了他们未来将要面对的工作门槛。武汉外国语学校的邓哲文在2025年卫冕金牌后接受采访时对数学大赛的气氛变化，有着更温和的描述：“大家并没有把夺回冠军当成包袱，更多是享受比赛、交朋友。”

五大学科竞赛国家队全部集结23人，每所顶尖中学的教练们都在寻找着下一个陈景润式的传奇。

而在赛道远离中心的认知维度上，AI系统从解题者到出题人的双重成功，本身就已经从底层转变了数学创造的方式。正如谷歌DeepMind的AlphaEvolve突破了56年的矩阵乘法记录，而通矩模型开辟出一种崭新的几何命题生成范式。

04 今日小结：真正的卷，是从人类天才与AI同台竞技这一刻开始

2026年注定是两大阵营在逻辑推理领域的巅峰交汇点。一边，中国科研团队实现了从底层架构自研到逻辑推理顶级的全面突破，全栈自研的通矩模型在解题效率和出题创造性上，已超越欧美顶尖AI。另一边，中国最顶尖的六位数学选手将在今年7月的IMO舞台，迎接全球挑战。

第67届IMO重返中国，在主场，人类大脑与AI算法的双重博弈，从未如此近。

参考资料：本文综合整理自人民网、解放日报、上海市政府网、长江日报、Nature Machine Intelligence、腾讯新闻、澎湃新闻、搜狐新闻等权威信源2026年1月至5月的公开报道，内容真实有效。