Älykkyyden tikkaat ovat abstraktion tikkaat. L1: Vastausten ulkoa opetteleminen (ei yleistystä) L2: Vastausten interpolatiivinen haku, kuvioiden sovittaminen, vastausten luontisääntöjen muistaminen (paikallinen yleistys) L3: Kausaalisääntöjen syntetisointi lennossa (vahva yleistys) L4: Yleisten periaatteiden löytäminen, metakognitio (äärimmäinen yleistäminen) Yhdistävän tekoälyn saavuttamiseksi sinun on saavutettava L4.

Parametrinen oppiminen antaa sinulle L2:n. Symbolinen ohjelmasynteesi antaa sinulle aluksi L3:n ja lopulta L4:n.