Provably safe systems are clearly not impossible.

可证明安全的系统显然并非不可能。

And today, some mathematicians dedicate their careers to identifying provably unprovable statements.

而今天，一些数学家将他们的职业生涯奉献给识别可证明无法证明的陈述。

Try to see how we can make provably safe AI that we can control.

尝试看看我们如何制造出我们可以控制的可证明安全的人工智能。

So we need provably safe systems.

所以我们需要可证明安全的系统。

So in summary, provably safe AI, I'm convinced is possible, but it's going to take time and work.

总而言之，我相信可证明安全的人工智能是可能的，但这需要时间和工作。

Because no matter how smart an AI is, it can't violate the laws of physics and do what's provably impossible.

因为无论人工智能多么聪明，它都不能违反物理定律，做不可能的事情。

For many problems a quantum computer with thousands of stable qubits is provably far faster than any non-quantum machine that could ever be built—it just does not exist yet.

对于许多计算问题来说，一台拥有数千个稳定量子比特的量子计算机理论上要比任何能造出来的非量子机器都快得多——只是它尚未出现。

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?

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

One of the holy grails of system-level security is a "security kernel" or a "trusted computing base": a minimal set of operating system software that's close to provably secure.

系统级安全的圣杯之一是 "安全内核" 或 "可信计算基础"：一组尽可能少的操作系统软件，安全性都是接近可验证的。

Moreover the culture ministry lumps together objects that were smuggled out of the country illegally with those that were removed—perhaps legally to a place of greater safety, but not provably so—in an era when ownership was judged in a looser way.

而且文化部把从该国非法走私的文物和那些合法转移到更安全地方的文物混为一谈——但是没有办法证明这是合法的，因为以前判定所有权的方法不严谨。