【猎云网(微信:ilieyun)】6月28日报道(编译:蔡妙娴)
牛津大学一直是培养人工智能人才的热土,在这座举世闻名的高等学府里,不仅人工智能学术研究进行得如火如荼,壮志勃勃的创企和大型科技公司也深受庇佑。
日前,一家牛津人工智能创企Diffblue引起了人们的关注。该公司刚刚完成2200万美元A轮融资,而距离他们从学术研究投入软件开发仅仅过去1年。此轮融资的领投方为高盛集团全资子公司Principal Strategic Investments,跟投的有牛津科学创新(OSI)和牛津科学与创新基金(OTIF)。
历经10年的研究,Diffblue称其核心人工智能技术能够为所有代码基提供数学模型。
目前,Diffblue正在研发三款产品,分别是用于发现bug,编写测试代码的测试产品;能够自动标记bug并对其进行测试的安全产品;以及自动修改不合理代码或过时代码的重构产品。
不过,Diffblue创始人,同时也是牛津大学计算机科学教授的Daniel Kroening表示,他们的目标远不止如此,他们希望Diffblue能够更加智能,最终完全自主编写计算机程序。
Kroening认为,我们永远无法培养出足够的软件开发人员,因此,人工智能越能取代现有软件开发工作,市场需求得到满足的可能就越大。