技术展示
Technical Demonstration
晞德求索(北京)科技有限公司
报名类型: 新一代信息技术        项目名称:基于AI+数学的工业软件求解器与计算方案
报名分类
新一代信息技术 
公司/团队名称
晞德求索(北京)科技有限公司 
项目名称
基于AI+数学的工业软件求解器与计算方案 
公司/团队简介
晞德求索(北京)科技有限公司成立于2022年6月,已获得国家高新技术企业、中关村高新技术企业、北京市创新型中小企业、科技型中小企业等资质,入选2024年中关村论坛《百项新技术新产品》榜单,并在多个创新创业比赛中获得奖项。 通过人工智能+数学,晞德为不同工业软件提供高性能求解器与智能计算方案,解决企业复杂场景中的大规模数学问题,降低数学使用门槛,最终赋能工业制造、芯片设计、能源电力、信息安全、交通物流等多个行业。 晞德核心研发团队深耕求解器领域十余年,具有深厚的数学理论基础以及强大的工程实现能力,连续多年获得求解器比赛世界冠军、国际联合逻辑大会FLoC奥林匹克金牌,相关技术成果已获得十余项发明专利和软件著作权。  
技术产品介绍
决策智能是数字经济时代企业必备的基础能力之一。然而,产业在落地智能化升级上主要面临两大关键挑战:第一,如何更好地建模,将业务逻辑与数学逻辑的深度融合;第二,如何更快地求解,尤其是在处理大规模或高复杂度问题时,可以更快、更准确地求解出智能决策方案。 面对上述挑战,一方面,晞德率先研发出自动数学建模平台SeedModeler,综合运用AI大模型、机器学习、代码综合等人工智能技术,使得建模门槛更低、建模过程更高效,其Basic版本在ICML 2024自动数学推理挑战赛中斩获第三名,建模求解准确率在94%以上;另一方面,晞德研发了六款全面自主可控的大算力求解器,主要分为逻辑求解器和运筹优化求解器两大类。逻辑求解器,包括SAT和SMT求解器、以及相关的知识编译器和优化逻辑求解器,多次获得国际比赛冠军,求解性能处于国际领先水平。运筹优化求解器在“大规模数据快速求解”方面达到国际一流,在相关的国产求解器比赛中获得二等奖。晞德的求解器支持快速求解工业制造、能源电力、芯片设计、信息安全等领域的大规模数学问题,为决策智能提供高性能的底层计算引擎。  
技术产品展示图
  • 图片1
  • 图片2