搜索
LLM For Algorithm Design，华为联合团队斩获 SAT 2026 大赛 AI 赛道冠军
10 小时前
华为携手华中科技大学团队，在2026年SAT Competition新设的AI赛道中，夺得并行AI赛道SAT组冠军。SAT Competition作为约束求解与形式化领域的国际顶级赛事，本届首次要求AI调优的求解器性能需超越最优非AI求解器才能获奖，这标志着赛事迈入了经典算法与AI融合创新的新纪元。华为此次夺冠，得益于其利用华为云天筹决策智能引擎和AI算法自动设计技术，构建了SAT求解器专用算法自调优流水线。这一创新使得AI能够深度参与求解器的全流程，针对各类全新数据集实现稳定且可复现的求解性能提升。此外，相关能力还依托于华为与香港城市大学张青富教授团队共同开发的开源算法设计平台LLM4AD_Next。该平台拥有自动算法构建、独立记忆管理、Skill轻量化部署及自动科研平台四大核心功能，面向算法从业者开放，助力他们高效地将想法转化为可验证的成果。
