如何击破求解器 数学 林锦坤 对话晞德求索 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 支持分阶段建模求解。
原创文章，未经授权禁止转载。详情见 转载须知 。
2345天气预报准确提供24小时、今天、明天、未来一周7天、10天、15天、30天及40天天气预报查询服务，可以查询全国3259个城区及全球四十天天气预报!并为用户提供生活指数、交通指数、旅行出游指数及各类专业天气预报资讯。
宜兴软服信息科技有限公司是一家计算机软硬件及系统集成商，主要产品有宜兴收银机、宜兴无线呼叫系统、宜兴门禁考勤机、宜兴车牌识别、宜兴二道门系统、宜兴翼闸摆闸三辊闸
手机蛇口逃生游戏在线玩,蛇口逃生h5游戏在线玩是一款休闲动作类h5暗黑小游戏，游戏画风高清，分为三种不同的闯关模式，是玩起来比较不错的游戏，20秒杀死墨血豹蟒，救下人类最后的希望!;您可以免费在线玩。
微伴助手是一家专业的企业微信SCRM，帮助开发企业微信高级功能，提供聊天提醒、渠道活码、会话存档等服务，搭建办公管理系统，无需下载即可实现在线营销。
西湖论剑是国内最具影响力的网络安全大会之一，聚焦数字中国建设的战略方针、政策法规，围绕数字经济新技术、新应用、新业态，以数字安全赋能数字时代发展，已成为中国网络安全领域的金名片。
深圳市凯昶达科技有限公司
加粮站平台提供全国上百种猫粮代理，致力于狗粮微商代理加盟，工厂一手货源直供一件代发，欢迎免费宠物粮代理咨询。
爱奢优品上海门店是上海专业的二手奢侈品回收实体店，主要提供包包回收、手表回收、黄金回收、首饰回收和钻石回收等正品二手奢侈品回收业务，提供2022年实时的上海地区二手奢侈品回收价格，支持上门回收，快速变现。
山东省济南市壁虎印是一家o2o网络在线设计及在线下单印刷名片、DM单页、海报、画册、手提袋等产品的印刷企业!成功对接自有物流体系打造出了线上下单线下送货上门的高效团队！
安全租号-安全租号玩游戏|网吧租号游戏安全专用|游戏租号-国内专业游戏租号推广平台，cf，lol等游戏高级账户无需密码即可畅玩，低门槛推广租号多样盈利，安全放心创业加盟赚钱！
金融家网为您提供深入的金融市场分析，覆盖新三板、证券投资、外汇交易、全球股市动态、经济趋势、银行业务、港股和美股市场、信用卡资讯、基金选择及上市公司信息。我们的网站是您在金融海洋中导航的灯塔，助您把握投资先机。
见了一年的投资人和客户，大家上来就问，你们做不做预标注，能不能用预标注解决所有问题，在类GhatGPT大模型爆火的当下，预标注技术似乎已成为自动驾驶数据标注赛道上的致胜金牌，一家年轻的自动驾驶数据服务公司——恺望数据在近日举办的闭门交流会上给大热的预标注技术，浇冷水，恺望数据产品项目VP张鹏表示，目前自动驾驶预标注技术仅能处理6...。
6月中旬，智源研究院旗下的FlagEval大模型评测平台发布最新榜单，在有标准答案的，客观评测，中，GPT，4以76.11分在闭源大模型中排名第一；Doubao，Pro，豆包大模型，以75.96分排名第二，同时也是得分最高的国产大模型；其后依次是ERNIE4.0、Baichuan3、Moonshot，v1，在开放问答等，主观评测，中，...。
消息，2022年1月25日，百度研究院发布了2022年十大科技趋势，涵盖了AI核心技术、交叉学科与跨领域研究、AI的产业及社会价值三个层面，同时，这十大科技趋势分别涉及了预训练大模型、AIforScience，人工智能应用于科学研究，、基于AI的生物计算、隐私计算、量子软硬一体化、自动驾驶、深空探测、人机共生、绿色AI和普惠AI...。
雷锋网消息，3月14日，雅观科技在上海举办了，AI，悟及物，柔，生万屋，2019雅观科技新品发布会，发布了空间智能化操作系统Akeeta、空间智能化柔性服务技术中台Matrix，以及基于两者开发的雅观智慧社区1.0平台，雅观科技作为AIoT时代智能家居领域的平台厂商，基于AI、大数据、云计算，为地产业提供一站式全屋智能解决方案，据官...。
消息3月20日，以，安全即服务进阶AI引领未来实战，为主题的360安全大模型3.0发布会在京举行，360集团首席科学家兼360数字安全集团CTO潘剑锋在发布会上提到，，我们参考了人类大脑的运行逻辑，构建360安全大模型3.0框架，实际应用中，在多个专业任务效果上超过GPT4，360集团首席科学家兼360数字安全集团CTO潘剑锋...。
8月21日，火山引擎AI创新巡展在来到上海，此次巡展会，火山引擎发布了豆包大模型的一系列产品升级，并携手多点DMALL成立零售大模型生态联盟，火山引擎总裁谭待表示，较3个月前，最新版豆包大语言模型的综合能力提升了20.3%，在智源、上海AILab等权威机构的多项评测中位列榜首，豆包模型进化，使用量爆发，综合能力提升20.3%Quest...。
要闻提示1.抖音等字节系多款App被指控抄袭源代码，美摄科技被曝，天价索赔，，最新回应2.滴灌通公布内部裁员信，涉及100多人，提供上至N，3的补偿3.京东金融回应内测活动出bug损失数百万，用户的已获红包不会被收回，可正常使用4.阿里巴巴原副总裁贾扬清谈大模型，价格战，降价拍脑袋就可以做5.部分办公软件被曝多头收费，，来来回回交了...。
独家确认，AI芯片创业公司墨芯人工智能，MoffettAI，联合创始人兼首席架构师肖志斌已经离职2个月，离职后他将专注于AI大模型软件及系统层面的工作，目前暂不清楚接替肖志斌的人选，肖志斌是美国加州大学戴维斯分校电气工程博士，曾任职于德州仪器、Oracle，Sun和阿里巴巴达摩院等知名企业，担任核心架构师和研究员，主持和参与了多...。
核心技术快速演进、跨领域联结力増强、产业底座愈发坚实的人工智能技术，成为引领创新和发展的重要力量，希望在不确定的时代中，以AI为灯，照亮创新之路；以AI为桨，划起发展之舟，百度CTO、百度研究院院长王海峰这样期盼道，1月25日，百度研究院发布了2022年十大科技趋势，涵盖了AI核心技术、交叉学科与跨领域研究、AI的产业及社会价值三...。
炼大模型，已成为人工智能领域的主流研发趋势，从GPT，3的1750亿，到如今悟道2.0的1.75万亿，超大语言模型在NLP基准任务中不断刷新SOTA，而，参数和数据集的快速增长让GPU算力开始捉襟见肘，单个GPU内存已经远远不能满足大模型的需求，如，阿里用480块GPU训练千亿模型；英伟达用3072块GPU训练万亿模型；谷歌用204...。
大模型的陆续问世拉动AI算力的需求提升，对数据中心的要求提高，而液冷技术有助于提升芯片性能提升及数据中心能效水平，一时间液冷市场成为香饽饽，竞争激烈，曙光数创副总裁张鹏在采访中表示，目前这个市场竞争很激烈，甚至一些传统的空调厂家也在转型，而曙光由于入行早具有先发优势，据赛迪顾问，2023中国液冷应用市场研究报告，显示，2021年至20...。
国内首个端到端上车，5月20日，小鹏汽车的AIDAY上，何小鹏宣布端到端大模型上车，即日起面向用户全量推送AI天玑系统，覆盖所有在售车型，在特斯拉FSDV12推送后，国内智驾界就为，端到端，争得沸沸扬扬，而小鹏的此次发布，也如一枚深水炸弹，再次点燃了，端到端，的热度，根据发布，小鹏的端到端大模型由三部分组成，分别是神经网络XNet...。
对于医疗人工智能企业来说，三类证是最重要的入场券，没有三类证的医疗AI公司，犹如怀有一身教学绝技，但没有在校内教学资格的老师，纵使本事不小，也上不了台面，更赚不了钱，数据显示，截至今年，陆续有15款AI产品通过了NMPA，国家药品监督管理局，的审批，科亚医疗、Airdoc、联影智能、汇医慧影、致远慧图等主流医疗AI企业，纷纷拿到了属于...。
时光穿梭机已经能造出来了，最近，一家山西瑞泰技术开发科技有限公司宣称已具备科研实力打造，时空隧道生成实验装置，，更重要的是，这家公司还表示，与中国科学院高能物理研究所达成了初步合作协议，对于时光机，大家都很熟悉了，早在1895年，英国著名作家HerbertGeorgeWells脍炙人口的小说，时光机器，中，乘上时间旅行的机器，就能在...。
龙武2作为一款备受欢迎的rpg游戏，以其丰富的职业系统和多样的玩法吸引了大量玩家，对于平民玩家来说，选择一个既能满足游戏体验，又不需要过多投入的职业显得尤为重要，以下是对龙武2中几个主要职业的分析，以帮助平民玩家找到最适合自己的职业，真武，战士与坦克的双重身份真武，也就是大家熟知的战士，是龙武2中的近战职业，他不仅是团队中的肉盾，也是...。
万年历阳历2011年10月21日星期五农历69九月廿五辛卯年，兔年，戊戌月己酉日2011年的农历9月25日，是阳历的2011年10月21日星期五查2011年11月19号是农历多少日子2011年11月19号是农历十月二十四2o11年农历十月十九，阳历是几月几日万年历阳历2011年11月14日星期一农历十月十九辛卯年，兔年，己亥月癸酉日...。
选用性价比高的特价机票去上海游玩，可以经过以下几个步骤来启动，提早布局行程，确定好你的出行日期和前来日期，这样可以在各大航空公司和票务网站上设置多少钱提示，一旦有特价机票出现，就能第一时期通晓，关注航空公司官方和票务平台，不同的航空公司和票务平台会有不同的促销活动，比如中国国航、西方航空、南边航空等，以及携程、去哪儿网、飞猪等在线游览...。
