AI solved one of math's hardest problems. Humanity learned nothing (so far)

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.