超越阿里達摩院成績,這個斯坦福團隊用「國產求解器」助中國企業...

2020-12-25 鈦媒體APP

(圖片來源:Pixabay)

【本文來自鈦媒體特色欄目「快公司」

「高性能科學計算軟體的開發,一直是工業界和學術界關懷的問題,MindOpt的單純形求解算法排名榜首,是中國企業近些年來在優化計算軟體範疇獲得的重要成功之一。」中科院數學與系統科學研究院研究員戴彧虹評價道。

今年8月,阿里巴巴達摩院宣布,該團隊研發的數學規劃求解器MindOpt參加國際權威的Mittelmann榜單測評,成功求解出了測評中全部40個線性規劃問題,以快於第二名10%的速度優勢,在單純形法測評中排名第一。

數學規劃,也就是將複雜的現實問題建模成數學問題,並用數學方法進行求解的過程。在人們常說的智能決策之中,「智能」引擎的其中一個就是數學規劃,而求解器則是求解數學規劃問題的軟體。

求解器的技術壁壘高、研發難度大,國外已經出現了不少成功商業化的求解器團隊,中國具備研發能力的團隊屈指可數,無論是規模還是技術都與國外求解器有一定的差距。受美方的禁令波及,中國製造產業也正在尋找「國產替代」。因此,這一次達摩院成功登頂,在中國科技圈引起不小的震動。

不過有趣的是,沒到兩個月,由美國亞利桑那州立大學漢斯·米特爾曼(Hans Mittelmann)教授維護的這一權威榜單,悄悄更換了多個規模更大更困難的測評問題,並對多個求解器進行更新,競爭一直呈白熱化狀態。

截止最新11月2日,MindOpt在Simplex LP(線性)求解器榜單中排第三,被另一家中國初創企業——杉數科技(北京)有限公司(以下簡稱杉數科技)研發的「COPT數學優化求解器」所超越,後者已持續位列該榜單前三近一年半時間,其中絕大部分時間名列榜首。

求解器榜單最新排名情況

值得注意的是,「COPT數學優化求解器」不止在線性規劃單純形法技術領域,而且在線性規劃內點法(Barrier Method)求解器、大型網絡優化基準測試兩個細分榜單中均排在前三,這兩項MindOpt並不在榜單當中。

這項求解器技術是一家創業團隊——杉數科技的核心技術產品。杉數科技也正在摸索將這項技術商業化,用在人工智慧決策領域,幫助企業在複雜問題中獲得最優解。

11月18日,杉數科技宣布完成近億元B輪融資,引入萬科集團及天任投資兩個重要戰略股東,資金將主要用於產品研發與推廣、團隊建設等。

在此之前,該公司也獲得了真格基金、北極光創投、聯想創投、將門創投等知名基金的投資。

杉數科技聯合創始人&CSO、史丹福大學運籌學博士、上海財經大學教授葛冬冬告訴鈦媒體App,在他看來,工業4.0和網際網路時代依靠AI技術幫助企業進行相關決策是大勢所趨。杉數科技利用「求解器」和機器學習引擎,以「企業決策大腦」優化中臺為支撐,可幫助客戶(企業)在各種複雜問題下完成最優決策,而這也是目前很多公司發展過程中的迫切需要。

「COPT數學優化求解器」:幫助企業擁有智慧決策大腦

對於數學規劃求解器來說,它的底層技術是應用數學中的運籌學。

運籌學是近代應用數學的一個分支,主要是研究如何將生產、管理等事件中出現的運籌問題加以提煉,然後利用數學方法解決問題的學科。而在運籌學裡,對於數學規劃求解器的定義是,針對多種已經建立的線性、整數及各種非線性規劃模型,進行大量計算,尋求出最優解決方案。

由於整個算法優化求解過程可以看作是一個「黑盒子」引擎,因此,求解器也被業界稱為算法上的「晶片」。

在求解器誕生之前,這一步通常是由人工完成——依賴有經驗的業界研究員們手動計算模型的最優解。在模型複雜或者數據量龐大的情況下,這個步驟消耗了大量的人力,結果準確性也難以保證。

