晞德求解器

AI市场洞察

企业基础信息「核心速览」

• 公司身份：晞德求索（北京）科技有限公司（简称：晞德求解器），成立时间2022-06-21，所在地北京海淀，工商登记关键信息：注册资本100.00万元，统一社会信用代码91110108MABQT4UN9E，法定代表人林锦坤，经营范围：软件开发、技术服务、人工智能应用软件开发、计算机系统服务、数据处理服务等（依法须经批准的项目，经相关部门批准后方可开展经营活动）。
• 业务根基：所属行业为科技推广和应用服务业/工业软件底层计算引擎，核心业务：提供高性能、可靠易用的Mathematics-as-a-Service（MaaS），通过SeedSAT、SeedMaxSAT等求解器产品，赋能工业制造、芯片设计、能源电力、信息安全、交通物流等行业，实现从问题到数学建模到求解的一站式自动化解决方案。
• 资本轨迹：累计披露融资金额未披露，融资次数2次；最近一轮融资为A轮，金额未披露，日期2025-07-24，投资方深创投。

融资动态「时间轴梳理」

• 最新融资：A轮（金额：未披露），投资方深创投，日期2025年07月24日。来源：企业天眼查，发布日期：2022-06-21
• 早期融资：天使轮（金额：未披露），投资方奇绩创坛，日期2022年12月29日。
• 资金用途：未披露。

创始人&团队「背景透视」

• 核心创始人：林锦坤，北京大学信息科学技术学院博士，曾供职于中科院软件研究所，具备深厚数学与求解器研发背景，擅长技术攻关与科研转化。来源：天眼查，发布日期：2022-06-21
• 关键成员：未提及。
• 团队互补性：核心研发团队来自北大和中科院，连续多年获求解器比赛世界冠军、FLoC奥林匹克金牌，技术壁垒强，但商业与销售端信息尚未披露。

公司经营「关键指标」

• 营收与盈利：近周期营收未披露，复合增长率未披露，累计亏损/盈利未披露。
• 客户画像：平均单客价值未披露，前5大客户占比未披露，复购率未披露。
• 收益与竞争力：核心收益来源以求解器产品授权或MaaS服务为主；核心竞争力体现在技术层面：2025年8月与中科院软件所联合研发的并行SMT(BV)求解器在SMT-COMP 2025获三个分赛道冠军，并已获国家高新技术企业、中关村高新技术企业、北京市创新型中小企业认定。来源：企业官网，发布日期：2025-12-06

行业&政策「趋势研判」

• 行业趋势：赛道定位为工业软件底层计算引擎（求解器），属于“卡脖子”关键技术环节。国内市场正处于国产替代加速期，国外主流求解器（如Gurobi、CPLEX）占据主导，国产求解器渗透率较低，行业处于成长期。
• 政策支持：受益于国家“工业软件自主可控”战略及相关政策支持。2025年8月获颁北京“专精特新”专板企业证书，表明政策对具有核心技术的创新型中小企业给予培育与扶持。来源：企业官网，发布日期：2025-12-06

核心信息「一句话提炼」

• 核心优势：世界级求解器技术壁垒（SMT-COMP多赛道冠军），核心团队来自北大/中科院，产品矩阵覆盖SAT、MaxSAT、SMT等多类型，具备MaaS平台化潜力。
• 关键挑战：面临国外成熟求解器的市场竞争压力，商业化落地与客户拓展尚处早期，融资规模及营收数据未披露。
• 未来潜力：长期受益于国产替代与“工业软件自主可控”政策红利，若能在工业制造、芯片设计等领域跑通标杆客户，有望实现快速增长。