牛津大學現在已經成為全球人工智慧領域的人才中心之一, 在過去幾年中, 牛津不僅向AI領域傾注了大量的科研資源, 同時也投資和孵化了一批AI企業, 最近炙手可熱的AI初創公司Diffblue便是其中一員。
Diffblue將人工智慧應用於軟體發展領域, 基於適用於各種程式設計語言的精確數學模型, Diffblue讓AI深入理解電腦程式的運行邏輯, 然後從多方面對程式進行自動檢查, 從而在軟體發展的多個階段節省甚至代替人工。
近期, Diffblue宣佈獲得了來自高盛戰略投資基金、牛津大學科技創新基金(OTIF)等機構的2200萬美元A輪融資。
Diffblue目前已經發佈了三款產品,
Diffblue的另外兩款產品與上述產品相輔相成, 其中一款可以在軟體正式發佈後即時監測程式中崩潰的漏洞, 而另一款產品則可以自動重寫或更新老舊的原始程式碼, 來實現軟體的自動升級。
Diffblue的創始人Daniel Kroening是牛津大學的電腦教授, 他對Diffblue的期待是未來可以完全依靠AI編寫程式, 人們只需對程式設計的結果輸入簡短的指令,
Daniel認為,
對於全世界的程式設計領域來說,
人才將永遠供不應求,
因此發展AI的能力,
最終讓AI增強甚至替代人工是滿足未來程式設計需求的唯一方案。