• 33
用AI技术为代码提供数字模型,Diffblue获高盛领投2200万美元A轮融资
统计 阅读时间大约2分钟(400字)

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

创始人Daniel Kroening希望,Diffblue能够更加智能,最终完全自主编写计算机程序。

【猎云网(微信:ilieyun)】6月28日报道(编译:蔡妙娴)

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

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

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

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

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

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

1、猎云网原创文章未经授权转载必究,如需转载请联系官方微信号进行授权。
2、转载时须在文章头部明确注明出处、保留官方微信、作者和原文超链接。如转自猎云网(微信号:lieyunjingxuan
)字样。
3、猎云网报道中所涉及的融资金额均由创业公司提供,仅供参考,猎云网不对真实性背书。
4、联系猎云,请加微信号:jinjilei
相关阅读
推荐阅读
{{item.author_display_name}}
{{item.author_display_name}}
{{item.author_user_occu}}
{{item.author_user_sign}}
×