1.公司简介

公司以数学求解与人工智能为核心技术，致力于为工业软件打造高性能求解器与计算方案。公司成立两年，已获得中关村高新技术企业、科技型中小企业等资质，入选2024中关村论坛《百项新技术新产品》榜单，并在多个创业比赛中获得奖项。

2.项目亮点

以数学建模大模型和约束求解器为核心产品，使得建模门槛更低、求解效率更高、求解规模更大、求解结果更优。

3.团队要员简介

蔡少伟：首席科学家，北京大学计算机博士、格里菲斯大学和NICTA联合培养应用数学博士，中国科学院博导、国家优青、智源学者，担任EDA2形式化验证标准组组长、《EDA技术白皮书》形式化验证工具主编，获得多个SAT及SMT比赛世界冠军。

林锦坤：首席技术官，北京大学计算机博士，曾供职于中国科学院软件所，主要研究软件工程和约束求解器，所设计的方法在有效性和时间效率上都显著领先，在人工智能/软件工程顶级期刊和会议发表多篇论文。

何  兵：产品负责人，中国科学院软件所计算机硕士，曾供职于百度、微软等机构，负责产品工作。