牛津大学的计算机教授 Daniel Kroening 创立的公司 Diffblue 正在研究制造 AI 程序员,希望未来可以完全依靠 AI 编写程序,人们只需对编程的结果输入简短的指令,AI 即可自动进行编程。Diffblue 的成果将为互动叙事带来令人鼓舞的前景,因为真正的互动叙事是用户的叙事,而用户的叙事需要互动故事世界具有更多甚至无穷的可能性,会编程的 AI 无疑将能够为实现这一可能性提供支撑。

下面这篇来自36kr的文章介绍了 Diffblue 的项目:

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

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

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

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

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

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

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

1条评论