牛津大學(xué)現(xiàn)在已經(jīng)成為全球人工智能領(lǐng)域的人才中心之一,在過去幾年中,牛津不僅向AI領(lǐng)域傾注了大量的科研資源,同時(shí)也投資和孵化了一批AI企業(yè),最近炙手可熱的AI初創(chuàng)公司Diffblue便是其中一員。
Diffblue將人工智能應(yīng)用于軟件開發(fā)領(lǐng)域,基于適用于各種編程語言的 數(shù)學(xué)模型,Diffblue讓AI深入理解計(jì)算機(jī)程序的運(yùn)行邏輯,然后從多方面對(duì)程序進(jìn)行自動(dòng)檢查,從而在軟件開發(fā)的多個(gè)階段節(jié)省甚至代替人工。
近期,Diffblue宣布獲得了來自高盛戰(zhàn)略投資基金、牛津大學(xué)科技創(chuàng)新基金(OTIF)等機(jī)構(gòu)的2200萬美元A輪融資。
Diffblue目前已經(jīng)發(fā)布了三款產(chǎn)品,其中一款可以自動(dòng)檢索計(jì)算機(jī)程序中的代碼錯(cuò)誤,代碼錯(cuò)誤的排查對(duì)于軟件開發(fā)來說非常關(guān)鍵,稍有差錯(cuò)就可能造成安全和金錢的巨大損失,但這個(gè)一般由軟件測(cè)試人員完成的工作其實(shí)非常繁重,而且常被認(rèn)為是一項(xiàng)低端工作。Diffblue的出現(xiàn)不僅可以大大提升這一流程的準(zhǔn)確度和可靠性,也將大量分擔(dān)甚至替代人工。
Diffblue的另外兩款產(chǎn)品與上述產(chǎn)品相輔相成,其中一款可以在軟件正式發(fā)布后實(shí)時(shí)監(jiān)測(cè)程序中崩潰的漏洞,而另一款產(chǎn)品則可以自動(dòng)重寫或更新老舊的源代碼,來實(shí)現(xiàn)軟件的自動(dòng)升級(jí)。
Diffblue的創(chuàng)始人Daniel Kroening是牛津大學(xué)的計(jì)算機(jī)教授,他對(duì)Diffblue的期待是未來可以完全依靠AI編寫程序,人們只需對(duì)編程的結(jié)果輸入簡(jiǎn)短的指令,例如“編寫一個(gè)定制化的智能家居控制APP”,AI就會(huì)自動(dòng)完成編程工作。
Daniel認(rèn)為,對(duì)于全世界的編程領(lǐng)域來說,人才將永遠(yuǎn)供不應(yīng)求,因此發(fā)展AI的能力,最終讓AI增強(qiáng)甚至替代人工是滿足未來編程需求的 方案。
投稿郵箱:chuanbeiol@163.com 詳情請(qǐng)?jiān)L問川北在線:http://m.fishbao.com.cn/