今天小編分享的教育經驗：阿裏雲即将推出大模型數學工具MindOpt Copilot，“大模型 + 求解器”提升運算效率，歡迎閲讀。
多知網 8 月 18 日消息，阿裏雲官方公眾号官宣了一款大模型數學工具 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 個。
請問如何分配生產任務，才能最大化總利潤？
這道包含 5 個變量的優化問題，計算起來步驟繁多， 若用户把題目輸入 MindOpt Copilot，MindOpt Copilot 就會通過多輪對話引導用户完善問題描述，接着自動建模、編程、求解，最後給出結果和對結果的分析。
無論是數學計算，還是數學在生活中的具體應用場景，MindOpt Copilot 都将提升運算效率。
圖片來源：阿裏雲官方公眾号
官方表示，MindOpt Copilot 基于阿裏自研的大模型、求解器、建模語言 " 三大件 " 開發，借助底層的通義千問大模型，可将用户以自然語言描述的優化問題轉化為線性規劃和混合整數線性規劃的優化模型，并獲得最佳答案，比如 " 如何優化餐廳的座位安排 "、" 如何控制風險并最大化企業收益 " 或 " 雞兔同籠 " 類問題。
阿裏雲同時表示，MindOpt Copilot 可用于解決餐飲、零售、物流貨運、生產制造等場景的資源配置和優化問題，将于近期上線阿裏雲并對外提供服務。
