"在這個新的程式設計範式中，最具預測性的特徵是可驗證性。如果一個任務/工作是可驗證的，那麼它就可以直接或通過強化學習進行優化，並且可以訓練神經網絡以極佳的效果運作。"