牛津大学现在已经成为全球人工智能领域的人才中心之一，在过去几年中，牛津不仅向AI领域倾注了大量的科研资源，同时也投资和孵化了一批AI企业，最近炙手可热的AI初创公司Diffblue便是其中一员。

Diffblue将人工智能应用于软件开发领域，基于适用于各种编程语言的 数学模型，Diffblue让AI深入理解计算机程序的运行逻辑，然后从多方面对程序进行自动检查，从而在软件开发的多个阶段节省甚至代替人工。

近期，Diffblue宣布获得了来自高盛战略投资基金、牛津大学科技创新基金(OTIF)等机构的2200万美元A轮融资。

Diffblue目前已经发布了三款产品，其中一款可以自动检索计算机程序中的代码错误，代码错误的排查对于软件开发来说非常关键，稍有差错就可能造成安全和金钱的巨大损失，但这个一般由软件测试人员完成的工作其实非常繁重，而且常被认为是一项低端工作。Diffblue的出现不仅可以大大提升这一流程的准确度和可靠性，也将大量分担甚至替代人工。

Diffblue的另外两款产品与上述产品相辅相成，其中一款可以在软件正式发布后实时监测程序中崩溃的漏洞，而另一款产品则可以自动重写或更新老旧的源代码，来实现软件的自动升级。

Diffblue的创始人Daniel Kroening是牛津大学的计算机教授，他对Diffblue的期待是未来可以完全依靠AI编写程序，人们只需对编程的结果输入简短的指令，例如“编写一个定制化的智能家居控制APP”，AI就会自动完成编程工作。

Daniel认为，对于全世界的编程领域来说，人才将永远供不应求，因此发展AI的能力，最终让AI增强甚至替代人工是满足未来编程需求的 方案。