阿里官宣将推出大模型数学工具 MindOpt Copilot
IT之家 8 月 18 日消息,据阿里云官方公众号表示,近日,阿里决策智能团队研发了一款大模型数学工具 MindOpt Copilot,把大模型作为建模助手,接收用户以自然语言提出的优化问题,就可自动建模并调用求解器完成求解。
▲ 图源 阿里云官方公众号
IT之家同时发现,官方提供了一道包含 5 个变量的优化问题,并让 MindOpt Copilot 给出正确答案:
某工厂生产 A、B、C、D、E 五种部件,分别需要 2 个工人、1 台机器;3 个工人、2 台机器;5 个工人、3 台机器;1 个工人、2 台机器;4 个工人、4 台机器。
每个部件的利润分别为 80、90、130、50 和 100 元。工厂共有 60 个工人和 40 台机器,每个部件最多生产 20 个。
请问如何分配生产任务,才能最大化总利润?
阿里云表示,用户输入问题后,MindOpt Copilot 会通过多轮对话引导用户完善问题描述,接着自动建模、编程、求解,最后给出结果和对结果的分析。
▲ 图源 阿里云官方公众号
阿里云声称,MindOpt Copilot 基于阿里自研的大模型、求解器、建模语言“三大件”开发,借助底层的通义千问大模型,可将用户以自然语言描述的优化问题转化为线性规划和混合整数线性规划的优化模型,并获得最佳答案,比如“如何优化餐厅的座位安排”、“如何控制风险并最大化企业收益”或“鸡兔同笼”类问题。
阿里云同时表示,MindOpt Copilot 可用于解决餐饮、零售、物流货运、生产制造等场景的资源配置和优化问题,将于近期上线阿里云并对外提供服务。
▲ 图源 阿里云官方公众号
阿里决策智能团队负责人印卧涛对此认为:“生成式 AI 掌握很多知识,但现阶段不擅长数学计算,无法为复杂的优化问题生成准确且易于验证的答案。在数学与逻辑这类专业领域,基于形式化建模语言和优化求解器的‘解题型 AI’与生成式 AI 联手,是处理相关问题的首选方法。”
不过,阿里云同时提到,现实中的优化问题常常更为复杂,MindOpt Copilot 当下还在探索工业级的解题技能。目前,MindOpt Copilot 能处理包含上百个变量或约束条件的问题,也能处理需要结合数据文件输入的高维度问题,还可输出数学公式和代码,方便开发者用户进行精细调整和代码开发。研发团队正在探索攻克非线性函数等问题。
举报/反馈
最近更新教育机构
- 赛意信息前三季度归母净利润1.28亿元 Q3净利端明显改善
- 浙江职业教育“变身”:学历覆盖本科 人才培养形式多样
- 中荷人寿荣获金羽翼奖“2023最佳寿险公司”奖项
- 儿童剧《半糖青春》开启第九届丝绸之路国际艺术节儿童戏剧周
- 牡丹江 多措并举多业融合
- “全力推进新时代双拥工作高质量发展”系列报道之一 红色基因代代传 鱼水之情今更深
- 部分招生单位发布2024硕士统考报名提醒,考生需及时自查
- 摆脱人口下降焦虑,提高人口素质是关键|新京报专栏
- 2023年下半年英语四级考试时间是什么?
- 排名实时更新,娄底阳光男性医院
- 警惕!已有小学生上瘾,家长立即排查!
- 非凡十年 超九成共建国家受访者称赞“一带一路”丰硕成果
- 2023USnews美国工科大学排名前十:MIT折桂!
- “宁王”业绩来了!释放这些信号
- 热力学经典教科书中一个现象级错误(III)——迟到的压力消磁效应
- 观政|国家数据局揭牌!下好全国数据“一盘棋”
- 如何提高托福听力的能力
- 用爱助推孩子展翅翱翔!普陀这位好老师你认识吗?
- 长沙卫生职业学院教师曾德昕:甘培沃土 静待花开
- A408寝室,全员保研!
- 对接全球资管中心建设,上海静安正打造一座“金融总部湾”
- 黄河上游好“风光”——青海加快清洁能源发展见闻
- 宝鸡:搭平台促交流 普特融合护航特殊儿童成长
- 重庆乡村学校少年宫辅导员心理健康培训来了
- 科技引领 勇创佳绩—交通市政公司科技创新成果斩获多项荣誉