It does make you think about the old question "are we discovering or inventing mathematics?"