此後,發展起以一系列龐大算力支撐的啟發式算法,不過這種做法往往只能尋求一些可行解決方案,求解質量和時間難以保證。

當下,在世界風雲突變的市場環境中,很多企業決策者都是依靠數據簡單分析,進而根據經驗判斷做出企業決策性部署。一旦發生偏差與失誤,可能會造成企業處於危機狀態。

在這種情況下,如何能更進一步利用數據為企業服務,是行業亟待解決的問題。

杉數科技自研了一套名為「COPT數學優化求解器」算法系統,依託企業提供的過往數據,規劃多種已經建立的線性、整數及各種非線性數據模型,並將目標和約束以數學模型的形式進行有效表達,然後通過對這些數學模型進行求解,自動分析出多種決策方案,最終挑選出一套最佳的方案來供企業選擇。

以國內某ICT巨頭為例,該公司有上千個工廠和供應商,包含原材料和組件在內的零部件共有5萬多種,相互以複雜的一個網絡拓撲關係出現,材料信息、生產能力、工廠需求等均不相同。在它未來的一個計劃生產周期內,需要精確到每個車間要生產哪些東西,要生產多少,每小時要用到哪些零部件,變量和約束大約在5000萬至1億左右,這種體量以及精細的決策需求顯然需要算法的介入。

葛冬冬表示,利用「COPT數學優化求解器」,整個過程僅需大約2~3小時。通過這種優化決策,可以使生產排程訂單滿足率提高20%,產能損失率降低30%,排產排程人工幹預降低70%,非計劃維修降低15%。

(來源:杉數科技官網)

除工廠的排程問題外,在連鎖商超企業面臨擴張計劃時,也需要「COPT數學優化求解器」來解決相關複雜問題。

葛冬冬介紹可永輝超市的案例。永輝超市現在在上海已經有300多家店,他們與杉數科技合作,用選址軟體做智能選址。

「比如,今年計劃開50家店,明年開100家店,後年開150家店,利用『COPT數學優化求解器』就可以算出這50家店該怎麼開、開在哪,明年100家店該怎麼開、開在哪,互相之間不會產生惡性競爭。」

簡單來說,這些問題的解決,可能需要一個大的動態規劃系統來建模,而最後的求解,往往需要「求解器」這樣的計算系統來線性規劃(LP)、混合整數規劃(MIP)逼近正確值,求得最優解。

葛冬冬介紹,「COPT數學優化求解器」的使命,就是讓企業擁有「智慧決策大腦」能力,高效地解決一些複雜問題,並得到最優解。

此外,依託「COPT數學優化求解器」衍生的決策模型算法能力,以及物流倉儲等場景中的客戶需求,杉數科技還自主研發了「杉數智慧鏈」優化解決方案平臺,這是公司的另一產品業務。

杉數科技介紹,該平臺利用企業級大數據處理能力、決策模型算法模塊以及業務場景解決方案的一站式整合,為企業提供收益管理、庫存優化、倉儲優化、運輸優化、生產製造、網絡優化與選址等行業性智能系統解決方案,解決企業所遇到的供應鏈管理難題。

目前,杉數科技依靠自研的「求解器」以及優化中臺,基於供應鏈產品平臺經驗,已經在物流、交通、零售、金融以及智能製造等多個領域的的工業場景中推出成熟解決方案,服務的對象也包括蘋果、小米、滴滴、京東、永輝、海爾、上汽通用、順豐等多家頭部企業。

自主研發「國產求解器」,打造公司核心競爭力

過去30餘年中,世界領先的「商業求解器」一直由歐美三巨頭Gurobi、IBM Cplex以及FICO Xpress所壟斷,而中國由於研發時間太長、投入資金數額巨大、運籌學人才稀少等諸多原因,一直沒有自主研發的國產「商業求解器」。

自2018年起,中美關係緊張,中興、華為、海康威視等多家中國科技企業先後被美國列入實體清單或被採取打壓措施。今年6月初,傳出哈工大與哈工程被禁止使用美國MathWorks公司的科學計算工具Matlab事件,讓整個軟體行業變得人心惶惶。

儘管歐美求解器三巨頭依然與中國企業正常來往,但多家在美實體清單中的科技企業都開始尋找國產替代,防止這些軟體未來將要通過美方許可審批。且加上國外軟體的售後服務欠佳等因素,研發「國產求解器」變得迫在眉睫。

