Fueron redescubiertos posteriormente por Simon Colton, que estaba usando un programa informático que él mismo escribió y que inventaba y juzgaba definiciones de numerosas áreas de las matemáticas tales como la teoría de números y la teoría de grafos.