3 ms·It does make you think about the old question "are we discovering or inventing mathematics?"by MassiveOwl 23d agoIt does make you think about the old question "are we discovering or inventing mathematics?"