在如今國際競爭環境下,國產求解器已成為中國需要突破的「卡脖子」工程。

葛冬冬認為,求解器是優化產業鏈與供應鏈、為複雜生產場景提供智慧決策的「引擎」,也是事關國家基礎設施建設能級提升、敏感戰略資源調度與部署的核心技術之一。

2016年,葛冬冬聯合他在斯坦福讀博時的三位同學羅小渠、王子卓、王曦共同成立杉數科技,嘗試發展國產商業求解器,避免受制於人,並且將其作為公司最核心的任務和未來的技術支撐。

經過三年的研發、試錯、迭代下,2019年,杉數科技正式發布「COPT數學優化求解器」

與國外頂級求解器相比,杉數科技的「COPT數學優化求解器」也已達到國際第一梯隊水平,與頂級商業求解器之間的差距越來越小。

據鈦媒體App了解,目前中國也有一些企業通過收購現有的開源求解器,從事國產求解器的研發;而阿里雲在今年8月發布MindOpt線性規劃求解器;包括北大的國際數學中心,中科院,上海財經大學等高校機構近幾年也在做相關研發嘗試,不過都未超過「COPT數學優化求解器」的技術水平。

杉數科技現階段共有100多名員工,其中超70%為技術出身人員。核心團隊成員具有豐富的行業實踐經驗,此前曾為谷歌、IBM、波音、美國能源部等機構解決運營決策優化問題。

杉數科技介紹,自2016年成立至今,公司始終保持著每年翻一番的業績。2020年在疫情影響下,實際營業收入依然基本實現了翻番的增長。

有行業人士指出,隨著中國經濟開始進入平穩增長期,各行各業對精細化運營需求提升,對商業優化求解的需求也日益提升。而杉數科技等企業剛好踩在需求點上,隨著數據的優勢逐步鞏固,競爭壁壘將會逐漸提高。

葛冬冬對鈦媒體App表示,接下來杉數科技將基於成熟的技術平臺、高效率的服務方案和亮眼的頭部案例,向下獲取客戶,快速複製實現業務的規模化增長,一步一步、扎紮實實做技術。

當談及未來5-10年規劃,葛冬冬表示,預期行業內也許將會再出現2-3家企業,杉數科技屆時應該預期將達50%左右的份額。

他強調,杉數科技的目標並不是要「佔領」市場,更多是與國外的頂級智能決策企業達到同一水平,做求解器行業的「領頭羊」。(本文首發鈦媒體App,作者 | 林志佳,編輯 | 趙宇航)

無論外界風雲變幻,始終堅定

12月,鈦媒體全球領袖年會一如既往

2020 T-EDGE 全球創新大會即將在12月18日-20日,北京大興星光視界中心隆重開幕

杉數科技聯合創始人葛冬冬也將受邀參加今年的T-EDGE,在現場進行更多精彩分享

