"在这个新的编程范式中，最具预测性的特征是可验证性。如果一个任务/工作是可验证的，那么它可以直接或通过强化学习进行优化，并且可以训练神经网络以极高的效率工作。"