"În această nouă paradigmă de programare, noua caracteristică predictivă de luat în considerare este verificabilitatea. Dacă o sarcină/lucrare este verificabilă, atunci este optimizabilă direct sau prin învățare prin întărire, iar o rețea neuronală poate fi antrenată să funcționeze extrem de bine."