一两年前，连高考数学都及格不了的大模型，如今已经能在数学奥赛里睥睨群雄了！

不久前，在全国中学生数学奥林匹克竞赛（CMO）决赛中，由上海人工智能实验室研发的“书生”科学多模态大模型（Intern-S1）获得了102分（满分126分）的高分，不仅远78分的金牌分数线，更“一脚迈过”国家集训队入选线87分。

有阅卷家评价：“答案表达方式非常接近人类”，其中对四题的解答是“一个新的解法，巧妙的调整法，在学生的解法中没有见过”。

上海AI实验室青年军科学家陈恺认为，数学奥赛迎来了“AlphaGo时刻”，显示出AI在高难度代数、几何、数论、组数学证明题域的巨大潜力。

近期，随着乌鲁木齐、阿勒泰、吉林等多个省市相继宣布“雪假”时间，机票预订量持续上涨。在线旅游预订平台数据显示，11月29日至12月7日雪假期间，从乌鲁木齐和阿勒泰出发的机票预订量都显著增长。其中，从乌鲁木齐出发的机票预订量环比11月15日至23日增长45%，而从阿勒泰出发的机票预订量环比增长48%。尤其飞往南方温暖城市的航线更受欢迎。

然而从实验室到生产线，转化之路往往面临资金、中试、人才等多重堵点。为此，深圳创了“科创青藤成果转化服务体系”，这是一个覆盖全市的有组织、系统化的成果转化生态。如何“顺藤摸瓜”，推动创新成果转化落地？

进的力量持续壮大。观察经济发展不仅要看经济增长之量，更要看转型之、发展之质。今年以来，科技创新持续赋能产业创新，以人工智能、数字经济、绿经济为代表的新质生产力加速成长，为经济转型升级注入强劲动力。我国把发展的战略立足点更多放在扩大内需、做强国内大循环上，纵深推进全国统一大市场建设、破除各类隐壁垒、优化民营经济发展环境……一系列改革举措有稳定了市场预期，提升了经济发展的动力活力。同时，更高水平对外开放塑造新优势，外贸“朋友圈”不断扩大，中国制造与中国市场的魅力同步彰显，国内国际双循环的协同应进一步增强。这些新动能、新优势积聚壮大，正在深刻重塑中国经济增长的内在逻辑与长期潜力。

“在学生的解法中没有见过”

全国中学生数学奥林匹克竞赛是我国高规格的高中生数学奥林匹克竞赛，其题目难度往往不亚于国际数学奥林匹克竞赛。

今年，主办方次设置了赛题AI测试，邀请三家大模型参与，与人类选手在相同时长内完成答题，并由官方组织以相同标准进行阅卷评分。

新民晚报记者获悉，全国中学生数学奥林匹克竞赛试题覆盖代数、几何、数论、组四个板块，试题往往具有条件隐蔽、逻辑链条长、需跨知识点整等特点，需要答题者对数学概念有深刻理解，并能创造地进行应用。有奥赛金牌教练直言不讳：“想获得好名次，四个板块不能有短板，而且要有板块比较突出。”

在全部六道题目中，“书生”在其中4道“全对”，各得21分；另2题中，一题“未证明优”，一题“证明不够严格”，各得9分。

令人称赞的，是“书生”在四题上的表现。这道题涉及30种颜、共2100 张纸牌东营异型材设备，塑料挤出机题目要求的操作其复杂。“书生”在规定时长内不仅得出了正确的结论，还展示了清晰的回答思路。

【相关阅读】有30种颜的纸牌，每种颜的纸牌均有70张。开始时从这些纸牌中任意选取70张，并从上至下摆成一叠。接着进行如下操作：从下方20张纸牌中选择一张纸牌 X，满足其颜在上方50张纸牌中从未出现；再从上方50张纸牌中选择一张纸牌Y，满足其颜在上方50张纸牌中至少出现两次；从这叠纸牌中抽出X并将其紧贴着Y的上方放回这叠纸牌中。称上述过程为一次操作。重复上述操作直至无法选取这样的纸牌X时，整个操作过程结束。

（1）证明：对所有可能的初始情况及操作方式，整个操作过程都会在有限次操作后结束；

（2）在所有可能的初始情况及操作方式中，求操作次数的大可能值。

阅卷家点评说，“一个新的解法，巧妙的调整法，在学生的解法中没有见过”。在陈恺看来，这说明“书生”已能突破人类解题思路局限，通过自主探索和分析找到新的解题方法，为进一步赋能科学发现夯实了技术基础。

作为本次AI大模型数学顾问的50届国际数学奥林匹克竞赛金牌选手郑凡感慨：“未来，希望大模型能成为一名真正的‘研究伙伴’，携手探索数学，乃至更广阔科学边疆。”

从“长时间立思考”迈向“长时间立科研”

“书生”的惊艳表现，让不少“奥赛业户”震惊：“就像10年前的围棋一样，突破可能就是一刹那。”

记者获悉，Intern-S1的表达逻辑与推理能力大幅提升，得益于AI与数学研究者的共同努力。

“基于实验室提出的通融技术架构SAGE，Intern-S1模型突破了技术框架中融协同层的技术，成功实现长程严谨推理。”陈恺介绍。

要知道，高难度数学问题所需的推理复杂度，远远过大模型在单次推理过程中所能探索的范围。对此，上海AI实验室的科研人员提出了多轮分层推理机制，基于通用推理模型和业校验模型构建了具备推理、总结和验证智能体的多智能体系统，通过多模型分工协作实现了分阶段推理和探索。

同时，科研人员提出了以数学引理为核心的紧凑记忆形式，将复杂推理过程拆解为可复用、可积累的引理模块，让模型的思考推理过程不再受限于单次上下文长度，从而能够探索和发现更多的数学质，并基于观察提出一些人类没有发现过的解决思路。

此外，创新地提出了基于结果的过程校验模型，显著提升了模型在长程思考和证明时的严谨——这使得使得通融模型在“奥赛”级别的难题中，能产生“表达方式非常接近人类”的解答，终通过阅卷家严苛的阅卷标准。

值得一提的是，此前，上海AI实验室的P1物理推理模型，在2025年国际物理奥林匹克大赛上拿下金牌，成为个也是唯一获得金牌的开源模型。

【相关阅读】AI喜提物理奥赛金牌！来自上海的P1模型，如何开启“封神”之路？

接连在两大“奥赛”上摘金，上海AI实验室透露，计划将Intern-S1的长程推理能力拓展应用于物理、化学、生命科学等基础科研域，通过与业工具的打通与融东营异型材设备，实现从“长时间立思考”向“长时间立科研”转变，进而加速各域科研范式的根本变革，为重大科学突破提供关键支撑，赋能未来的科学发现进程。