阿里研發(fā)大模型數(shù)學(xué)工具M(jìn)indOpt Copilot

8月18日消息，阿里決策智能團(tuán)隊(duì)研發(fā)了一款大模型數(shù)學(xué)工具M(jìn)indOpt Copilot，把大模型作為建模助手，接收用戶以自然語(yǔ)言提出的優(yōu)化問(wèn)題，就可自動(dòng)建模并調(diào)用求解器完成求解。MindOpt Copilot可用于解決餐飲、零售、物流貨運(yùn)、生產(chǎn)制造等場(chǎng)景的資源配置和優(yōu)化問(wèn)題，將于近期上線阿里云并對(duì)外提供服務(wù)。

據(jù)介紹，MindOpt Copilot基于阿里自研的大模型、求解器、建模語(yǔ)言“三大件”開(kāi)發(fā)，借助底層的通義千問(wèn)大模型，可將用戶以自然語(yǔ)言描述的優(yōu)化問(wèn)題轉(zhuǎn)化為線性規(guī)劃和混合整數(shù)線性規(guī)劃的優(yōu)化模型，并獲得最佳答案，比如“如何優(yōu)化餐廳的座位安排”、“如何控制風(fēng)險(xiǎn)并最大化企業(yè)收益”或“雞兔同籠”類(lèi)問(wèn)題。

圖源：阿里云公眾號(hào)

此前，解決一個(gè)優(yōu)化問(wèn)題需要一系列專業(yè)步驟，包括數(shù)學(xué)建模、將數(shù)學(xué)模型“轉(zhuǎn)譯”為求解器可識(shí)別的格式、調(diào)用求解器進(jìn)行求解等。而MindOpt Copilot降低了求解器的使用門(mén)檻，即使不懂建模語(yǔ)言和數(shù)學(xué)知識(shí)也可快速上手。

目前，MindOpt Copilot能處理包含上百個(gè)變量或約束條件的問(wèn)題，也能處理需要結(jié)合數(shù)據(jù)文件輸入的高維度問(wèn)題，還可輸出數(shù)學(xué)公式和代碼，方便開(kāi)發(fā)者用戶進(jìn)行精細(xì)調(diào)整和代碼開(kāi)發(fā)。研發(fā)團(tuán)隊(duì)正在探索攻克非線性函數(shù)等問(wèn)題。

阿里決策智能團(tuán)隊(duì)負(fù)責(zé)人印臥濤指出：“生成式AI掌握很多知識(shí)，但現(xiàn)階段不擅長(zhǎng)數(shù)學(xué)計(jì)算，無(wú)法為復(fù)雜的優(yōu)化問(wèn)題生成準(zhǔn)確且易于驗(yàn)證的答案。在數(shù)學(xué)與邏輯這類(lèi)專業(yè)領(lǐng)域，基于形式化建模語(yǔ)言和優(yōu)化求解器的‘解題型AI’與生成式AI聯(lián)手，是處理相關(guān)問(wèn)題的首選方法。”

圖源：阿里云公眾號(hào)

值得一提的是，阿里云還推出了數(shù)字人視頻生成工具Live Portait，上傳一張照片和一段文本或語(yǔ)音即可生成一段開(kāi)口說(shuō)話的數(shù)字人視頻，可應(yīng)用于視頻直播、聊天機(jī)器人、企業(yè)營(yíng)銷(xiāo)等場(chǎng)景。

目前，該工具已在魔搭社區(qū)創(chuàng)空間開(kāi)放體驗(yàn)。根據(jù)魔搭社區(qū)上的信息顯示，在Live Portait上傳照片后，用戶可選擇文本驅(qū)動(dòng)和音頻驅(qū)動(dòng)兩種方式，文本驅(qū)動(dòng)模式下，該工具提供了普通話、英語(yǔ)、粵語(yǔ)、童聲等28種聲音。

截自魔搭社區(qū)