Huawei’s Xiaoyi AI competition agent has achieved a perfect score of 42 and claimed the gold medal at the 67th International Mathematical Olympiad (IMO 2026).
华为小艺AI竞赛Agent在第67届国际数学奥林匹克IMO2026取得42分满分，斩获金牌。

It marks the world’s first time an AI agent has earned full marks under official IMO judging standards.
这是全球AI智能体首次在IMO官方评审标准下拿到满分。

IMO problems demand rigorous mathematical proofs, testing long-chain reasoning rather than simple calculations.
IMO试题要求严谨数学证明，考验长链条逻辑推理，而非简单运算。

Gregor Dolinar, President of IMO, acknowledged this achievement as a landmark breakthrough for artificial intelligence in formal mathematical reasoning.
IMO主席格雷戈尔·多利纳评价，该成果是人工智能在形式化数学推理领域里程碑式突破。

The advancement demonstrates that Chinese native large models have reached world-leading levels in complex logical deduction.
此次突破证明国产原生大模型在复杂逻辑推演领域达到全球领先水平。

核心词汇

1. International Mathematical Olympiad (IMO) 国际数学奥林匹克
​
2. rigorous mathematical proof 严谨数学证明
​
3. long-chain reasoning 长链条推理
​
4. intelligent agent 智能体
​
5. formal mathematical reasoning 形式化数学推理