在2025年全国中学生数学奥林匹克竞赛（CMO）决赛中，首次设立的AI测试环节备受瞩目。上海人工智能实验室旗下的书生科学多模态大模型Intern-S1-20251122表现亮眼，以102分的成绩位列总分榜第三，在AI中排名第一，引发了各界对AI在数学和推理领域发展的广泛关注与深入探讨。
CMO决赛AI崭露头角
CMO作为中国最高规格的数学奥林匹克竞赛，今年迎来特殊“考生”————AI大模型。主办方首次设立AI测试环节，让大模型与人类同场答题，并由相同评委专家组阅卷打分。上海人工智能实验室旗下的书生科学多模态大模型Intern-S1-20251122表现出色，拿到102分。今年CMO考生前三名得分分别为126（满分）、110分、102分 ，Intern-S1取得的成绩位列总分榜第三，在AI中排名第一。本届CMO共有700余名选手参赛，223人获得金牌，金牌线为78分，AI的表现远超大多数参赛者，甚至超过许多金牌得主。
专家解读AI发展潜力与局限
上海人工智能实验室青年领军科学家陈恺向第一财经表示，“AI在奥赛中超越人类是未来一定会发生的事”，他认为这如同AlphaGo战胜世界围棋冠军，是一个逐步发展的过程，未来AI超过奥赛顶尖人类选手大有可能。不过，他强调奥赛只是数学里的一个任务，AI在奥赛中超过人类，不意味着在数学或更广泛能力上就能超过人类，“数学是个很宽泛深奥的领域，也有很多前沿的研究，在这方面AI还要更长的时间积累”。中国人民大学附属中学教师、奥数金牌教练张端阳，也惊讶于AI发展速度之快，称“就像10年前的围棋一样，突破可能就是一刹那”。
AI技术突破及意义
上海人工智能实验室发布文章提到，此次Intern-S1推理能力的提升得益于“通专融合”技术架构SAGE，其创新点是以数学引理为核心的多轮分层推理机制，以及基于结果的过程校验模型，显著提升了模型在超长程思考和证明时的严谨性，还有通用模型结合专业符号引擎，让通用模型掌握像人类科学家一样逐步推导、探索和修正的思路。陈恺认为，AI在数学和推理领域的突破对教育和科研领域的落地很有帮助，能进一步帮助大模型提升智力水平。目前让大模型辅助教育学习已在落地，在科研方面，已有数学家利用大模型帮助做定理证明、开阔思路。此外，阅卷专家认为，AI对第四题的解答是“一个新的解法，巧妙的调整法，在学生的解法中没有见过”，意味着AI能突破人类解题思路局限，对赋能科学发现意义重大。
AI未来应用规划
上海人工智能实验室在官方发文中表示，计划将Intern-S1的长程推理能力拓展应用于物理、化学、生命科学等基础科研领域，通过与专业工具的打通与融合，实现从“长时间独立思考”向“长时间独立科研”转变，进而加速各领域科研范式的变革，为科学突破提供支撑。
以上文章由 AI 总结生成
