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