"I det här nya programmeringsparadigmet är verifierbarhet den nya, mest prediktiva funktionen att titta på. Om en uppgift/ett jobb är verifierbart är det optimalt direkt eller via förstärkningsinlärning, och ett neuralt nät kan tränas att fungera extremt bra.