Two weeks ago, OpenAI claimed a solution to one of the biggest open problems in math —the Navier-Stokes problem, worth a million-dollar prize from the Clay Mathematics Institute. The proof ignited a ...