华为小艺首战2025年国际数学奥林匹克竞赛斩获银牌_资讯

创始人

2025-07-31 00:32:41

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

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

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

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

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

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

源：江南都市报综合快科技

值班编辑：周章云

校对：张竹影

值班主任：周艳华

值班编委：杨进