十多年來，C++排序庫首次更改——
人工智能改進計算機編程語言

科技日報北京6月7日電 （記者張夢然）英國深度思維公司的人工智能體“阿爾法開發(fā)”（AlphaDev），已被證明能發(fā)現(xiàn)并改進C++（一種常用的計算機編程語言）庫里廣泛使用的計算機排序算法。《自然》7日刊登的這些人工智能（AI）生成的算法已被整合到C++排序庫，這也是10多年來對這部分庫作出的首次更改。

算法對于計算是必不可少的，它能為執(zhí)行特定計算任務(wù)提供一組指令。排序任務(wù)這類基礎(chǔ)算法每天要運行數(shù)萬億次。由于人類專家無法進一步優(yōu)化，改進這類算法的嘗試遇到了瓶頸，而AI智能體有望解決這個問題。使用深度學(xué)習(xí)改進算法的努力一直受到限制，因為之前只能在開發(fā)深度學(xué)習(xí)系統(tǒng)的訓(xùn)練樣本范圍內(nèi)進行發(fā)現(xiàn)和優(yōu)化。“阿爾法開發(fā)”這種新的深度強化學(xué)習(xí)智能體被證明能突破這種限制，無需針對某個問題的任何訓(xùn)練就能發(fā)現(xiàn)新算法。

深度思維研究團隊將尋找更優(yōu)排序算法的任務(wù)編成了一個游戲，并訓(xùn)練“阿爾法開發(fā)”來玩這個游戲。通過玩這個游戲，“阿爾法開發(fā)”發(fā)現(xiàn)了超越當前最先進算法的排序算法。這次新發(fā)現(xiàn)的排序算法中有一些已與C++庫的標準排序函數(shù)整合，這個系統(tǒng)有數(shù)百萬名用戶使用，包括許多大學(xué)和跨國公司。

“這種方法的優(yōu)勢在于這個系統(tǒng)能學(xué)習(xí)基于獎勵信號生成高效程序，無需來自訓(xùn)練樣本的任何指導(dǎo)。”美國麻省理工學(xué)院科學(xué)家阿曼多·索拉-勒澤瑪在同時發(fā)表的新聞與觀點文章中寫道，“這種方法的通用性以及無需提前了解問題就能運行的能力使其成為一個關(guān)鍵進展，從而有望實現(xiàn)專家干預(yù)最小化的高效編程。”

【總編輯圈點】

C++早在20世紀70年代就被貝爾實驗室開發(fā)出來，至今仍是集靈活與功能強大于一體的編程語言，其很大一部分原因在于C++擁有計算機運行的實用性特征，使得它幾乎可以創(chuàng)建任何類型的程序，甚至其他編程語言的庫和編譯器也能使用C++編寫。但這也意味著，改進這類算法對人類來說非常有難度。現(xiàn)在，AI通過深度學(xué)習(xí)，發(fā)現(xiàn)了超越當前最先進算法的排序，這無疑是AI發(fā)揮其作用和價值、優(yōu)化人類科技的一個生動案例。