相關焦點

  • 阿里達摩院求解器再獲國際榜單冠軍 將成國內首個免費開放的商用...
    原標題:阿里達摩院求解器再獲國際榜單冠軍,將成國內首個免費開放的商用求解器   鈦媒體12月9日消息,間隔不到4月,
  • 給AI裝上「語法識別器」 阿里達摩院新技術拿下NLP頂賽第一名
    北京時間3月3日消息,在全球自然語言處理領域頂級賽事GLUE Benchmark中,阿里巴巴達摩院以平均分90.3分的成績奪冠,刷新自然語言理解技術世界紀錄,與阿里同場競技的還有來自Google、微軟、Facebook、史丹福大學等企業和高校的團隊。
  • 中國技術爭雄國際數學軟體榜,杉數科技扛鼎國產基礎工業工程軟體
    最新排名顯示, 杉數科技持續位列第一,身後則是全球知名數學規劃求解器領袖企業Gurobi和阿里達摩院於上月發布的阿里求解器MDOPT。 杉數科技基於中國企業已積累的海量大數據和大規模業務場景,利用運籌學和機器學習等前沿技術將企業的實際問題轉化為數學模型求解。杉數科技的核心產品為COPT決策優化求解器,目前提供學術版、單機版與伺服器版。自2019年5月發布可求解大規模複雜商業問題的COPT 1.0版本以來,該求解器不斷提升,目前在實際中已經能夠成功應對5000萬到上億變量的單純型法線性規劃求解問題。
  • 中國求解器再獲國際榜單第一,達摩院將對外開放智能決策「終極利器」
    求解器是求解數學規劃問題的軟體,廣泛應用於雲計算、零售、金融、製造、交通、能源等領域,是深埋於智能決策場景底層的「終極利器」。求解器技術壁壘高、研發難度大,幾十年來,高性能商用求解器的核心技術始終由歐美企業主導。
  • 達摩院求解器MindOpt二度刷新世界紀錄
    12月9日消息,阿里巴巴達摩院自主研發的求解器MindOpt二度刷新世界紀錄,在國際權威測評中再獲線性規劃·單純形法第一。相比4個月前奪冠時,MindOpt不僅將原有算法性能提升超過100%,還上線了新的算法模塊。12月底,MindOpt將通過阿里雲向全社會開放,成為國內首個免費開放的商用求解器。
  • 美國「國寶級」科學家,加入阿里達摩院,拖家帶口來中國做科研
    幾十年前,中國的科學研究水平落後。許多科學家到歐美學習先進技術,回國報效祖國。但其他國家也知道科技人才的重要性,自然不會讓人輕易離開。會經常出現用重金誘惑我國當時的科學家留在外國,合作用各種手段阻撓他們回國。比如錢學森院士,我們都知道,就是儘量突破美國的封鎖,然後再回到祖國。時過境遷,阻礙科技人才的行為不多了,但在國與國之間「挖牆腳」的事情很多。
  • Facebook AI翻譯主管黃非加盟阿里達摩院
    網易科技訊5月21日消息,阿里巴巴宣布黃非博士達摩院。黃非博士曾任Facebook(臉書)應用機器學習部AI翻譯團隊主管。在達摩院機器智能技術實驗室,他將和同事推動AI翻譯在新零售、跨境電商、視頻等領域的實時翻譯應用。
  • 阿里達摩院AI抗疫新戰報:已診斷3萬多疑似病例CT影像,準確率96%
    阿里達摩院從前線傳來最新戰報:截止到2月23日,阿里達摩院醫療AI團隊研發的新冠肺炎CT影像識別算法,已對3萬多個臨床疑似病例進行了診斷。實際結果顯示,單個病例影像數據的上傳和分析可在20秒內完成,準確率達到96%。這一最早應用於鄭州「小湯山」的算法,現已在湖北、上海、廣東、江蘇等16個省市的41家醫院上崗。
  • 阿里達摩院官網上線 共14個實驗室,覆蓋5大研究領域
    阿里達摩院官網上線 共14個實驗室,覆蓋5大研究領域 圖片版權所屬:站長之家站長之家(ChinaZ.com) 9月29日 消息:9 月 28 日,阿里達摩院官網正式上線,網站主要介紹了達摩院的主要職能及研發方向
  • 斯坦福「海歸」王曦:在坡路上勉力攀爬,將未來付與「人工智慧決策」
    除了史丹福大學管理科學與工程系講座教授、馮?諾依曼獎唯一華人得主——首席科學顧問葉蔭宇以外,這家創業公司的四位創始人也都是史丹福大學畢業的博士:CEO(執行長)羅小渠是史丹福大學商學院博士,首席科學家、上海財經大學交叉科學研究院院長葛冬冬和CTO(首席技術官)王子卓是運籌學博士,而CPO(首席產品官)王曦是決策分析與風險分析博士。
  • 平頭哥半導體公司將整合阿里達摩院下半導體部門和收購的中天微電子
    打開APP 平頭哥半導體公司將整合阿里達摩院下半導體部門和收購的中天微電子 李倩 發表於 2018-09-21 11:31:37
  • 阿里達摩院發布新一代AI語音FPGA晶片技術「Ouroboros」
    首頁 > 快訊 > 關鍵詞 > 阿里最新資訊 > 正文 阿里達摩院發布新一代AI語音FPGA晶片技術「Ouroboros」
  • 阿里達摩院打敗微軟等巨頭 獲WMT機器翻譯大賽5項冠軍
    參考消息網5月24日報導在剛剛結束的WMT2018國際機器翻譯大賽上,阿里巴巴達摩院機器智能-NLP翻譯團隊打敗多個國外巨頭與研究機構,在所有提交的5項比賽中,全數獲得冠軍,成為此次比賽的最大贏家。這5個項目包括英文-中文翻譯、英文-俄羅斯語互譯、英文-土耳其語互譯,達摩院在這幾個項目的自動評測指標BLEU都位居第一。達摩院獲得5個項目自動評測第一名。WMT全稱Workshop on Machine Translation,是國際公認的頂級機器翻譯賽事之一,也是各大科技公司與學術機構展示自身機器翻譯實力的平臺。
  • 阿里達摩院全球首個實時翻譯直播上線,今年雙11多語種一鍵開播!
    作為餘杭重大創新載體,阿里巴巴達摩院的AI翻譯技術曾創下多項業界第一。近日,速賣通聯合阿里達摩院推出的全球首個實時翻譯直播上線,它將全面參與今年的天貓雙11全球購物狂歡節。最重要的是:主播不會外語也能向全球直播。   該AI實時翻譯直播可同時進行中文到英、俄、西三種語向的翻譯,中國商家只需用中文一鍵開播,就能同時覆蓋全球英語、西班牙語、俄語區的逾十億人口。
  • 前Facebook AI翻譯主管加盟阿里達摩院,致力圖片、視頻、聲音「秒...
    摘要:入職達摩院後,黃非博士將和同事推動AI翻譯在新零售、跨境電商、視頻等領域的實時翻譯應用。文/ 天下網商記者 孫茜茜 日前,前Facebook(臉書)應用機器學習部AI翻譯團隊主管黃非博士入職阿里巴巴達摩院。入職後,他將在達摩院機器智能技術實驗室,和同事推動AI翻譯在新零售、跨境電商、視頻等領域的實時翻譯應用。
  • 阿里達摩院發布新一代語音AI晶片技術Ouroboros 有望率先應用於...
    阿里達摩院發布新一代語音AI晶片技術Ouroboros 有望率先應用於天貓精靈 站長之家(ChinaZ.com) 8月21日 消息:據 36 氪消息,今天,阿里巴巴達摩院在美國舊金山發布了新一代自研語音AI晶片技術——Ouroboros。
  • 7 Papers & Radios | 何愷明組新型網絡設計範式;阿里達摩院高性能...
    機器之心機器之心&ArXiv Weekly Radiostation參與:杜偉,楚航,羅若天本周的重要論文有何愷明組提出的超越 EfficientNet 的新型網絡設計範式,以及阿里達摩院推出的高性能GPU
  • 阿里達摩院官宣進軍5G:成立XG實驗室,與華為、中興爭鋒?
    扛旗先鋒,正是馬雲寄予厚望的達摩院——成立XG 實驗室,推動下一代網絡通信技術的研究。3月10日,阿里達摩院正式宣布:「正式成立XG實驗室,XG實驗室致力於推動下一代網絡通信技術的研究,現階段主要聚焦5G技術和應用的協同開發。」這意味著阿里將正式進軍5G技術研發,甚至是未來的6G、7G,阿里正式加入通信技術研發行列!
  • 日均調用量超13億次,阿里達摩院研發全球首個實時翻譯直播
    而在近日,阿里達摩院聯合速賣通推出 AI 實時翻譯直播,可同時進行中文到英、俄、西三種語向的翻譯。據悉,這是全球首個啟用 AI 實時翻譯的電商直播,中國商家只需用中文一鍵開播,就能同時覆蓋全球英語、西班牙語、俄語區的逾十億人口。
  • 加入就得100萬,阿里達摩院是一個怎樣的機構?
    基於此,阿里達摩院孕育而生!達摩院緣起阿里達摩院是什麼?達摩院(這一名字取自金庸小說)是一家致力於探究科技未知,以人類願景為驅動的研究所,是阿里在全球多點設立的科研機構,立足基礎科學、顛覆性技術和應用技術的研究。