近日,达摩院自主研发的“敏迭”(MindOpt)求解器接连收获权威认可。先是入选工信部“人工智能赋能新型工业化”典型应用案例,而后又在工信部产业发展促进中心等单位主办的大赛上斩获“国产求解器技术专题赛”冠军。“敏达”到底是什么?求解器又何以被誉为“工业软件之芯”?
央广网北京1月21日消息 以“AI+优化求解器”助力能源绿色转型,达摩院自研“敏迭”求解器连续获得权威赛事冠军。近日,达摩院自主研发的“敏迭”求解器在工信部产业发展促进中心组织的第二届能源电子产业创新大赛上,再次斩获“国产求解器技术专题赛”冠军。
这个被 CCF 列为 B 类的会议全称为“International Conference on Theory and Applications of Satisfiability Testing”,始设于1997年,主要面向研究可满足性问题,尤其是布尔可满足性问题的科研人员,向来少为中国学者问津。
21世纪经济报道记者张梓桐 上海报道行驶在北京与上海之间的京沪高铁堪称中国最为繁忙的铁路路线之一,每一辆列车何时发车,哪个时间到站,用哪个车道,这些问题都需要精密排序,在过去,这主要由人类的大脑来完成。而在约束条件与变量呈几何倍数增加的时候,人工难以穷尽最优解法。
中新网杭州1月9日电(鲍梦妮)据湖畔实验室(达摩院)1月9日消息,在工业和信息化部产业发展促进中心等单位主办的第二届能源电子产业创新大赛上,湖畔实验室(达摩院)自主研发的敏迭求解器(下称敏迭)斩获国产求解器技术专题赛冠军,成功卫冕。
一个热爱计算机的少年,16 岁就已经可以做出点东西来了,比如开发个粤语编程语言、拿个 Kaggle 冠军、写个游戏、开发个加密货币投资机器人、从头构建一个 C++ 机器学习库什么的。没有多少人愿意贡献,等等。