对于编写软件的定向搜索部分，这是有道理的。但这甚至还不是生成和证明假设所需系统的一半。所有可以通过下面的技术更好地编写的代码将在两年内不再需要编写。