阿里官宣將推出大模型數(shù)學(xué)工具 MindOpt Copilot，“大模型 + 求解器”
IT之家 8 月 18 日消息，據(jù)阿里云官方公眾號(hào)表示，近日，阿里決策智能團(tuán)隊(duì)研發(fā)了一款大模型數(shù)學(xué)工具 MindOpt Copilot，把大模型作為建模助手，接收用戶(hù)以自然語(yǔ)言提出的優(yōu)化問(wèn)題，就可自動(dòng)建模并調(diào)用求解器完成求解。
【資料圖】
IT之家同時(shí)發(fā)現(xiàn)，官方提供了一道包含 5 個(gè)變量的優(yōu)化問(wèn)題，并讓 MindOpt Copilot 給出正確答案：
某工廠生產(chǎn) A、B、C、D、E 五種部件，分別需要 2 個(gè)工人、1 臺(tái)機(jī)器；3 個(gè)工人、2 臺(tái)機(jī)器；5 個(gè)工人、3 臺(tái)機(jī)器；1 個(gè)工人、2 臺(tái)機(jī)器；4 個(gè)工人、4 臺(tái)機(jī)器。
每個(gè)部件的利潤(rùn)分別為 80、90、130、50 和 100 元。工廠共有 60 個(gè)工人和 40 臺(tái)機(jī)器，每個(gè)部件最多生產(chǎn) 20 個(gè)。
請(qǐng)問(wèn)如何分配生產(chǎn)任務(wù)，才能最大化總利潤(rùn)？
阿里云表示，用戶(hù)輸入問(wèn)題后，MindOpt Copilot 會(huì)通過(guò)多輪對(duì)話(huà)引導(dǎo)用戶(hù)完善問(wèn)題描述，接著自動(dòng)建模、編程、求解，最后給出結(jié)果和對(duì)結(jié)果的分析。
阿里云聲稱(chēng)，MindOpt Copilot 基于阿里自研的大模型、求解器、建模語(yǔ)言“三大件”開(kāi)發(fā)，借助底層的通義千問(wèn)大模型，可將用戶(hù)以自然語(yǔ)言描述的優(yōu)化問(wèn)題轉(zhuǎn)化為線(xiàn)性規(guī)劃和混合整數(shù)線(xiàn)性規(guī)劃的優(yōu)化模型，并獲得最佳答案，比如“如何優(yōu)化餐廳的座位安排”、“如何控制風(fēng)險(xiǎn)并最大化企業(yè)收益”或“雞兔同籠”類(lèi)問(wèn)題。
阿里云同時(shí)表示，MindOpt Copilot 可用于解決餐飲、零售、物流貨運(yùn)、生產(chǎn)制造等場(chǎng)景的資源配置和優(yōu)化問(wèn)題，將于近期上線(xiàn)阿里云并對(duì)外提供服務(wù)。
阿里決策智能團(tuán)隊(duì)負(fù)責(zé)人印臥濤對(duì)此認(rèn)為：“生成式 AI 掌握很多知識(shí)，但現(xiàn)階段不擅長(zhǎng)數(shù)學(xué)計(jì)算，無(wú)法為復(fù)雜的優(yōu)化問(wèn)題生成準(zhǔn)確且易于驗(yàn)證的答案。在數(shù)學(xué)與邏輯這類(lèi)專(zhuān)業(yè)領(lǐng)域，基于形式化建模語(yǔ)言和優(yōu)化求解器的‘解題型 AI’與生成式 AI 聯(lián)手，是處理相關(guān)問(wèn)題的首選方法?！?/p>
不過(guò)，阿里云同時(shí)提到，現(xiàn)實(shí)中的優(yōu)化問(wèn)題常常更為復(fù)雜，MindOpt Copilot 當(dāng)下還在探索工業(yè)級(jí)的解題技能。目前，MindOpt Copilot 能處理包含上百個(gè)變量或約束條件的問(wèn)題，也能處理需要結(jié)合數(shù)據(jù)文件輸入的高維度問(wèn)題，還可輸出數(shù)學(xué)公式和代碼，方便開(kāi)發(fā)者用戶(hù)進(jìn)行精細(xì)調(diào)整和代碼開(kāi)發(fā)。研發(fā)團(tuán)隊(duì)正在探索攻克非線(xiàn)性函數(shù)等問(wèn)題。
廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。
標(biāo)簽：
