阿里研发大模型数学工具MindOpt Copilot

8月18日消息，阿里决策智能团队研发了一款大模型数学工具MindOpt Copilot，把大模型作为建模助手，接收用户以自然语言提出的优化问题，就可自动建模并调用求解器完成求解。MindOpt Copilot可用于解决餐饮、零售、物流货运、生产制造等场景的资源配置和优化问题，将于近期上线阿里云并对外提供服务。

据介绍，MindOpt Copilot基于阿里自研的大模型、求解器、建模语言“三大件”开发，借助底层的通义千问大模型，可将用户以自然语言描述的优化问题转化为线性规划和混合整数线性规划的优化模型，并获得最佳答案，比如“如何优化餐厅的座位安排”、“如何控制风险并最大化企业收益”或“鸡兔同笼”类问题。

图源：阿里云公众号

此前，解决一个优化问题需要一系列专业步骤，包括数学建模、将数学模型“转译”为求解器可识别的格式、调用求解器进行求解等。而MindOpt Copilot降低了求解器的使用门槛，即使不懂建模语言和数学知识也可快速上手。

目前，MindOpt Copilot能处理包含上百个变量或约束条件的问题，也能处理需要结合数据文件输入的高维度问题，还可输出数学公式和代码，方便开发者用户进行精细调整和代码开发。研发团队正在探索攻克非线性函数等问题。

阿里决策智能团队负责人印卧涛指出：“生成式AI掌握很多知识，但现阶段不擅长数学计算，无法为复杂的优化问题生成准确且易于验证的答案。在数学与逻辑这类专业领域，基于形式化建模语言和优化求解器的‘解题型AI’与生成式AI联手，是处理相关问题的首选方法。”

图源：阿里云公众号

值得一提的是，阿里云还推出了数字人视频生成工具Live Portait，上传一张照片和一段文本或语音即可生成一段开口说话的数字人视频，可应用于视频直播、聊天机器人、企业营销等场景。

目前，该工具已在魔搭社区创空间开放体验。根据魔搭社区上的信息显示，在Live Portait上传照片后，用户可选择文本驱动和音频驱动两种方式，文本驱动模式下，该工具提供了普通话、英语、粤语、童声等28种声音。

截自魔搭社区