用AI技术为代码提供数字模型,Diffblue获高盛领投2200万美元A轮融资

猎云网  •  扫码分享
我是创始人李岩:很抱歉!给自己产品做个广告,点击进来看看。  

牛津大学一直是培养人工智能人才的热土,在这座举世闻名的高等学府里,不仅人工智能学术研究进行得如火如荼,壮志勃勃的创企和大型科技公司也深受庇佑。

日前,一家牛津人工智能创企Diffblue引起了人们的关注。该公司刚刚完成2200万美元A轮融资,而距离他们从学术研究投入软件开发仅仅过去1年。此轮融资的领投方为高盛集团全资子公司Principal Strategic Investments,跟投的有牛津科学创新(OSI)和牛津科学与创新基金(OTIF)。

历经10年的研究,Diffblue称其核心人工智能技术能够为所有代码基提供数学模型。

目前,Diffblue正在研发三款产品,分别是用于发现bug,编写测试代码的测试产品;能够自动标记bug并对其进行测试的安全产品;以及自动修改不合理代码或过时代码的重构产品。

不过,Diffblue创始人,同时也是牛津大学计算机科学教授的Daniel Kroening表示,他们的目标远不止如此,他们希望Diffblue能够更加智能,最终完全自主编写计算机程序。

Kroening认为,我们永远无法培养出足够的软件开发人员,因此,人工智能越能取代现有软件开发工作,市场需求得到满足的可能就越大。

随意打赏

高盛 报告 ai高盛ai高盛集团
提交建议
微信扫一扫,分享给好友吧。