王孟昌- MindOpt优化求解技术与应用进展.pdf

1、MindOpt 优化求解技术及应用阿里巴巴达摩院 决策智能实验室王孟昌2024.10.13 达摩院决策智能实验室通用人工智能AGI类人决策引擎DI数学求解器信息大模型垂直解决方案最佳实践工具链目标定位：目标定位：打造高度智能化和自动化的类人决策引擎，降低对人类专家的依赖，解决决策智能技术的落地障碍和重要垂直领域的核心决策问题产品服务：产品服务：综合应用运筹优化、人工智能、数据科学等多种技术手段，通过数学求解器、预测大模型、决策大模型等产品服务，助力千行百业解决关键决策问题团队背景：决策智能实验室阿里巴巴达摩院旗下是一支技术过硬、坚持创新、具备国际视野的研发团队，团队立足阿里在基础技术和AI创新

2、方面的战略规划，开展决策智能的创新型研发 MindOpt 优化求解器2017面向电商、云资源调度等场景的优化决策算法2018拓展算法适应性，增加对布料剪裁、钢铁等场景的支持2019 开始100%自主研发通用求解器2020国际权威求解器榜单上两度单项冠军2021通过阿里云向社会开放，经受更多实际场景检验2022 引入AI，实现电网秒级断面越限恢复决策2023 用户突破3000，获得工信部电力用求解器大赛冠军MindOpt 求解器研发历程：2024开启国际业务合作 MindOpt 优化求解器凸二次规划（Convex QP）半定规划（SDP）非线性规划（NLP）线性规划（LP）单纯形、内点法、并发法

3、大规模网络流、Stochastic LP整数规划（MIP）分支定界法辅助功能（Tools）约束不可行性分析（IIS）回调函数（Callback）优化问题可解问题使用形式可直接API输入或建模成.mps、.lp、.nl 等通用优化问题数据格式数据输入命令行运行求解基础接口：C高级语言接口：C+、Python、Java建模语言调用：PuLP、Pyomo、AMPL、GAMS 和MindOpt APL 调用方式支持在x86_64、ARM架构以及Windows、Linux、OSX等操作系统支持包含鲲鹏、海光等国产CPU，以及凝思等国产操作系统设备支持 MindOpt APL(MAPL)：高效的建模语言

4、MindOpt APL(MAPL)：高效的建模语言模型重写算术运算互换计算图前向-后向计算问题结构探测与利用高效底层数据结构基于模型成本的多项式展开 针对千万变量 SCUC 问题，建模提速120 倍，远远超越其它建模语言 针对 NLP/NINLP，建模提速20 倍，超过 Pyomo 28 倍 MindOpt Copilot:基于大语言模型的建模助手QASFT DataGoodBadBad CasesSupervised Finetuning问题文字、表格等信息CorrectLLMRMAugmentationDPOPromptEngineeringQ SFT LLM：SFT LLM-based

5、Reward Model Refine:Auto-Evaluation：数学题库专家标注公开网页用户问题一家电子产品公司要生产两种产品:手机和平板电脑。手机每台需要3个工人和2台机器，平板电脑每台需要5个工人和3台机器。公司有60个工人和50台机器可供使用。手机每台的利润为800元，平板电脑每台的利润为1200元。公司希望最大化利润，要如何规划生产方案?求解结果：x=20y=0数学建模编代码调软件计算 MindOpt Copilot:基于大语言模型的建模助手点击播放 MindOpt Copilot:基于大语言模型的建模助手 MindOpt Copilot:基于大语言模型的建模助手 MindOp

6、t Copilot:基于大语言模型的建模助手 MindOpt Copilot:基于大语言模型的建模助手 MindOpt Copilot:基于大语言模型的建模助手点击播放 MindOpt Copilot:基于大语言模型的建模助手员工卡片姓名职位技能等级语言编程技能：Copilot GeorgeAI工程师-数学优化-技术咨询T2中文、英文MindOpt APL建模语言等级：T1级AI工程师（done)行业问题咨询引导推荐（简单例）、5变量+10约束内的问题的理解、建模、码代码和代码运行求解。T1级难度问题回答正确率90%T2级难度问题回答正确率80%技能:等级：T2级AI工程师（当前）技能技能等级