高开180%市值超130亿,“宁王”收获一个IPO
高开180%市值超130亿,“宁王”收获一个IPO
携程Q3大“赚”,但还能更“赚”
携程Q3大“赚”,但还能更“赚”
较劲的Q3:乐观者李斌,“史上最强”何小鹏,李想开上法拉利
较劲的Q3:乐观者李斌,“史上最强”何小鹏,李想开上法拉利
捷豹重生改命,LOGO大变样,马斯克:你们还是卖车的吗
捷豹重生改命,LOGO大变样,马斯克:你们还是卖车的吗
立即打开APP
鲍伯君
私信
33

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

2017-06-28
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认为,我们永远无法培养出足够的软件开发人员,因此,人工智能越能取代现有软件开发工作,市场需求得到满足的可能就越大。

猎云网APP阅读全文

体验更加

猎云网

微信扫码关注猎云网

  1. 猎云网原创文章未经授权转载必究,如需转载请联系官方微信号进行授权;
  2. 转载时须在文章头部明确注明出处、保留官方微信、作者和原文链接,如:转自猎云网(微信号: lieyunjingxuan )字样;
  3. 猎云网报道中所涉及的融资金额均由创业公司提供,仅供参考,猎云网不对真实性背书。
  4. 联系猎云,请加微信号:jinjilei
猜你喜欢
长按图片可以分享给好友
×