近日，达摩院自主研发的“敏迭”（MindOpt）求解器接连收获权威认可。先是入选工信部“人工智能赋能新型工业化”典型应用案例，而后又在工信部产业发展促进中心等单位主办的大赛上斩获“国产求解器技术专题赛”冠军。“敏达”到底是什么？求解器又何以被誉为“工业软件之芯”？
来源：环球网 12月12日，工业和信息化部公布人工智能赋能新型工业化典型应用案例，达摩院自研求解器“敏迭”(MindOpt)入选“装备产品类”。据悉，敏迭作为国产全能力求解器，创新性地在全流程中引入AI能力，构建“AI+优化求解”关键技术，助力提升国内高端工业软件供应链的稳定性。
央广网北京1月21日消息 以“AI+优化求解器”助力能源绿色转型，达摩院自研“敏迭”求解器连续获得权威赛事冠军。近日，达摩院自主研发的“敏迭”求解器在工信部产业发展促进中心组织的第二届能源电子产业创新大赛上，再次斩获“国产求解器技术专题赛”冠军。
胡克非 中国新闻周刊 达摩院没有秘密“天下武功出少林，少林武功出达摩。”在武侠小说中，达摩院的任务不是帮少林看家护院，更不是称霸武林，而是研究天下武学，为少林功夫奠定基础。大概三年多前，阿里巴巴宣布成立达摩院，剑指科技创新。
阿里未给过达摩院清晰定义，但达摩院或将重新定义阿里文｜庄洲2008年，马云邀请后来的阿里云创始人王坚从微软亚洲研究院加入阿里时，抱有一个夙愿：在阿里打造一个汇集顶尖技术人才的研究院。这个研究院，不应该仅仅服务于商业，它更应该在某种程度上引领技术的浪潮。
中新网杭州1月9日电(鲍梦妮)据湖畔实验室(达摩院)1月9日消息，在工业和信息化部产业发展促进中心等单位主办的第二届能源电子产业创新大赛上，湖畔实验室(达摩院)自主研发的敏迭求解器(下称敏迭)斩获国产求解器技术专题赛冠军，成功卫冕。
这个被 CCF 列为 B 类的会议全称为“International Conference on Theory and Applications of Satisfiability Testing”，始设于1997年，主要面向研究可满足性问题，尤其是布尔可满足性问题的科研人员，向来少为中国学者问津。
