Hacker News new | past | comments | ask | show | jobs | submit
My claim is that we haven't even witnessed the move 37 of math yet. I am claiming that math AI is going to get even better