In an era where AI solves mathematics, what will mathematicians do?

It seems the Navier-Stokes equation has been solved.The other day, I read an article like this. It was about how an ...