快科技 7 月 30 日消息，2025 年国际数学奥林匹克竞赛（IMO 2025）传来捷报，华为小艺 AI 竞赛 Agent 首次参赛便斩获银牌，展现出 AI 在高端数学领域的突破性进展。

华为介绍称，这款 AI 竞赛系统独创 " 双脑协同 " 架构。其中，" 自然语言大模型 " 负责精准解析复杂的竞赛题意，能像人类专家般理解题干中的隐含条件与逻辑关系。

而 " 形式化证明引擎 " 则确保解题过程的数学严谨性，通过严密的逻辑推导生成符合学术规范的答案。

双模块协同实现了从题意理解到严谨解题的全流程智能化。

作为鸿蒙生态体系的重要 AI 能力载体，小艺此次参赛不仅是技术实力的一次实战检验，更标志着 AI 在教育领域的应用迈向新高度。

其在竞赛中展现的逻辑推理、复杂问题拆解能力，为未来个性化数学教育提供了技术范本。例如可针对学生解题思路进行精准辅导，或自动生成符合学习者水平的定制化习题。