7月30日，2025年国际数学奥林匹克竞赛（IMO 2025）传来喜讯——首次亮相赛场的华为小艺AI竞赛Agent成功摘得银牌，充分展现了人工智能在高等数学领域取得的突破性成果。
据介绍，该AI竞赛系统创新性地采用了"双脑协同"架构。其自然语言大模型能够精准解析竞赛题目中复杂的语义信息，如同经验丰富的数学专家般准确捕捉题干隐含的逻辑关系与约束条件。
与此同时，系统中的形式化证明引擎严格把控解题过程的数学严谨性，通过严密的逻辑推演生成符合学术规范的完整解答。
两大核心模块的紧密配合，实现了从题目理解到严谨求解的全流程智能化处理。
作为鸿蒙生态中的核心AI能力代表，小艺此次参赛不仅是技术实力的重要验证，更意味着AI在教育领域的应用实现了质的飞跃。
该系统在竞赛中展现出的逻辑推理与复杂问题拆解能力，为未来个性化数学教育提供了新的技术路径。例如可根据学生具体解题思路给予精准指导，或自动生成适配不同学习阶段的定制化训练题目。
补充同频道和同主题内容，方便继续浏览更多相关内容。
继续查看同栏目最近更新的文章。
2025年全社会用电量达103682亿千瓦时，同比增长5 0%。充换电服务业用电增速高达48 8%，信息传输与软件服务业增速17 0%。第三产业和居民用电对增长贡献率合计占一半。中国成为全球首个年度用电量超10 4万亿千瓦时的国家。
追风者冰川360S25液冷散热器售价429元，三联一体风扇便捷安装，冷头小体积纯铜底座噪音18dB，风扇转速300-2000RPM、风量75CFM、静压2 96mmAq，五年质保漏液包赔。
三星GalaxyWatch8、Watch5Pro、Watch6及Watch7用户反映，GooglePlayServices后台耗电异常，电量占比最高达99 97%，远超正常水平，严重影响续航。目前故障原因不明，谷歌尚未发布官方声明。
罗永浩批评苹果iOS27创新不足，称仅有双iPhone同号、音量分离等数十项细节改进，认为库克时代缺乏突破性创新，股市虽好但消费者只能被迫接受挤牙膏式升级。
2025年国产汽车出口总量达710万辆，同比增长21%。奇瑞以134万辆居首，比亚迪105万辆次之，上汽乘用车出口占比60%最高，长城出口51万辆。吉利、长安等主流品牌同步增长，小鹏、零跑等新兴品牌海外拓展加速。