4 ms·Formalizing is not the same as discovering. There is still plenty of room for human ingenuity.by bawolff 1mo agoFormalizing is not the same as discovering. There is still plenty of room for human ingenuity.