牛津大学的计算机教授 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 增强甚至替代人工是满足未来编程需求的唯一方案。