第67届国际数学奥林匹克竞赛（IMO2026）近日在上海圆满落幕，华为小艺受官方特别邀请正式参赛，并以42分满分的成绩摘得金牌。

IMO主席Gregor Dolinar教授表示：

“祝贺！华为提交的解答在第67届国际奥林匹克数学竞赛(IMO)上完美的获得了42分满分成绩！”

（“Congratulations! The solutions from HUAWEI have achieved a perfect score of 42 points on the problems of the 67th International Mathematical Olympiad (IMO)”）

国际数学奥林匹克竞赛（IMO）是全球顶尖的中学生数学赛事，覆盖120多个国家和地区，题目涵盖数论、几何、组合博弈等多个数学领域。IMO满分金牌历来极难获得，2025年全球Agent最高获得35分金牌，今年小艺首次获得42分满分金牌，充分展现了小艺在多数学分支上齐备且稳定的综合求解能力，也标志着在高级数学推理与复杂问题求解上取得重要进展。

不只是满分：小艺数学解题新范式

小艺展现了一种全新的解题范式。与人类数学家擅长凝练主线、捕捉关键灵感的优势不同，小艺的Agentic系统则像一支协同工作的数学研究团队：多个Agent同时提出猜想、探索不同路线、寻找反例、验证引理，并根据进展动态调整资源。这标志着AI正从“辅助回答”向“自主完成复杂任务”迈进。

三大方向强化小艺推理能力

一是构建可执行环境：面对P3组合题时，主流AI系统普遍面临建模困难和搜索失效的双重瓶颈。针对这一行业共性难题，小艺Agentic系统将复杂数学问题映射到可运行、可交互、可验证的环境中，使推理过程不再停留于纯文本生成。

二是实现多表示几何推理：针对P2、P4几何题型，小艺Agentic系统根据题目结构，在纯几何、笛卡尔坐标、复数坐标、重心坐标、向量或极坐标等表示方式之间动态选择和切换，将几何约束转化为可计算的代数关系。与此同时，系统并行探索多条证明路线，不同路线之间还可以相互提供中间结论、验证猜想并排除错误方向。

三是打造自我演进的Agentic系统：Agentic系统通过构建“证明状态图”作为共享认知空间 ，由探索、分解、求解、反例、验证、整理六个专业 Agent 协同作业，持续积累经验，优化搜索策略与协作机制。能力提升不再完全依赖参数更新。

因此，IMO 2026满分突破并非仅是模型规模的提升，更是一次对新型智能系统的能力验证。

从世界级数学竞赛到每个人都能使用的AI

42分满分不仅验证了小艺解决世界级数学难题的能力，也验证了这套Agentic架构面对未知复杂任务时可靠性。

这套架构将用于小艺升级，7月底随小艺App版本更新逐步向消费者开放。

届时，小艺的问题拆解、长程推理、工具调用和结果验证能力将进入真实用户场景。以教育学习场景为例，用户在小艺Claw将能直观体验到：问题如何被一步步拆解、规律如何被发现、不同解题路线如何被验证，以及严谨结论如何最终形成。