一两年前，连高考数学都及格不了的大模型，如今已经能在数学奥赛里睥睨群雄了！
不久前，在全国中学生数学奥林匹克竞赛（CMO）决赛中，由上海人工智能实验室研发的“书生”科学多模态大模型（Intern-S1）获得了102分（满分126分）的高分，不仅远78分的金牌分数线，更“一脚迈过”国家集训队入选线87分。
关于研究方向，丈夫徐东良给出建议：聚焦柏孜克里克千佛洞15窟，追寻流散壁画的下落，它们初的方位、内容与彩。这与邓永红内心的期盼不谋而。
吐鲁番市西10公里外，雅尔乃孜沟台地上的交河故城静谧、空旷。吐鲁番市文博院（博物馆）院长（馆长）邓永红沿着中央大道缓步而上，生土筑的城墙、建筑群残垣在天光中渐次明亮。她正准备一场重要讲解，特意选择在这一刻进入城中。
这四塞，好比古人用山河布下的精妙防线，护卫中原安宁。而萧关，既是长城要塞又是丝路咽喉，直面西北游牧民族，尤为关键。
有阅卷家评价：“答案表达方式非常接近人类”，其中对四题的解答是“一个新的解法，巧妙的调整法，在学生的解法中没有见过”。
上海AI实验室青年军科学家陈恺认为，数学奥赛迎来了“AlphaGo时刻”，显示出AI在高难度代数、几何、数论、组数学证明题域的巨大潜力。
“在学生的解法中没有见过”
全国中学生数学奥林匹克竞赛是我国高规格的高中生数学奥林匹克竞赛鹰潭塑料挤出机设备厂家，其题目难度往往不亚于国际数学奥林匹克竞赛。
今年，主办方次设置了赛题AI测试，邀请三家大模型参与，与人类选手在相同时长内完成答题，并由官方组织以相同标准进行阅卷评分。
新民晚报记者获悉，全国中学生数学奥林匹克竞赛试题覆盖代数、几何、数论、组四个板块，试题往往具有条件隐蔽、逻辑链条长、需跨知识点整等特点，需要答题者对数学概念有深刻理解，并能创造地进行应用。有奥赛金牌教练直言不讳：“想获得好名次，四个板块不能有短板，而且要有板块比较突出。”
在全部六道题目中，“书生”在其中4道“全对”，各得21分；另2题中，一题“未证明优”，一题“证明不够严格”，各得9分。
令人称赞的，是“书生”在四题上的表现。这道题涉及30种颜、共2100 张纸牌，题目要求的操作其复杂。“书生”在规定时长内不仅得出了正确的结论，还展示了清晰的回答思路。
【相关阅读】有30种颜的纸牌，每种颜的纸牌均有70张。开始时从这些纸牌中任意选取70张，并从上至下摆成一叠。接着进行如下操作：从下方20张纸牌中选择一张纸牌 X，满足其颜在上方50张纸牌中从未出现；再从上方50张纸牌中选择一张纸牌Y，隔热条PA66生产设备满足其颜在上方50张纸牌中至少出现两次；从这叠纸牌中抽出X并将其紧贴着Y的上方放回这叠纸牌中。称上述过程为一次操作。重复上述操作直至无法选取这样的纸牌X时，整个操作过程结束。
（1）证明：对所有可能的初始情况及操作方式，整个操作过程都会在有限次操作后结束；
（2）在所有可能的初始情况及操作方式中，求操作次数的大可能值。
阅卷家点评说，“一个新的解法，巧妙的调整法，在学生的解法中没有见过”。在陈恺看来，这说明“书生”已能突破人类解题思路局限，通过自主探索和分析找到新的解题方法，为进一步赋能科学发现夯实了技术基础。
手机：18631662662（同微信号）作为本次AI大模型数学顾问的50届国际数学奥林匹克竞赛金牌选手郑凡感慨：“未来，希望大模型能成为一名真正的‘研究伙伴’，携手探索数学，乃至更广阔科学边疆。”
从“长时间立思考”迈向“长时间立科研”
“书生”的惊艳表现，让不少“奥赛业户”震惊：“就像10年前的围棋一样，突破可能就是一刹那。”
记者获悉，Intern-S1的表达逻辑与推理能力大幅提升，得益于AI与数学研究者的共同努力。
“基于实验室提出的通融技术架构SAGE，Intern-S1模型突破了技术框架中融协同层的技术，成功实现长程严谨推理。”陈恺介绍。
要知道，高难度数学问题所需的推理复杂度，远远过大模型在单次推理过程中所能探索的范围。对此，上海AI实验室的科研人员提出了多轮分层推理机制，基于通用推理模型和业校验模型构建了具备推理、总结和验证智能体的多智能体系统，通过多模型分工协作实现了分阶段推理和探索。
同时，科研人员提出了以数学引理为核心的紧凑记忆形式，将复杂推理过程拆解为可复用、可积累的引理模块，让模型的思考推理过程不再受限于单次上下文长度，从而能够探索和发现更多的数学质，并基于观察提出一些人类没有发现过的解决思路。
此外，创新地提出了基于结果的过程校验模型，显著提升了模型在长程思考和证明时的严谨——这使得使得通融模型在“奥赛”级别的难题中，能产生“表达方式非常接近人类”的解答，终通过阅卷家严苛的阅卷标准。
值得一提的是，此前，上海AI实验室的P1物理推理模型，在2025年国际物理奥林匹克大赛上拿下金牌，成为个也是唯一获得金牌的开源模型。
【相关阅读】AI喜提物理奥赛金牌！来自上海的P1模型，如何开启“封神”之路？
接连在两大“奥赛”上摘金，上海AI实验室透露，计划将Intern-S1的长程推理能力拓展应用于物理、化学、生命科学等基础科研域，通过与业工具的打通与融，实现从“长时间立思考”向“长时间立科研”转变，进而加速各域科研范式的根本变革，为重大科学突破提供关键支撑鹰潭塑料挤出机设备厂家，赋能未来的科学发现进程。
