第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满分金牌历来极难获得,25年全球Agent最高获得35分金牌,今年小艺首次获得42分满分金牌,充分展现了小艺在多数学分支上齐备且稳定的综合求解能力,也标志着在高级数学推理与复杂问题求解上取得重要进展。

不只是满分:小艺开辟数学解题新范式

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

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

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

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

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

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

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

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

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

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