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

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

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

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

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

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

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





致力于创造AI程序员,来自牛津大学的初创公司Diffblue获得2200万美元A轮融资

发表评论

电子邮件地址不会被公开。 必填项已用*标注