Comment by MassiveOwl

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