What Open AI Solving Navier-Stokes Means for Professional Math

Now that LLMs are good at math, what's left for the professionals?