如何击破求解器 数学 林锦坤 对话晞德求索 GPT CTO 围墙 (如何击破求解密码的人)
作为一门高度抽象化和具有逻辑推理特性的研究，数学建模似乎离我们很遥远。
事实上，日常生活中运用到数学模型解决问题的事例俯拾皆是：打车系统里，算法会匹配距离乘客更近的司机、规划最快到达目的地的行程路线；购物平台上，算法会调配库存充足的出货仓、计算中途的运转站和物流配送车辆......
对大部分人来说，使用数学工具是件门槛极高的事情。但大模型的出现，改变了这一现状。在数学家陶哲轩的手中，细节到检索公式定理、翻译论文、整理文献，大到为论文生成图表、寻找灵感，ChatGPT 已经成为他科研的常用助手。
而研究之外，大模型对数学的影响还远不止于此。
晞德求索科技，一家专注于数学赋能的初创公司，团队基于大模型发布的自动数学建模工具 SeedModeler，就将大模型与求解器完成了融合打通。
如何让数学在具体生产环节中发挥作用？SeedModeler 给出的思考是，贯穿问题理解、数学建模到模型求解全流程，借助大模型，建立自然语言到计算机语言的跨领域对齐，降低使用求解器的门槛，从而提高数学建模的应用效率，让数学服务更多人。
一场「大模型+数学」的跨语言对话
长期以来，求解器的应用都面临着语言门槛的问题。
现实生活中，生产调度、供应链管理、排工排产、库存和运输优化等许多复杂的规划和决策问题都能使用求解器来解决。一个形象的比喻是，求解器类似于计算器的角色。企业采购一批物资，需要采买的材料可以在头脑中列出一份清单，但是怎么买价格更低、组合更优惠、用哪家的物流路线更快等等，实际需要考虑的要素呈几何倍数增加，这个时候使用求解器，可以辅助我们快速计算得到更精准、更科学的方案。
这个过程中涉及到五个具体步骤：首先，明确待解决的业务问题，定义优化问题三要素，用计算机语言来建立对应的数学规划模型，将该模型导入到求解器中求得最优解或可行解，最后参考解法进行决策。
其中，由于业务端往往给出的是自然语言的具体问题，导入求解器中，需要转换为特定的数学语言或计算机语言，这对没有建模能力的业务人员来说无疑是极大的挑战。
在探索将数学求解器商业化的过程中，晞德求索的团队也发现了这一痛点：大规模使用数学工具的主要门槛在于如何将场景问题提炼成数学模型。要使用求解器，就必须要额外付出成本去解决的数学门槛，许多需求都被拦在门外。
为此，作为一支由数学或计算机研发人员组成的团队，晞德求索基于一些模板和方向，开始了求解器低门槛推广路径的探索，但在一段时间以来，其表现却未能尽如人意。直至大模型出现，改变了这一困境。
大模型究其本质，是用自然语言处理在人类和机器之间，构建了一个可理解、相对清晰的逻辑描述和语义对齐，并以便捷易用的交互界面，让大众都能用起来。在此基础上，晞德求索从多年来在数学建模和求解领域所积累的经验、丰富的数据出发，将整套建模和求解器应用流程进行整合，提出了自动数学建模工具 SeedModeler。
常规的数学模型搭建离不开三个关键性要素，分别是定义决策变量、建立目标函数和确定约束条件。其中，
具体到供应链场景下，假设某企业生产某产品需要不同原料，且该企业有不同的供应商，每家供应商的价格不同且每周可以供应的原材料数量有上限。采购人员需要根据供应商报价和生产需求，计算出一个成本最低的采购方案。
这个过程中，如果将采购问题转换为数学模型用求解器进行计算，企业不仅要求助额外的数学建模工程师、根据具体需求搭建模型，同时，即便是有建模经验的工程师，面对生产场景里的精细化问题，也往往需要一周甚至更多的时间建立模型和修改模型，企业所对应的人力成本和时间成本被拉高。
但有了 SeedModeler 之后，企业就无需再专门招聘建模工程师，面对具体的业务问题，采购人员只需用自然语言将问题描述输入 SeedModeler 中，即可得到由 AI 自动分析问题后给出的对应的数学模型，大大缩短了过去用户问题与求解器应用的距离，帮用户低成本跨越了求解器的使用门槛。
不仅如此，针对生产环节中的具体问题，SeedModeler 还会根据具体情况提出针对性建议，用户也可以根据自身需求，对数学模型进行修改。
当采购人员确认了所有因素均已被纳入数学模型的考量后，即可生成代码，由 SeedModeler 提出相对应的数学模型代码，并生成测试数据。最后，采购人员点击求解，SeedModeler 就会调用求解器进行求解，并以自然语言和结构化数据给出对应的采购和生产方案。
从专业人员需要一周的建模周期，到非专业人员没有数学基础、仅需几分钟就能完成一个数学建模，SeedModeler 将以往传统的求解器应用问题，基于大模型的自然语言能力和交互能力，全面嵌入 AI 自动化数学建模的流程中，让模型来适应用户，降低数学建模和求解器的应用门槛，极大地提高了用户对数学生产工具的使用效率。
目前，晞德团队已将 SeedModeler 应用于日常的建模工作中，搭配晞德的多款求解器，打通了从问题到模型到答案的数学赋能产业的全流程。
将数学与大模型进行融合，在新的技术底层之上释放数学工具的生产力，这也为大模型应用创业公司提供了一个新的参考路径。
AI 科技评论：目前市面上陆续发布了不少数学大模型，与其他产品相比，SeedModeler 的差异和优势分别是什么？
林锦坤： SeedModeler 不是另外一个数学大模型，而是大模型在自动建模领域的应用。
现实应用中的数学模型通常涉及大量复杂而相互关联的约束，与我们平时所做的应用题或数学题是不同的，这类问题通常需要调用专业的求解器才能解决。
过去推广求解器时我们发现，虽然求解器很好用，但要把它应用到实际问题中，前期有很长一段路要走，需要将对应的工作问题抽象描述为数学模型、再使用求解器。这一步通常需要投入很重的人力成本和时间成本，如果要普及求解器，就必须降低使用门槛，SeedModeler 正是为此而研发的。
据我们所知，目前市面上还没有针对这个应用领域而开发的大模型。
AI 科技评论：SeedModeler 解决的是工作流中建模环节的效率，有其通用性、也需要考虑具体使用场景的行业性问题，它底层的技术原理是什么？
林锦坤： 通常情况下，数学建模的难点在于处理问题中存在的复杂约束，并用正确的数学公式表达出来。对于不同的行业场景下的问题约束，在数学本质上的差异通常并不会特别大。
SeedModeler 基于晞德求索团队多年来在数学建模和求解领域所积累的经验、丰富的数据，以及大模型的自然语言理解能力和指令理解能力，将整套建模流程进行了整合。
AI 科技评论：以具体场景为例，介绍一下 SeedModeler 是如何发挥作用的？
林锦坤： 以供应链问题为例，假设某企业生产某产品需要不同原料，且该企业有不同的供应商，每家供应商的价格不同且每周可以供应的原材料数量有上限。同时，企业的需要保证一定的库存余量，以确保一段时间的生产能够正常进行。如果你是该企业的采购人员，你该如何根据供应商报价、企业生产计划、原材料库存计算出一个成本最低的采购方案。
用求解器可以很好地解决这个问题，但是，由于生产问题多以自然语言或流程图的形式呈现，使用求解器、避免不了将问题转化成为数学模型和求解代码，这对于非专业人员而言比较难。期间团队构思和探索了一些模板和方向，但效果都不是很好。直至大模型的出现，让我们觉得非常惊喜。
SeedModeler 通过整合大模型的能力，可以实现从自然语言问题到公式语言的转化，自动建模数学模型，并且生成相应的求解代码，一键求解得出最优的采购方案，从而极大程度地提高企业决策效率。
AI 科技评论：训练 SeedModeler 需要哪些方面的数据？面对金融、医学等数据保密性高的垂直领域，数据样本问题如何解决？
林锦坤： SeedModeler 需要的数据主要来自于不同类型问题的数学模型，尤其是那些涉及复杂约束的数学模型。正如上面所提到的，在数学本质的层面，不同领域的问题建模差异通常不会特别大，因此对垂直领域来说，数据保密性高对于数学建模的影响并没有想象中的大。
例如，用户提出问题需要用到运筹优化的求解器，对应模型则是从运筹优化的方向进行建模，这当中与问题相关的领域数据、对建模影响并不大，关键是基于问题描述本身以及对应的数学模型如何生成。
当然，SeedModeler 还在优化和完善的过程中，对于某些特定领域下的特殊类型约束，SeedModeler 还需要再针对性地吸收这类问题的建模经验。随着这方面的积累增多，SeedModeler 的建模能力也会越来越强。
AI 科技评论：关注到目前晞德求索的成员大部分深耕数学求解器领域多年，这样的人员组成对 SeedModeler 的研发有什么影响？
林锦坤： 我们团队核心成员从事求解器多年研究，如何让更多人走近数学、让数学服务更多人是我们一直以来的追求和愿景。使用求解器的前提条件，是将问题准确地描述为合适的数学模型以及相应的求解代码，这个过程不仅需要专业的建模和求解知识，并且费时费力。
ChatGPT 出来后，其表现令我们十分惊喜，于是便思考将 ChatGPT 跟求解器相结合的可能性，基于多年来的建模和求解经验，用几个月时间迅速研发出了 SeedModeler。
AI 科技评论：SeedModeler 的目标客户群体包括哪些行业？
林锦坤： 需要使用数学建模的行业都能够从 SeedModeler 获益，包括生产调度、供应链管理、排工排产、库存和运输优化等。
目前，SeedModeler 还属于一个新研发的产品阶段，接下来会逐步对外开放。此前一直作为公司内部的建模工具，为公司提高所承接项目的建模效率。
AI 科技评论：从产品角度来看， SeedModeler 的能力表现、跟模型在不同细分行业场景中应用的相关性大么？具体效果如何？
林锦坤： SeedModeler 属于大模型在细分行业场景中的应用，主要致力于降低数学的使用门槛，尤其是降低使用求解器来提高效益的门槛。其主要功能包括：将自然语言描述的问题转化成为数学模型，给出改善模型的专家建议，允许客户用自然语言修改数学模型，生成模型求解代码，使用求解器给出原问题的求解结果。
过去在涉及到复杂场景的问题时，可能需要两三个月、甚至更长时间才能完成数学建模和代码编写，在此基础上再进行求解器的调用，有了 SeedModeler 后，这一情况得到了改善。据内部测算，借助 SeedModeler 平台能力，只需几分钟时间即可完成一个数学建模，即使是面向更复杂的场景优化问题，用户也只需对模型进行简单的修改和再适配，极大地提高了决策效率。
AI 科技评论：现阶段来看，行业/领域大模型被认为是大模型落地可行性最高的方向，您怎么看待这种观点？这是否也是晞德求索从数学 GPT 切入的原因之一？
林锦坤： 从短期内的应用而言，我是支持这个观点的。
目前，通用大模型的最高性能是 OpenAI 的 GPT-4，其他各个大模型还在追赶过程中。但即使是 GPT-4，在许多垂直领域中的应用仍然存在许多瓶颈。因此，利用垂直领域的经验和数据积累，借助大模型的能力，是非常有希望能够做得很好的。这的确也是晞德求索借助大模型来完成自动建模的原因之一。
但另一方面，降低数学使用的门槛一直是晞德求索的初衷，实际上在大模型没有流行之前，晞德求索就已经在筹划自动建模的内容了，现在赶上了大模型成熟的时机，对我们而言是一个很好的机遇。
AI 科技评论：SeedModeler 的大模型路线是什么样的？目前瞄准的是自动建模方向，是否意味着未来还会支持更多细分方向？
林锦坤： 从接入大模型的技术路线上，晞德在考虑私有部署大模型的计划，以更好地打造产品。SeedModeler 之后的发展仍然会是降低数学使用门槛的方向，尤其是降低各类数学求解器的使用门槛。SeedModeler 将来会支持更多类型的数学模型，例如图论模型、一阶逻辑模型等。同时，针对大规模的问题求解，我们还计划让 SeedModeler 支持分阶段建模求解。
原创文章，未经授权禁止转载。详情见 转载须知 。
本文地址： /article/b902d8432bf44ddfb151.html
货拉拉是一家“互联网+”综合性物流平台，创立于2013年，成长于粤港澳大湾区，从事同城/跨城货运、企业版物流服务、搬家、零担、跑腿、冷运、汽车租售及车后市场服务。公司通过共享模式整合社会运力资源，完成海量运力储备，并依托移动互联、大数据和人工智能技术，搭建“方便、科技、可靠”的货运平台，实现多种车型的即时智能调度，为个人、商户及企业提供高效的物流解决方案。截至2025年11月，货拉拉业务范围覆盖全球14个市场，包括中国内地、中国香港、东南亚、南亚、中东及南美洲地区，其中中国内地总共覆盖363座城市，月活司机达140万，月活用户达1600万。
腾讯网从2003年创立至今，已经成为集新闻信息，区域垂直生活服务、社会化媒体资讯和产品为一体的互联网媒体平台。腾讯网下设新闻、科技、财经、娱乐、体育、汽车、时尚等多个频道，充分满足用户对不同类型资讯的需求。同时专注不同领域内容，打造精品栏目，并顺应技术发展趋势，推出网络直播等创新形式，改变了用户获取资讯的方式和习惯。
赣州旺企家品牌营销策划有限公司是一家专注赣州网站建设、网站制作、网络推广、网站SEO优化的网络公司，为赣州南康企业提供一站式网络营销策划解决方案。
新一代视频风行网,提供免费电影、电视剧、综艺、动漫、体育等视频内容的在线观看和下载.累积7亿用户的全平台,为传媒机构和品牌客户开设了官方视频服务账号,通过大数据分析与个性推荐订阅技术,实现海量独家内容与用户个性需求即时匹配.
爱名网是CNNIC&ICANN双认证、工信部批准、国内领先的域名中介，可免费查询.COM国际域名，.COM是域名注册申请首选，全球注册量第一，是目前国际最广泛流行的通用域名格式，现全球的用户超过1.1亿个，赶紧来爱名网注册。
全国人大常委会官方网站，是全国人大及其常委会的重要舆论媒介，信息公开、服务代表、联系人民的重要平台。
郑州电信宽带办理服务全郑州地区、提供最优惠的电信资费套餐、商务宽带套餐，包括中牟、新郑龙湖镇、荥阳等地、上门办理方便快捷.热线68888822。
一家集电子商务服务、信息化管理咨询服务及电子招投标系统开发的“互联网+”综合解决方案提供商
百花职教网-专业职业考试资讯平台，提供财务类、建筑类、医卫类、学历提升、IT及语言考试等培训信息、考试动态及备考指南。其中包括但不限于建筑师、建造师、造价师，安全工程师，会计，九大员，土木，电气，岩土工程师，安全工程师，设施操作员，消防工程师，结构工程师，医师，药师，教师等。正在关注各种职业考试的同学，欢迎大家关注并收藏本站。
衡水老白干酒有着悠久的酿造历史，据文字记载可追溯到汉代（公元104年），知名天下于唐代，正式定名于明代，并以“醇香清雅、甘冽丰柔”著称于世。衡水老白干酒的酿造生产1900年基本上没有间断。
江苏领富新能源科技有限公司创办于江苏省徐州市，是一家专注从事新能源电动汽车充电设施和储能设备。公司总部位于江苏徐州，在浙江乐清开发区设有分公司，现有员工50余人，工程师3名，研发团队10余人，公司拥有雄厚的产品研发定制能力、完善的生产工艺及设备。
宁夏恒康科技有限公司成立于2013年，位于宁夏贺兰工业园区，占地面积13万平方米,注册资金2亿元，是集胍盐类中间体、医药原料、动物营养、食品保健、新型材料等产品的研发、生产、销售为一体的高新技术企业。 公司现有员工350余名，53%以上拥有大专以上学历。公司建有1300平米的研发实验室，拥有独立的研发技术中心及配套的研发、产品检测设备。公司采用先进的工艺技术及进口装备，以GMP质量管理体系为标准，建立了一整套严格的质量保障体系，始终确保为客户提供*优质的产品服务。具备年产12500吨盐酸二甲双胍医药原料（此生产线为全球*大的单线生产线）、10000吨GAA、15000吨肌酸系列、5000吨DICY超细新材料的生产能力，产品畅销欧美等多个国家和地区。依托自身丰富的人才优势和先进的硬件设施，公司承担多项自治区级科研示范项目，在盐酸二甲双胍、GAA、肌酸、DICY超细粉工艺技术创新方面取得了突出成果，相关技术指标达到国际先进水平。 公司先后获评国家高新技术企业、自治区瞪羚企业、自治区专精特新中小企业、自治区数字化车间（年产20000吨盐酸二甲双胍（含80亿片剂）车间）、宁夏氰胺类医药中间
奶茶取材自然新鲜，且不添加任何色素与添加剂，故奶茶是健康品质的饮品，深受年轻群体的青睐，市场中，奶茶的店面品牌迭出，其中，阿水大杯茶凭借着其出色、健康的品质成为奶茶项目中较为知名的品牌，阿水大杯茶在产品制作过程中，是有着严苛的品质标准要求，并且坚持古法制作工艺，充分还原奶茶的经典风味，所以阿水大杯茶是很受欢迎的，那么现在加盟阿水大杯茶...。
2021年，，碳中和，成为高频词，对于投资行业来说，它也格外有意思，因为投资大多投向的是变化与不确定；但绿色转型已成为未来最大的确定性，这一确定性有力地引导大量社会资本转向，碳中和，相关产业，通过不断探索最优的资源配置，去追求环境、公平、社会价值与经济价值的共赢，对于投资机构的从业者而言，能够对双碳目标下产业的发展趋势进行剖析，显得至...。
雷锋网消息，谷歌正在创建一个基于安卓系统的全球性地震预警系统，该系统第一版本已于8月11日推出，如果在安卓手机上启用该系统，检测地震的算法通过手机中的加速度计收集数据，最终，该系统将会自动向可能受到地震影响的人发送警告，据悉，谷歌正在分阶段推出该系统，首先，谷歌正在与美国地质调查局和加利福尼亚州紧急服务办公室合作，向该州的Androi...。
科赫，Robert，Koch，生于1843年，1866年毕业于德国哥廷根大学医学院，毕业后先是在军队中当随军医生，普法战争后在东普鲁士一个小镇当医生，正好这个地区的牛发生了炭疽病，他便对这种疾病进行了认真细致的研究，他在牛的脾脏中找到了引起炭疽病的细菌，并且把这种细菌移种到老鼠体内，使老鼠相互感染了炭疽病，最后又从老鼠体内重新得到了和...。
发表在其它家用投影仪品牌2022，6，1710，52投影仪市场的发展使得很多小众百元投影仪纷纷出现在消费者眼前，之后一直就听说过百元的投影仪不好用，实际效果真的如此吗；独影Q8就是一款价格在五百左右的迷你便携式投影仪，独影Q8投影仪怎么样，今天我们就来分析这款百元投影仪好不好用，能作为家用投影仪来使用吗，独影Q8怎么样，一，光学参数和...。
中国人寿保险昆山支公司，地址，苏州昆山市集街286号；，中国人寿保险官网江苏电话中国人寿保险股份有限公司，地址，南京市中山东路298号中国人寿广场1层中国人寿保险股份有限公司江苏省分公司电话销售中心，苏州，详情»地址，金枫路216号东创科技园B4座1，5楼江苏省不同的城市有很多家分公司，具体可以推荐登入中国人寿官网，点击，营业网点查...。
[全球时报特约记者晨阳]台湾防务部门11日发布的所谓，束缚军舰机灵活，显示，从10日早上6时到11日早上6时，束缚军一共出动了66架军机和7艘军舰在台岛周边优惠，创了往年相关统计数字的新高，台湾中时资讯网11日称，依据台军发布的数据，束缚军今日，三面围台，，出动了56架次主、辅战机、直升机及无人机越过所谓，海峡中线，，进入台湾北部、西...。
题目，微镜头·习近平主席中亚之行，长大后我想去中国，期间，外地期间7月2日半夜日程，哈萨克斯坦少年儿童用中文演唱，歌唱祖国，，欢迎习近平主席到访哈萨克斯坦，阿斯塔纳，时隔1年多，习近平主席的专机再次在这里起飞，舷梯下，迎接习近平主席的是托卡耶夫总统，舱门开启，见到老好友，东道主的激情如中亚正午的阳光，习爷爷来了！贵宾楼大厅，十多名哈萨...。
你能否正在思考购置一辆二手车，假设是，那么你或者须要思考雪佛兰乐驰二手车，作为一辆十分受欢迎的车型，雪佛兰乐驰在二手市场上也有很高的占有率，它是一款燃油经济的紧凑型轿车，领有动感十足的外观和宽阔温馨的外部空间，以下是一些关于雪佛兰乐驰二手车的具体消息，车辆性能，雪佛兰乐驰运转稳固，具有微弱的能源性和低劣的燃油经济性能，同时，它的悬挂系...。
oracle数据库通过某个字段的值查询数据怎么写sql语句,不知道具体表,不... 1、在计算机中，打开Oracle的连接程序，用新建的数据库管理员，进入【Oracle控制】的窗口上，鼠标左键单击【服务器】按钮，并选择【SQL工作表】，如下
业内称iPhone15全系破发系平台营销
3dmax教程合集(7本),这里整理我学习3DSMAX的一些教程，有资料，基础，实例教程，非常全了，这么好的东西别的站里还真没有,您可以免费下载。
Hangfire(统一编程模型),Hangfire提供了一个统一的编程模型，以可靠的方式处理后台任务，并在共享主机、专用主机或云中运行，你可以从简单的设置开始，随着时间的推移，为这些场景的后台工作增加计算能力,您可以免费下载。
3dmax教程合集(7本),这里整理我学习3DSMAX的一些教程，有资料，基础，实例教程，非常全了，这么好的东西别的站里还真没有,您可以免费下载。
业内称iPhone15全系破发系平台营销
腾讯软件中心提供2023年最新7.98.77.022官方正式版爱思助手高速下载，本正式版爱思助手软件安全认证，免费有插件。
游戏简介江湖墨世录破解版下载，一款以武侠冒险为主题的RPG手机游戏，庞大的游戏世界，在我们的游戏中自由漫游，享受更多欢乐，在我们的游戏中培养我们的角色，开启精彩的冒险决斗，在我们的游戏中自由获得大量游
