晞德求解器

天使轮北京市2022年06月
基于AI+数学的高性能大算力约束求解引擎
寻求报道
官方网址:https://seedmath.com/
编辑维护

项目简介

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

融资历史

融资轮次融资时间融资金额投资方
天使轮
2025-07
未透露
种子轮
2022-12
未透露

工商信息

工商全称晞德求索(北京)科技有限公司英文全称-
法定代表人林锦坤成立时间2022-06-21
注册地址北京市海淀区海淀大街甲36号5层5014号(集群注册,住所使用期限到2024年3月24日)
股东(发起人)
持股比例
认缴出资额
认缴出资日期
林锦坤
53.01%
28.5万人民币
-
北京晞德日升科技发展中心(有限合伙)
23.25%
12.5万人民币
-
蔡少伟
9.3%
5万人民币
-
查看更多

团队成员

林锦坤
首席技术官
北京大学信息科学技术学院博士,曾供职于中国科学院软件研究所。主要从事的研究领域为软件工程和约束求解器,所设计的方法在有效性和时间效率上都显著领先于其他方法,其研究成果多次发表于国际顶级学术会议和期刊。

相关文章

本次路演会共有54个项目参与,涉及人工智能、元宇宙、企业服务、生命科学、商业航天、芯片、碳中和、开源等29个细分行业。

行业资讯

凯辉基金旗下全球医疗基金正式宣布完成对英国基因细胞治疗CDMO企业Ascend Gene & Cell Therapies(以下简称“Ascend”)的A轮投资。
苏州依科赛生物科技股份有限公司,于近期正式完成B++轮近亿元人民币战略融资。
查看更多

认证成员

我要认证

认证成员可维护项目信息,并可享合作对接权益

张*运营总监