7月30日消息，2025年国际数学奥林匹克竞赛（IMO 2025）传来捷报，华为小艺AI竞赛Agent首次参赛便斩获银牌，展现出AI在高端数学领域的突破性进展。
华为介绍称，这款AI竞赛系统独创"双脑协同"架构。其中，"自然语言大模型"负责精准解析复杂的竞赛题意，能像人类专家般理解题干中的隐含条件与逻辑关系。
而"形式化证明引擎"则确保解题过程的数学严谨性，通过严密的逻辑推导生成符合学术规范的答案。
双模块协同实现了从题意理解到严谨解题的全流程智能化。
作为鸿蒙生态体系的重要AI能力载体，小艺此次参赛不仅是技术实力的一次实战检验，更标志着AI在教育领域的应用迈向新高度。
其在竞赛中展现的逻辑推理、复杂问题拆解能力，为未来个性化数学教育提供了技术范本。例如可针对学生解题思路进行精准辅导，或自动生成符合学习者水平的定制化习题。