They should name one of the AI's "Erdos". Then we can all have an Erdos number of one!