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