LLM For Algorithm Design，华为联合团队斩获 SAT 2026 大赛 AI 赛道冠军

华为联合华中科技大学相关团队，在 2026 年 SAT Competition 首次设立的 AI 赛道中斩获并行 AI 赛道 SAT 组冠军。该赛事是约束求解与形式化领域的国际顶级权威赛事，本届要求 AI 调优的求解器性能必须超越最优非 AI 求解器方可获奖，标志着赛事进入经典算法与 AI 融合创新的新阶段。此次夺冠依托华为云天筹决策智能引擎和 AI 算法自动设计技术搭建的 SAT 求解器专用算法自调优流水线，实现 AI 深度参与求解器全流程，可针对各类全新未见数据集实现稳定可复现的求解性能提升。相关能力依托华为与香港城市大学张青富教授团队联合开发的开源算法设计平台 LLM4AD_Next，该平台具备自动算法构建、独立记忆管理、Skill 轻量化部署、自动科研平台四大核心能力，面向各类算法相关从业者开放，可助力使用者高效将想法转化为可验证的结果。