在2025年国际数学奥林匹克竞赛（imo）的特别邀请下，华为小艺ai竞赛agent首次登上这一全球最高水平的数学竞技舞台。经过为期三天的高强度比拼，该ai系统成功解出6道赛题中的5道，以总分34分的亮眼表现斩获银牌，仅以1分之差与金牌分数线（35分）擦肩而过。这一突破性成果，标志着华为在ai逻辑推理与数学智能领域迈上了全新台阶。
IMO主席Gregor Dolinar教授对小艺AI的表现给予了高度认可：“华为AI提交的答卷获得了34分（满分42分），这是一个令人瞩目的成就。（The Huawei AI scripts received a grade of 34 out of 42, which is a remarkable result.）”
超越解题：小艺AI展现类专家级数学思维
不同于传统AI模型依赖固定模式解题，小艺AI竞赛Agent在本次比赛中展现出接近人类顶尖选手的创造性与严谨性：
顶尖级推理能力：小艺AI在第1至第4题中均取得满分（7分）。其解题过程结构清晰、逻辑严密、语言规范，具备极强的可读性。尤其在第3题中，AI灵活运用了“升幂定理”等高阶技巧，充分体现了深厚的数学知识积累。值得注意的是，在第5题中，尽管因对平局情形的表述存在细微疏漏被扣1分，但评审确认其核心推导已完整涵盖该情况的严格证明。这意味着，AI实际上已具备完全解答该题所需的数学能力。
惊艳的解题直觉：在第2题的证明过程中，小艺AI精准引入一个关键辅助点，瞬间打通整个证明路径。其思路之巧妙、构造之精炼，甚至优于目前已知的公开解法，展现出类比人类“灵光一现”的解题洞察力。
深度思考的典范：第1题的解答逻辑流畅，归纳推理严谨，对n=3的特殊情况分析充分；第4题则实现了对所有可能情形的穷尽讨论，证明结构层次分明，条理清晰，展现出接近人类专家的系统化思维。
>对IMO竞赛感兴趣的开发者，可访问GitHub获取小艺AI竞赛Agent的完整解题方案，链接：https://www.php.cn/link/af3de23c3548eaaf65ba6278bacbf607
技术内核：驱动卓越表现的“双脑”协同架构
小艺AI竞赛Agent的出色发挥，源自其创新设计的“自然语言大模型 + 形式化证明”双系统协同架构。这一架构如同一个具备“左右脑”分工协作的数字大脑，将人类式的直觉创造与机器级的精确验证深度融合。
1、思维激荡与“AI同行评审”：激发创造性解法
面对复杂难题，小艺AI首先通过并行采样生成大量多样化解题路径，形成一场“思维风暴”。随后启动独有的“AI同行评审”机制，多个AI模型相互审阅、辩论、评分，动态筛选最优策略。该过程还融合形式化验证的反馈信息，驱动模型进行多轮自我修正与优化，显著提升了解决高难度问题的创新能力。
2、迭代式多层级证明：构建坚不可摧的逻辑链条
为应对高阶数学证明对严谨性的严苛要求，华为小艺团队研发了迭代式多层级并行证明系统。该系统将复杂命题分解为树状结构的子问题，由形式化证明引擎自底向上进行大规模并行验证。一旦某环节失败，具备反思与修复能力的AI模型将立即调整策略，重新生成或修正证明路径，直至整条逻辑链完全闭合。
里程碑与新征途：共绘AI与教育融合的未来图景
此次IMO的优异表现，不仅是华为AI技术发展的重要里程碑，更有力验证了基于大语言模型（LLM）的多Agent协同系统在解决复杂数学问题上的巨大潜力。
同时，华为小艺团队也清醒认识到，当前系统在应对极端复杂问题（如本届IMO第6题）时仍存在挑战。未来将持续强化小艺AI的抽象建模能力与深层推理水平，向更高阶的数学智能持续迈进。
据悉，小艺AI竞赛Agent的核心技术能力将逐步迁移至小艺教育Agent产品线。华为计划以白名单方式，优先向数学与人工智能领域的研究者开放相关能力，携手推动智能解题方法论的革新，让高水平思维能力惠及每一位学习者。
