What Open AI Solving Navier-Stokes Means for Professional Math

Now that LLMs are good at math, what's left for the professionals? OpenAI's recent achievement in solving the Navier-Stokes problem has raised questions about the future of mathematical research.