公司/团队简介

公司以数学求解与人工智能为核心技术，致力于为工业软件打造高性能求解器与计算方案。 公司成立两年，已获得中关村高新技术企业、科技型中小企业等资质，入选2024中关村论坛《百项新技术新产品》榜单，并在多个创业比赛中获得奖项：第七届中关村前沿科技创新大赛大数据与云计算领域第二名，第十二届中国创新创业大赛北京赛区初创组二等奖、获全国“优秀企业”称号，第六届中关村前沿科技创新大赛新一代信息技术赛道TOP10，2023中关村科学城科创大赛初创组第四名、三等奖。 求解器的研发不仅需要深厚的数学理论基础，也需要强大的工程实现能力。创始团队皆为著名高校计算机/数学博士，深耕求解器领域十余年，连续11年获得求解器比赛世界冠军。SMT求解器也代表中国首次获得国际联合逻辑大会FLoC奥林匹克金牌。 现已成功研发了多款具有自主知识产权的求解器，主要分为逻辑求解器和运筹优化求解器两大类，以及两款AI工具，自动调参工具和自动建模工具。通过AI工具+数学求解器，为不同工业软件提供高性能计算能力，解决工业场景中的复杂数学问题，降低数学使用门槛，最终赋能芯片设计、信息安全、工业制造、能源电力、交通物流、国防军工等多个行业。

需求分类

市场需求

寻求与EDA、PLM/BOM、APS等工业软件企业合作

寻求与EDA、PLM/BOM、APS等工业软件企业合作，为其提供更高性能的SAT/SMT/MIP求解器和知识编译器