数学优化求解器,相信不少第一次听到这个名词的人会和记者一样有疑问,这是干什么的?
举个例子可能更有助于理解这个问题。有一个连锁零售品牌,在全市有100家点,它每天需要给这100家点送货。这个连锁品牌的管理者每天面临一个问题是:明天要排出多少辆车、需要走什么路线、需要运送哪些货、要运多少?在确保货物供应的前提下,要追求成本最低,这是方案的难处所在。
数学优化求解器(以下简称求解器)就可以帮助解决这些问题。数学优化求解器是个专业名称,属于运筹学范畴。虽然外行人不知道数学优化求解器,但从事运筹学或者从事与工业工程、系统工程、管理科学、应用数学等等相关工作的人却是非常熟悉。
求解器在解决优化问题时候,就相当于士兵手上的刀剑,是非常关键的工具,已经被广泛应用在航空、军事、能源、工业、交通等等场景中。

“几乎所有大型工业企业跟计划、跟调度相关的问题背后都需要数学优化求解器。它是一个核心的计算工具,通过了它来驱动与计划和调度有关的决策。”杉数科技联合创始人兼CEO罗小渠博士表示,基本上只要这个问题有相对明确的优化方向、优化目标,以及有比较复杂的约束条件,都可以被转化抽象成一个数学规划的优化问题,结合求解器实现一个高效的求解。
目前,数学优化求解器已经成为一种通用的产品,市场主流的求解器主要来自国外,包括IBM、FICO和GUROBI是最大的三个玩家。
杉数科技算法总监高季尧博士介绍,做求解器的厂商并不多,因为求解器的技术门槛很高:首先,开发求解器需要非常多的数学规划相关知识作为基础;其次求解器本身属于常复杂的工业应用软件,需要软件工程的开发经验(比如其中的整数规划模块的开发就会涉及到上百万行代码的开发);第三也是很重要的,需要非常多的领域经验,否则很难实现各个环节的优化上从而达到很好的水平;第四,求解器中间还有很多创新性的技术难题的挑战,需要一些创新思路去解决。
在这个领域中国厂商更少,杉数科技是不多的几家中国公司之一。成立于2016年的杉数科技由罗小渠等4位海外回国的博士所创建,虽然是新入行,但起点高,刚一入局就因其产品的优异表现而引起了业界的关注。
高季尧告诉记者,杉数科技推出的商用线性规划求解器COPT连续四次打榜国际公测平台,测试结果名列前茅。2020年10月,杉数科技推出线性规划内点法求解器,从而使COPT的整体技术框架更为全面,其性能表现比肩Gurobi和MOSEK,跻身世界一流水平。未来2-3年,杉数科技将继续致力于线性规划内点法和整数规划的开发,以及向最难也是最有意义的混合整数线性规划(MILP)方向进发。
杉数科技求解器的优秀表现引来了投资机构的认可,2020年3月杉数科技宣布完成B轮融资,引入万科集团及天任投资两个重要战略股东,融资金额近亿元,资金将主要用于产品研发与推广、团队建设等。据悉,C轮融资目前已经启动,预计不久也会对外宣布。
当然,一家公司光有求解器还不行,求解器相当于汽车的发动机,绝大多数企业需要的是一台汽车,需要把这个求解器包装称行业解决方案。
罗小渠说,过去四年,杉数科技以求解器作为底层技术引擎逐步打造行业性的应用产品平台。此前主要打造的面向供应链产品平台,今年开始逐步向能源、航空这些行业拓展。未来,杉数将以技术为依托而逐步往前发展,变成一个多场景的技术提供者。
“四年来,我们通过服务中国一些头部企业,来验证我们的技术哪些对于产业和场景真正有价值,应该以什么样的方式服务客户,以及当你打造行业产品的时候应该怎么样做产品的固化。如今,我们已经走过这一阶段。”罗小渠表示,接下来的重点是形成稳定产品平台,打造标杆案例拓展重点行业。
谈及公司未来的发展,罗小渠非常有信心。他说,当下的中国正在从数字化迈向智能化,数学优化求解器对于企业精细化运营和走向智能化能起到非常关键的作用,因此大有用武之地。其次,从产业环境而言,作为一家掌握了核心技术的高科技企业,政府给予高度关注,也给予很多支持。这些有利因素都将助力杉数科技成长壮大,来更好地赋能中国的数字经济。
好文章,需要你的鼓励
AI颠覆预计将在2026年持续,推动企业适应不断演进的技术并扩大规模。国际奥委会、Moderna和Sportradar的领导者在纽约路透社峰会上分享了他们的AI策略。讨论焦点包括自建AI与购买第三方资源的选择,AI在内部流程优化和外部产品开发中的应用,以及小型模型在日常应用中的潜力。专家建议,企业应将AI建设融入企业文化,以创新而非成本节约为驱动力。
字节跳动等机构联合发布GAR技术,让AI能同时理解图像的全局和局部信息,实现对多个区域间复杂关系的准确分析。该技术通过RoI对齐特征重放方法,在保持全局视野的同时提取精确细节,在多项测试中表现出色,甚至在某些指标上超越了体积更大的模型,为AI视觉理解能力带来重要突破。
Spotify在新西兰测试推出AI提示播放列表功能,用户可通过文字描述需求让AI根据指令和听歌历史生成个性化播放列表。该功能允许用户设置定期刷新,相当于创建可控制算法的每周发现播放列表。这是Spotify赋予用户更多控制权努力的一部分,此前其AI DJ功能也增加了语音提示选项,反映了各平台让用户更好控制算法推荐的趋势。
Inclusion AI团队推出首个开源万亿参数思维模型Ring-1T,通过IcePop、C3PO++和ASystem三项核心技术突破,解决了超大规模强化学习训练的稳定性和效率难题。该模型在AIME-2025获得93.4分,IMO-2025达到银牌水平,CodeForces获得2088分,展现出卓越的数学推理和编程能力,为AI推理能力发展树立了新的里程碑。