Then we use an AI tool we built to automatically distill out from thisthe learned algorithm in the form of a Python program.

然后，我们使用我们构建的人工智能工具，以 Python 程序的形式自动从中提取出学习到的算法。

Let's look at a simple exampleof where we first machine-learn an algorithm from dataand then distill it out in the form of codethat provably meets spec, OK?

让我们看一个简单的例子，我们首先从数据中机器学习算法，然后以可证明符合规范的代码形式提炼出来，好吗？