AI Solved a Hard Math Problem. Humans Learned Little

OpenAI says its AI solved the Navier-Stokes problem, but mathematicians say the 166-page proof taught humanity little and sparked a priority dispute.