[Summary] 基于AI+数学的高性能大算力约束求解引擎
晞德求索成立于2022年，致力于以AI数学为核心技术，为不同工业软件提供高性能求解器与智能计算方案，解决企业复杂场景中的大规模数学问题，降低数学使用门槛，赋能工业制造、芯片设计、能源电力、信息安全、交通物流等多个行业。晞德求索核心研发团队来自北大和中科院，深耕求解器领域十余年，具有深厚的数学理论基础以及强大的工程实现能力，连续多年获得求解器比赛世界冠军、国际联合逻辑大会FLoC奥林匹克金牌等领域殊荣。晞德求索研发的SeedSAT和SeedSMT逻辑求解器、以及相关的知识编译器，已达到国际比赛冠亚军水平；运筹优化求解器SeedMIP在“大规模数据快速求解”方面达到国际一流水平；超图划分求解器SeedHyPart相较行业标杆工具，并行和串行状态下求解速度分别提高266倍和57倍，划分质量提高20以上；此外，晞德求索率先研发出基于大模型的数学建模工具SeedModeler，建模求解的准确率在95以上，其基础版本斩获国际机器学习大会挑战赛第三名。基于以上技术及产品，晞德求索已与国际咨询巨头IBM、国内芯片EDA厂商芯华章及阿卡思、汽车BOM服务商甘棠软件等EDA和智能制造领域客户达成合作，帮助其实现产品性能技术升级和降本增效。
Provided by
Congratulations, submitted successfully!
Your edit is under review. You will be notified by email within 1 business day.
Submission failed.
Help others learn about this company, add my impression of this company»
Log in with the following accounts to save your follows
Jobui does not provide an APP. Please follow our WeChat official account.
