-
晞德求索荣获第八届“创业北京”创业创新大赛优秀奖
晞德求索《基于AI+数学的大算力求解器》项目历经区级选拔、市级选拔与市级决赛环节的层层评审，从近5000个参赛项目中脱颖而出，荣获第八届“创业北京”市级决赛现代服务赛道优秀奖。
넶0 2025-11-07 -
晞德求索荣获2025“万创杯”未来产业创新创业大赛总决赛优胜奖
晞德求索凭借项目《基于AI+数学的工业软件求解器与计算方案》从全国200余支参赛队伍中成功突围，荣获大赛总决赛优胜奖。
넶2 2025-11-07 -
-
晞德求索×中科院软件所斩获SMT-COMP 2025多个冠军
2025年8月，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）公布竞赛结果。晞德求索与中科院软件所团队联合研发的并行SMT(BV) 求解器在位向量分组获得三个分赛道冠军。
넶58 2025-08-28 -
-
晞德求索CTO林锦坤应邀出席第五届人工智能与工业技术应用国际学术会议，并发表特邀报告
2025年3月，晞德求索联合创始人、首席技术官林锦坤博士以特邀报告人（ Invited Speech）身份受邀出席第五届人工智能与工业技术应用国际学术会议（AIITA 2025），并在AI+工业场景实践应用分论坛发表主题为《约束求解器与大语言模型的结合 (Constraint Solvers meet Large Language Model)》的特邀报告。
넶23 2025-08-28 -
晞德求索自动建模平台SeedModeler接入DeepSeek
2025年3月，SeedModeler接入DeepSeek R1。凭借DeepSeek在文本信息处理、复杂问题理解、数学推理上的强大优势，SeedModeler具有更强大的建模能力，在处理经典运筹优化建模问题时展现出了良好的性能。
넶20 2025-08-28 -
-
-
晞德SeedMIP求解器荣获工信部第二届能源电子产业创新大赛国产求解器专题赛二等奖
2024年12月，在工信部产业发展促进中心等单位主办的第二届能源电子产业创新大赛上，晞德求索自研的优化求解器SeedMIP获得国产求解器技术专题赛二等奖（第三名）。
넶19 2025-08-28
