牛津大學(xué)人工智能初創(chuàng)公司DiffBlue融資2200萬美元
2017-06-28 10:55:48 來源：TechWeb 熱度:
6月27日，國外媒體報(bào)道，DiffBlue是從牛津大學(xué)孵化出來的人工智能初創(chuàng)公司，致力于用AI技術(shù)來檢查和糾正代碼。DiffBlue的A輪融資已經(jīng)籌集了2200萬美元（1730萬英鎊）的資金。
A輪由高盛主要戰(zhàn)略投資牽頭，牛津科技創(chuàng)新和牛津技術(shù)與創(chuàng)新基金共同領(lǐng)導(dǎo)。
DiffBlue公司由牛津計(jì)算機(jī)科學(xué)教授Daniel Kroening和薩塞克斯大學(xué)計(jì)算機(jī)科學(xué)教授Peter Schrammel共同創(chuàng)立。
目前，人類開發(fā)人員必須編寫測試代碼，才能在軟件中找到錯(cuò)誤。根據(jù)Daniel Kroening的說法，編程人員不是很喜歡測試代碼，因?yàn)樗敲芗蛣趧?dòng)，而不是編碼本身。這有點(diǎn)像要求小學(xué)生在上課前站起來閱讀文章，然后解釋文章的錯(cuò)誤。
Daniel Kroening補(bǔ)充說，“測試有著巨大的價(jià)值，因?yàn)橛脩舨幌胧褂缅e(cuò)誤的軟件，然而測試代碼真的會(huì)讓開發(fā)人員脾氣非常暴躁。
“測試不是拼寫檢查。就像檢查作者的文章，如果說美國總統(tǒng)是唐老鴨，當(dāng)然是錯(cuò)的，但拼寫檢查沒錯(cuò)就不會(huì)標(biāo)記出來。測試并不意味著找到打字錯(cuò)誤，它們是為了識(shí)別不適當(dāng)行為，這與句法中沒有意義的句子一樣。”
創(chuàng)業(yè)公司表示，其技術(shù)被英國所有主要銀行所使用，由于公司協(xié)議的保密性質(zhì)，其余的無法透露。
DiffBlue公司位于牛津大學(xué)，其大部分員工來自此大學(xué)。它將在倫敦開設(shè)一個(gè)新辦事處，雇用銷售和營銷人員，希望明年擴(kuò)大到舊金山。
Daniel Kroening告訴科技媒體，公司有野心上市而不是出售。英國很多公司都賣得太早，這是我們想要避免的事情。
下一篇：沃爾沃與英偉達(dá)合作 預(yù)計(jì)在2021年生產(chǎn)自動(dòng)駕駛汽車上一篇：海爾首發(fā)U+云芯 加速升級(jí)智慧生活全場景生態(tài)體驗(yàn)
責(zé)任編輯：吳一波
透過7件事了解人工智能先驅(qū)馬文·明斯基
哈佛大學(xué)研究新人工智能系統(tǒng) 速度媲美人類大腦
Google人工智能攻破了圍棋，然后呢？
中國新能源車的發(fā)展之路 人工智能的勝利