This is a step towards a future where we can prove that a learning algorithm is guaranteed to work in mission critical systems.

这是迈向未来的一步，未来我们能够证明一个学习算法可以在任务的关键性系统中起作用。