Comment by devolving-dev

Why were we doing math in the first place? We should be happy that math problems were being solved, since presumably they were blockers for other problems in science and the like. But it feels like math was really more about seeking enlightenment, like a form of mental yoga or something. If so, we can just ignore AI proofs and continue on maybe?