AI solved one of math's hardest problems. Humanity learned nothing (so far)
You may find the following of interest. www.npr.org/2026/09/22/n... OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.