網(wǎng)站優(yōu)化：會編程的AI+會修Bug的AI等于什么？- 軟件開發(fā)

會編程的AI+會修Bug的AI，等于什么？本文來自：西安網(wǎng)站建設(shè)專業(yè)公司——西安弈聰檢索關(guān)鍵詞：編程,AI,修Bug,西安軟件公司,西安網(wǎng)站建設(shè),西安app開發(fā),西安軟件外包公司,西安網(wǎng)站設(shè)計公司內(nèi)容摘要：關(guān)于人工智能未來的暢想，除了家庭服務(wù)機(jī)器人，快遞無人機(jī)，醫(yī)用機(jī)器人等等，LucasCarlson認(rèn)為人工智能在另外一個領(lǐng)域的可能帶來的變革，卻沒有引起公眾的足夠注意——這就是：讓計算機(jī)自己編程。2016年11月末，LucasCarl稿件正文：關(guān)于人工智能未來的暢想，除了家庭服務(wù)機(jī)器人，快遞無人機(jī)，醫(yī)用機(jī)器人等等，LucasCarlson認(rèn)為人工智能在另外一個領(lǐng)域的可能帶來的變革，卻沒有引起公眾的足夠注意——這就是：讓計算機(jī)自己編程。2016年11月末，LucasCarlson撰文：目前，機(jī)器學(xué)習(xí)方面的專家傾向于把研究聚焦于具體領(lǐng)域內(nèi)高度裁剪的AI應(yīng)用——比如：面部識別、自動駕駛汽車、語音識別，甚至是互聯(lián)網(wǎng)搜索結(jié)果等方面。但是，這些技術(shù)同樣可以應(yīng)用到讓計算機(jī)理解其自身的代碼架構(gòu)上——當(dāng)然這里是指脫離人類的幫助、解釋和干涉的情況下進(jìn)行的理解——其實這種對代碼的“理解”和讓計算機(jī)理解自然語言，或是識別圖像并沒有本質(zhì)的區(qū)別。如果代碼能夠自我分析——做到比人類更快地修正錯誤并不斷優(yōu)化——那么技術(shù)革新將會發(fā)生得越來越快。其帶來的可能性幾乎是無窮無盡的：醫(yī)學(xué)上的進(jìn)步，更智能的機(jī)器人，更“智能“的手機(jī)等等?！鳤I將會改變這種局面。Lucas的全文，請參見《讓代碼寫代碼，自主編程的AI離我們還有多遠(yuǎn)？》。2017年2月23日NewScientist報道，微軟和劍橋大學(xué)的研究員近日發(fā)布了一篇論文，文中闡述了其科研成果DeepCoder：一個會編程的機(jī)器學(xué)習(xí)系統(tǒng)。微軟和劍橋大學(xué)研究人員聯(lián)合創(chuàng)建的機(jī)器學(xué)習(xí)系統(tǒng)DeepCoder學(xué)會了如何自己寫代碼。它能讓人們在沒有掌握必要編程知識的情況下，更輕松的構(gòu)建出簡單的應(yīng)用程序。未來，非程序員可以通過簡單的描述出一個程序的想法，然后讓機(jī)器學(xué)習(xí)系統(tǒng)將其構(gòu)建出來。DeepCoder

使用了被稱為「程序合成」（InductiveProgramSynthesis）的技術(shù)，將來自現(xiàn)有軟件的一行行源代碼拼接在一起。給定每一個代碼片段的輸入和輸出列表，DeepCoder學(xué)會要實現(xiàn)預(yù)期結(jié)果需要使用到哪部分代碼。它的一大優(yōu)勢是速度，能在幾分之一秒內(nèi)創(chuàng)建出一個可工作的程序。在了解了哪一部分源代碼能工作，哪一部分不能之后，DeepCoder能改進(jìn)每一次創(chuàng)建的新程序。目前DeepCoder只能生成五行左右代碼的程序。但如果采用了適當(dāng)?shù)木幊陶Z言，幾行代碼也能抵上一段復(fù)雜的代碼了。沒有參與DeepCoder的麻省理工學(xué)院ArmandoSolar-Lezama認(rèn)為，這類技術(shù)在自動化方面有很大潛能，將極大減少在開發(fā)代碼方面的精力消耗。但想一下子生成一大段代碼，有點不現(xiàn)實。不過一大段代碼，是可以有很多的小段代碼組合而成。Solar-Lezama同時認(rèn)為，DeepCoder并不會讓程序員失業(yè)下崗。因為「程序合成」是把編程階段枯燥部分自動化了，程序員能把更多精力放在更為復(fù)雜的任務(wù)上。除了自動編程的，還有自動修Bug的程序2015年6月下旬，麻省理工學(xué)院的研究人員展示了一個新系統(tǒng)，可以通過從其他更加安全的應(yīng)用中自動導(dǎo)入相關(guān)功能，借以修復(fù)原來軟件中的危險漏洞。這個引人注目的系統(tǒng)叫做CodePhage，它借用其他程序時并不需要訪問借主應(yīng)用的源碼。相反，該系統(tǒng)分析這個應(yīng)用的執(zhí)行情況，并標(biāo)記出其安全檢查類別的特性。因此，即使所編寫的語言與被修復(fù)應(yīng)用的語言不同，該系統(tǒng)仍然可以從中導(dǎo)出檢查功能用來修復(fù)應(yīng)用。CodePhage將代碼導(dǎo)入易受攻擊的程序后，還會進(jìn)行進(jìn)一步分析以確保漏洞被修復(fù)。MIT計算機(jī)科學(xué)與人工智能研究室（CSAIL）的研究員，CodePhage的研發(fā)領(lǐng)導(dǎo)人員SteliosSidiroglou-Douskos表示：“我們在開源庫里有大量代碼可用，數(shù)百萬計項目，而且很多項目都有類似的實現(xiàn)了。這些項目總有一些可以與別的許多項目共享功能的子模塊，即便那