北京
【CNMO科技消息】近日，约束求解与形式化领域的国际顶级赛事SAT Competition 2026（可满足性问题国际算法竞赛）落下帷幕。由华为云天筹AI求解器团队、华中科技大学John Hopcroft计算中心、华为诺亚方舟实验室所组成的联合团队，获得并行AI赛道SAT组冠军。
华为
据CNMO科技了解，本届赛事吸引了来自全球顶尖高校和机构的45支队伍参赛，其一大亮点是首次设立AI赛道，鼓励参赛团队利用AI技术对求解器进行智能化调优。
按照赛事规则，基于AI调优的求解器只有在性能上超过最优的非AI求解器才能获得奖项。这意味着，AI不能仅作为参数推荐或辅助开发工具，而必须带来真实、可量化、可验证的算法性能提升。AI赛道的设立意味着赛事从传统的纯算法设计竞赛，迈入了经典算法+AI融合创新的新阶段。
本届赛事的数据集包含软硬件验证、EDA、密码学分析、组合优化等应用领域的400个高难度问题。天筹AI求解器团队研发的求解器Kissat-MAB-HyPre-Evolve凭借在复杂问题求解能力、并行搜索效率和算法鲁棒性等方面的综合优势，获并行AI赛道SAT组冠军。
这一结果表明，AI已经能够突破传统辅助调优的边界，深入参与求解器算法和代码设计，并在全新、未见的数据集上形成稳定、可复现的性能增益。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
