项目库介绍
晞德求索成立于2022年6月，以数学求解与人工智能为核心技术，致力于为各行各业打造高性能求解器与计算方案。 晞德的创始团队皆为著名高校计算机/数学博士，深耕求解器领域十余年，连续11年获得求解器比赛世界冠军。晞德的SMT求解器也代表中国首次获得国际联合逻辑大会FLoC奥林匹克金牌。 公司现已成功研发了多款具有自主知识产权的求解器产品，主要分为逻辑求解器和运筹优化求解器两大类，以及两款AI工具，自动调参工具和自动建模工具。晞德通过AI工具+数学求解器，为不同行业提供高性能计算能力及智能决策能力，解决实际场景中的复杂数学问题，降低数学使用门槛，最终赋能芯片设计、信息安全、工业制造、能源电力、交通物流、国防军工等多个行业。 在芯片设计领域，晞德拥有多款国内唯一商用、性能世界领先的芯片设计求解器及预处理器。国内目前使用的芯片验证技术被国外巨头垄断，且国内相关技术储备及人才储备稀缺，晞德的芯片设计求解技术多次获得国际比赛世界冠军，是中国EDA产业走向完全自主可控的重要一环。 在信息安全领域，晞德的求解器可以应用在密码学、软件测试、软件验证等场景。在国防军工、能源电力、航空航天、医疗设备等安全攸关行业，具有自主知识产权的求解器不仅具有极大的商业价值，更可以产生无可估量的社会价值。通过对软件安全、数据安全、信息安全的保障 ，最终实现对事关国计民生的重要领域、基础设施等命脉行业的自主把控。 在智能决策领域，大部分数字化场景都需要晞德的求解器来提升决策的效率与安全性。问题求解规模越大，就越依赖求解器。因此，能源电力、工业制造、交通物流等行业对求解器的依赖和性能要求越来越高。晞德的求解技术已被多个客户和落地案例验证，结合自研的AI工具，可以全面激活大数据中的数据价值，助力各行业智能化转型，同时更高效地帮助企业利用有限资源，节省大量成本。
