As a former mathematician, I'm not impressed at all. I don't even care about the solution. I think an integral part of math is what the human mind can do, and if AI was required, then to me it's not impressive at all.

I never cared about merely solving problems. I care about the beauty that one can construct from the human mind, and that was the entire point, at least for me, to practise math. To me, what mathematicians have done with AI and Navier Stokes is worthless.