【总结】基于AI+数学的高性能大算力约束求解引擎
晞德求索成立于2022年，致力于以AI数学为核心技术，为不同工业软件提供高性能求解器与智能计算方案，解决企业复杂场景中的大规模数学问题，降低数学使用门槛，赋能工业制造、芯片设计、能源电力、信息安全、交通物流等多个行业。晞德求索核心研发团队来自北大和中科院，深耕求解器领域十余年，具有深厚的数学理论基础以及强大的工程实现能力，连续多年获得求解器比赛世界冠军、国际联合逻辑大会FLoC奥林匹克金牌等领域殊荣。晞德求索研发的SeedSAT和SeedSMT逻辑求解器、以及相关的知识编译器，已达到国际比赛冠亚军水平；运筹优化求解器SeedMIP在“大规模数据快速求解”方面达到国际一流水平；超图划分求解器SeedHyPart相较行业标杆工具，并行和串行状态下求解速度分别提高266倍和57倍，划分质量提高20以上；此外，晞德求索率先研发出基于大模型的数学建模工具SeedModeler，建模求解的准确率在95以上，其基础版本斩获国际机器学习大会挑战赛第三名。基于以上技术及产品，晞德求索已与国际咨询巨头IBM、国内芯片EDA厂商芯华章及阿卡思、汽车BOM服务商甘棠软件等EDA和智能制造领域客户达成合作，帮助其实现产品性能技术升级和降本增效。
内容由
提供
恭喜您，提交成功！
您的编辑正在审核中，1个工作日内，会以邮件通知您结果
提交失败。
