基于AI+数学的工业软件求解器与计算方案寻应用方

公司/团队简介

公司成立于2022年6月，已获得国家高新技术企业、中关村高新技术企业、北京市创新型中小企业、科技型中小企业等资质，入选2024年中关村论坛《百项新技术新产品》榜单，并在多个创新创业比赛中获得奖项。 通过人工智能+数学，晞德为不同工业软件提供高性能求解器与智能计算方案，解决企业复杂场景中的大规模数学问题，降低数学使用门槛，最终赋能工业制造、芯片设计、能源电力、信息安全、交通物流等多个行业。 晞德核心研发团队深耕求解器领域十余年，具有深厚的数学理论基础以及强大的工程实现能力，连续多年获得求解器比赛世界冠军、国际联合逻辑大会FLoC奥林匹克金牌，相关技术成果已获得十余项发明专利和软件著作权。   

技术产品介绍

决策智能是数字经济时代企业必备的基础能力之一。然而，产业在落地智能化升级上主要面临两大关键挑战：

第一，如何更好地建模，将业务逻辑与数学逻辑的深度融合；

第二，如何更快地求解，尤其是在处理大规模或高复杂度问题时，可以更快、更准确地求解出智能决策方案。

面对上述挑战，一方面，晞德率先研发出自动数学建模平台SeedModeler，综合运用AI大模型、机器学习、代码综合等人工智能技术，使得建模门槛更低、建模过程更高效，其Basic版本在ICML 2024自动数学推理挑战赛中斩获第三名，建模求解准确率在94%以上；另一方面，晞德研发了六款全面自主可控的大算力求解器，主要分为逻辑求解器和运筹优化求解器两大类。逻辑求解器，包括SAT和SMT求解器、以及相关的知识编译器和优化逻辑求解器，多次获得国际比赛冠军，求解性能处于国际领先水平。运筹优化求解器在“大规模数据快速求解”方面达到国际一流，在相关的国产求解器比赛中获得二等奖。晞德的求解器支持快速求解工业制造、能源电力、芯片设计、信息安全等领域的大规模数学问题，为决策智能提供高性能的底层计算引擎。