阿里研發大模型數學工具MindOpt Copilot
8月18日消息，阿里決策智能團隊研發了一款大模型數學工具MindOpt Copilot，把大模型作為建模助手，接收用戶以自然語言提出的優化問題，就可自動建模并調用求解器完成求解。MindOpt Copilot可用于解決餐飲、零售、物流貨運、生產制造等場景的資源配置和優化問題，將于近期上線阿里云并對外提供服務。
據介紹，MindOpt Copilot基于阿里自研的大模型、求解器、建模語言“三大件”開發，借助底層的通義千問大模型，可將用戶以自然語言描述的優化問題轉化為線性規劃和混合整數線性規劃的優化模型，并獲得最佳答案，比如“如何優化餐廳的座位安排”、“如何控制風險并最大化企業收益”或“雞兔同籠”類問題。
圖源：阿里云公眾號
此前，解決一個優化問題需要一系列專業步驟，包括數學建模、將數學模型“轉譯”為求解器可識別的格式、調用求解器進行求解等。而MindOpt Copilot降低了求解器的使用門檻，即使不懂建模語言和數學知識也可快速上手。
目前，MindOpt Copilot能處理包含上百個變量或約束條件的問題，也能處理需要結合數據文件輸入的高維度問題，還可輸出數學公式和代碼，方便開發者用戶進行精細調整和代碼開發。研發團隊正在探索攻克非線性函數等問題。
阿里決策智能團隊負責人印臥濤指出：“生成式AI掌握很多知識，但現階段不擅長數學計算，無法為復雜的優化問題生成準確且易于驗證的答案。在數學與邏輯這類專業領域，基于形式化建模語言和優化求解器的‘解題型AI’與生成式AI聯手，是處理相關問題的首選方法。”
圖源：阿里云公眾號
值得一提的是，阿里云還推出了數字人視頻生成工具Live Portait，上傳一張照片和一段文本或語音即可生成一段開口說話的數字人視頻，可應用于視頻直播、聊天機器人、企業營銷等場景。
目前，該工具已在魔搭社區創空間開放體驗。根據魔搭社區上的信息顯示，在Live Portait上傳照片后，用戶可選擇文本驅動和音頻驅動兩種方式，文本驅動模式下，該工具提供了普通話、英語、粵語、童聲等28種聲音。
截自魔搭社區
